为什么用户定义的转换时模板参数推导失败？

模板参数推导和用户定义的转换

在 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 的用户定义转换。为了实现这一点，我们需要在调用方显式转换参数或为 Scalar 定义推导指南。

以上是为什么用户定义的转换时模板参数推导失败？的详细内容。更多信息请关注PHP中文网其他相关文章！