调用variadic函数模板时C ++ 11模糊重载

Question

你能解释为什么我有error: call of overloaded ‘func(const Test&)’ is ambiguous尽管我使用显式模板实例化吗？

#include <iostream>

struct Test {
};

void func(const Test &) {
  std::cout << "By Reference" << std::endl;
}

void func(const Test) {
  std::cout << "By Value" << std::endl;
}

template <typename... TArgs>
void wrap(TArgs... args) {
  func(args...);
}

int main() {
  Test t;
  wrap<const Test &>(t);
  return 0;
};

编辑

模棱两可的原因是两个因素的结合。第一个是在调用func(args...)中应用的简单重载规则。第二个是简单函数不能通过value和const引用重载。为了确保，可以用wrap<const Test &>(t)替换呼叫func(static_cast<const Test &>(t))。错误仍然存​​在。

要解决这个问题，可以使用func的函数模板和值与const参考模板的特殊化，如@lubgr提供的示例所示

谢谢大家帮我揭开这个概念的神秘面纱。

Answer 1

在显式实例化wrap函数模板的情况下，想象编译器在wrap实例化中，知道Targs...确实是const Test&。那么应该选择哪种功能过载？它不能更喜欢一个，因为wrap的模板参数不会传播到普通（非模板）函数。相反，简单的过载规则适用。

如果将func更改为函数模板，您可以看到差异并解决问题：

template <class T> void func(T);

template <> void func<const Test&>(const Test&) {
  std::cout << "By Reference" << std::endl;
}

template <> void func<const Test>(const Test) {
  std::cout << "By Value" << std::endl;
}

然后，在您明确要求时调用适当的特化。

template <typename... TArgs>
void wrap(TArgs... args) {
  func<TArgs...>(args...); // Note, the type is specified here, again.
}

Answer 2

出于同样的原因，以下调用是不明确的：

#include <iostream>
void foo(int) { std::cout << "val" << std::endl; }
void foo(const int&) { std::cout << "ref" << std::endl; }

int main()
{
  int i = 1;
  foo(i);
}

有关该案例的完整讨论，请参见here。