## C 17 能否实现部分类模板参数推导？

C 17 中的部分类模板参数推导

在 C 17 中，类模板参数推导 (CTAD) 允许根据传递给 a 的参数来推导模板参数函数或构造函数。但是，此过程目前需要指定所有参数或不指定任何参数。

如果可以部分指定模板参数并推导其余参数，则会出现问题。例如：

<code class="cpp">Base<V = bool> val1(1, 4.);        // U & V deduced --> Base<int, double, bool>
Base<T = bool, T =int> val2(5.);  // V deduced     --> Base<bool, int, double></code>

但是，尝试使用别名模板来实现此目的，例如：

<code class="cpp">template<class T, class U> using Base2 = Base<T, U, double>;

void func() {
    NewBase2 val(1, 2);
}</code>

会导致编译错误。

目前，CTAD不支持部分扣除。提出这个特性的论文P1021R0尚未被接受。但是，C 20 可能包括对别名模板 (P1814) 和聚合 (P1816) 的支持，这可以提供解决方法。

以上是## C 17 能否实现部分类模板参数推导？的详细内容。更多信息请关注PHP中文网其他相关文章！