c++ - 标签调度、可变参数模板、通用引用和遗漏的 const 说明符

Question

请考虑以下示例(标签分发、可变参数模板、完美转发等，全部合而为一):

#include <iostream>
#include <utility>
#include <string>

struct A { };
struct B { };

void doIt(A&&, const std::string &) {
    std::cout << "A-spec" << std::endl;
}

template<typename T, typename... Args>
void doIt(T&&, Args&&...) {
    std::cout << "template" << std::endl;
}

template<typename T, typename... Args>
void fn(Args&&... args) {
    doIt(T{}, std::forward<Args>(args)...);
}

int main() {
    const std::string foo = "foo";
    std::string bar = "bar";
    fn<A>(foo);
    fn<A>(bar);
    fn<B>(foo);
}

在这种情况下，输出是:

A-spec
template
template

原因很明显，我不介意。

我想要实现的是在这两种情况下调用 doIt 函数的第一个实例，无论字符串是否具有 const 说明符。
当然，一个可能的解决方案是用正确的原型(prototype)定义一个新的doIt，无论如何我想知道是否还有另一种解决方案。

到目前为止，我已经尝试通过 add_const 获取它，但我很确定我错过了一些东西。
是否有任何可行的解决方案来静默添加 const 说明符并使其正常工作？

编辑

我已经更新了上面的示例，以便与实际问题更加一致。
此外，尽管答案很有趣，但我忘了指出这只是一个简化的例子，所以真正的问题不仅仅涉及 std::string。相反，可能发生(例如)对于标签 A，参数是 int 和 const std::string &，而对于标签B参数是float，类C的实例，等等。
因此，那些试图以某种方式使用 std::string 类型解决问题的答案将无法解决真正的问题，我很抱歉。

Answer 1

引入两个独立的函数，这样它们就不会相互冲突，编译器也不会引发任何歧义错误:

void doIt(A&&, const std::string &)
{
    std::cout << "A-spec" << std::endl;
}

template <typename T, typename... Args>
void doIt_template(T&&, Args&&...)
{
    std::cout << "template" << std::endl;
}

优先考虑两个额外的重载；首选的是尝试调用目标函数的专用非模板版本:

template <typename T, typename... Args>
auto fn_impl(int, Args&&... args)
    -> decltype(doIt(T{}, std::forward<Args>(args)...), void())
{
    doIt(T{}, std::forward<Args>(args)...);
}

template <typename T, typename... Args>
void fn_impl(char, Args&&... args)
{
    doIt_template(T{}, std::forward<Args>(args)...);
}

引入一个单一的通用调度程序:

template <typename T, typename... Args>
void fn(Args&&... args)
{
    fn_impl<T>(0, std::forward<Args>(args)...);
}

DEMO