C++20：同一模板类型多参数的类型推导差异及原因

先看第一个无法编译的例子：

template <typename T>
void WithOptional(T o1, std::optional<T> o2) {}

int main()
{
    WithOptional(1, 1);
}

编译器报错：

could not match 'std::optional' against 'int'

为什么这个例子编译失败？ #

模板类型推导遵循逐个参数独立推导的规则：

• 第一个实参1是int，推导得出T=int；
• 第二个实参1是int，但形参要求是std::optional<T>。此时T已被推导为int，编译器需要匹配std::optional<int>类型，但模板推导阶段不会执行隐式构造转换——推导只匹配实参与形参的原始类型，不会通过调用构造函数来适配类型，因此推导失败。

再看可以正常编译的例子：

template <typename T>
void WithVector(T o1, std::vector<T> o2) {}

int main()
{
    WithVector(1, {1});
}

为什么这个例子可以编译通过？ #

这里的核心是列表初始化的特殊推导规则：

• 第一个实参1推导T=int；
• 第二个实参是初始化列表{1}，当形参为std::vector<T>时，编译器会触发类模板实参推导(CTAD)：初始化列表可以直接用于构造std::vector<T>，且此时T已由第一个参数确定为int，编译器可以直接将{1}解析为std::vector<int>的合法构造参数，无需额外隐式转换，因此推导成功。

核心差异总结 #

• 第一个例子中，第二个实参是int，需要通过隐式构造生成std::optional<int>，但模板推导阶段不允许这种转换来匹配形参；
• 第二个例子中，第二个实参是初始化列表，属于std::vector<T>的直接构造形式，编译器可借助CTAD将其匹配到已确定的std::vector<int>类型，推导合法。

内容的提问来源于stack exchange，提问作者Cpp Beginner