为什么不能像函数模板那样为类构造函数推断 C 模板参数？

类构造函数模板推断争议

模板参数可以方便地从函数参数中推断出来，如以下代码所示：

template <typename T>
void swap(T& a, T& b) {
  T temp = a;
  a = b;
  b = temp;
}

但是，类构造函数不允许使用类似的方法，这在 C 中引起了疑问程序员。为什么不呢？

这种不一致背后的原因在于对象构造的复杂性。构造函数不是类的唯一入口点。复制构造函数和赋值运算符也发挥着至关重要的作用，仅从构造函数推断模板参数可能会导致歧义。

考虑以下示例：

template <typename T>
class Variable {
  T data;
public:
  Variable(T d) { data = d; }
};

如果允许模板推断，则以下代码是有效的：

Variable var(2); // Equivalent to Variable<int> var(2);

但是如果我们使用复制构造或赋值会怎么样运算符？

MyClass m(string s);
MyClass *pm;
*pm = m;

在这种情况下，编译器确定 MyClass pm 的模板类型将具有挑战性。

为了缓解这个问题，C 17 引入了从构造函数参数进行类型推导。这允许从构造函数参数推断模板参数，从而消除在某些情况下对显式类型参数的需要。例如：

std::pair p(2, 4.5); // Inferred as std::pair<int, double> p(2, 4.5);
std::tuple t(4, 3, 2.5); // Inferred as std::tuple<int, int, double> t(4, 3, 2.5);

需要注意的是，此推理功能仍在开发中，可能会在未来的 C 标准中进行修改。尽管如此，它标志着朝着简化代码和提高类型安全性迈出了重要一步。

以上是为什么不能像函数模板那样为类构造函数推断 C 模板参数？的详细内容。更多信息请关注PHP中文网其他相关文章！