为什么模板推演中隐式类型转换失败？

模板推导中的隐式类型转换

在 C 语言中，隐式类型转换机制在模板参数推导中起着至关重要的作用。然而，在某些情况下，它可能会导致意外的行为，如下面的代码片段所示：

<code class="cpp">#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 <p>在提供的代码中，目标是通过将 int 隐式转换为来调用模板函数 func标量<int>目的。然而，令人惊讶的是，由于模板参数推导/替换第一次调用 func(a, 2) 失败，代码无法编译。</int></p>
<p>此失败背后的原因是模板参数推导不考虑用户 -定义的转换。在这种情况下，从 int 到 Scalar<int> 的转换需要进行。是用户定义的转换，在模板参数推导过程中不会自动应用。</int></p>
<p>要解决此问题，有几个选项：</p>
<ul>
<li>
<p><strong>显式转换在调用方站点：</strong> 通过手动提供 Scalar<int> 强制转换；调用处具有所需值的对象：</int></p>
<pre class="brush:php;toolbar:false"><code class="cpp">func(a, Scalar<int>{2}); </int></code>

推导指南： 为 Scalar 定义推导指南并调用 func：

<code class="cpp">func(a, Scalar{2}); // C++17 only</code>

这种方法依赖于默认的推导指南，在这种情况下就足够了。

显式实例化：显式实例化所需类型的 func 模板：

<code class="cpp">func<int>(a, 2); </int></code>

仅当 Scalar::Scalar(T) 不显式时才有效。

总之，模板参数推导不会自动应用用户- 定义的转换。要在模板参数推导中使用用户定义的转换，必须在调用方显式转换参数、使用推导指南（如果适用）或显式实例化所需类型的模板。

以上是为什么模板推演中隐式类型转换失败？的详细内容。更多信息请关注PHP中文网其他相关文章！