类模板参数推导 - 为什么它在这里失败？

Question

为什么以下 CTAD 尝试无法编译？

template <typename T> struct C { C(T,T) {} };
template <> struct C<int> { C(int) {} };

C c(1);  //error: template argument deduction failure

我本以为构造函数 C(int) 会被推导出来。

Answer 1

隐式推导指南仅为主模板中的构造函数生成，而不为特化的构造函数生成。

您需要显式添加推导指南：

C(int) -> C<int>;