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

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>;