模板参数推导和用户定义的转换
在 C 模板编程中，常见的任务是将一种类型的值传递给需要不同类型参数的模板函数。为了实现这一点，编译器提供了模板参数推导（TAD），它可以根据实际参数的类型自动推断模板参数。
模板参数推导的限制
但是，TAD 也有局限性。一个限制是它不考虑用户定义的转换。这意味着，如果您有从一种类型到另一种类型的用户定义转换，TAD 将不会应用该转换来推断模板参数。
案例研究
考虑以下代码片段：
<code class="cpp">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); // Error
}在这段代码中，我们有一个模板函数，它接受两个参数：一个整数 a 和一个 Dtype 类型的标量对象。在 main 函数中，我们尝试通过传递整数 a 和整数 2 来调用 func。但是，这失败并出现编译错误：
test.cpp: In function ‘int main()’:
test.cpp:32:12: error: no matching function for call to ‘func(int&, int)’
func(a, 2);
^
test.cpp:32:12: note: candidate is:
test.cpp:25:6: note: template<class Dtype> void func(int, Scalar<Dtype>)
void func(int a, Scalar<Dtype> b){
^
test.cpp:25:6: note: template argument deduction/substitution failed:
test.cpp:32:12: note: mismatched types ‘Scalar<Dtype>’ and ‘int’
func(a, 2);</code>为什么 TAD 失败
失败的原因是 TAD 无法应用从 int 到 Scalar
以上是为什么用户定义的转换时模板参数推导失败？的详细内容。更多信息请关注PHP中文网其他相关文章！
