隐式转换为模板结构？

Question

template <typename T>
struct Foo {
  T var;

  Foo (const T& val){
    var = val;
  }
};

template <typename T>
void print(Foo<T> func){}

int main() {
  Foo f=3;
  print(f); // Works
  print(3); // Doesn't work
} 

f是一个定义明确的Foo实例，所以很明显它可以工作。 但是既然 3 是可转换的（我相信是隐含的） Foo ，为什么不print(3); 工作？

如果它不是隐式转换，我怎么能做到这一点？

我真的很想避免print(Foo(3));

Answer 1

模板实参推导不考虑隐式转换（从int到Foo<int> ），无法推导模板形参T导致调用失败。

在print(Foo(3));旁边 ，您可以显式指定模板参数以绕过模板参数推导，例如

print<int>(3);

Answer 2

模板参数推导不会考虑隐式转换。 要获得所需的调用语法，您可以像这样为print添加重载

template <typename T>
void print(T a)        // selected if T is not a Foo specialization
{
    print(Foo{a});     // call print with a Foo explicitly
}

如果print的参数已经是Foo的特化，则将选择采用Foo<T>的重载。

这是一个演示。