为什么隐式类型转换在模板推导中不起作用？

Question

在以下代码中，我想通过将int 隐式转换为Scalar<int> 对象来调用模板函数。

#include<iostream>
using namespace std;

template<typename Dtype>
class Scalar{
public:
  Scalar(Dtype v) : value_(v){}
private:
  Dtype value_;
};

template<typename Dtype>
void func(int a, Scalar<Dtype> b){ 
  cout << "ok" <<endl;
}

int main(){
  int a = 1;
  func(a, 2); 
  //int b = 2;
  //func(a, b);
  return 0;
}

为什么模板参数推导/替换失败？并且注释代码也是错误的。

test.cpp: In function ‘int main()’:
test.cpp:19:12: error: no matching function for call to ‘func(int&, int)’
   func(a, 2);
            ^
test.cpp:19:12: note: candidate is:
test.cpp:13:6: note: template<class Dtype> void func(int, Scalar<Dtype>)
 void func(int a, Scalar<Dtype> b){
      ^
test.cpp:13:6: note:   template argument deduction/substitution failed:
test.cpp:19:12: note:   mismatched types ‘Scalar<Dtype>’ and ‘int’
   func(a, 2);

Answer 1

因为template argument deduction 并不那么聪明：它（按设计）不考虑用户定义的转换。而int -> Scalar<int> 是用户定义的转换。

如果你想使用TAD，你需要在调用者站点转换你的参数：

func(a, Scalar<int>{2}); 

或为Scalar定义一个扣除指南¹并调用f：

func(a, Scalar{2}); // C++17 only

或者，您可以显式实例化f：

func<int>(a, 2); 

---

¹⁾ 默认扣款指南就足够了：demo.

Answer 2

template<typename Dtype>
void func(int a, Scalar<Dtype> b){ 
  cout << "ok" <<endl;
}
template<typename Dtype>
void func(int a, Dtype b){ 
  func(a, Scalar<Dtype>(std::move(b)));
}

模板参数推导是模式匹配，它只精确匹配类型或其基类型。它没有转换。

转换稍后完成，在重载决议和函数调用时完成。

在这里，我们添加了另一个重载，显式转发给您想要的。