C++函数模板含参数包重载时MSVC无法消歧义 谁符合C++标准

这段代码是完全合法的良构程序，GCC和Clang的行为符合C++标准要求，MSVC在此处存在实现缺陷，调用f(C<int>{})应当明确匹配非可变参数的void f(C<T>)重载，不存在编译错误。

首先确认两个重载都是本次调用的可行候选：

• 对单模板参数的重载template<typename T> void f(C<T>)，可以直接推导出T=int，形参类型为C<int>，和传入的实参完全匹配
• 对可变参数模板的重载template<typename... T> void f(C<T...>)，可以推导出模板参数包T...是仅包含int的单元素包，实例化后的形参同样是C<int>，也能完全匹配实参

当两个模板重载均为可行候选时，重载决议会通过模板偏序流程选出优先级更高的更特化版本，核心判断逻辑为双向虚构推导：给其中一个模板的模板参数替换为独有的虚构类型，用替换后的函数形参去推导另一个模板的模板参数，验证是否能推导成功；反向再执行一次相同操作，若仅单方向推导成功，则推导成功对应的目标模板为更特化版本。

将该逻辑套用到当前场景：

1. 给单参数模板虚构一个唯一的虚构类型UniqueA，替换后得到形参C<UniqueA>，用该形参匹配可变参数重载：推导成功，参数包T...可匹配为仅包含UniqueA的单元素包。
2. 反向给可变参数模板做虚构替换：按照标准要求，偏序判断时参数包会被替换为长度不固定的虚构类型序列，替换后得到形参C<VirtualPack...>（VirtualPack为长度任意的类型包），用该形参匹配单参数重载：推导失败——单参数重载要求类模板C的模板实参为单个类型，无法预设虚构类型包的长度恰好为1，因此不能完成推导。

双向推导仅第一个方向成立，因此单参数重载的特化程度高于可变参数重载，必须被本次调用选中，不存在二义性错误。

不要将该场景和「函数形参直接为参数包展开」的重载场景混淆，例如下方代码：

template<typename T> void f(T);
template<typename... T> void f(T...);

这组重载的偏序判断有单独的标准条款约束，会触发二义性错误，和当前形参为类模板特化C<T...>的场景规则不同，不能直接套用结论。

内容的提问来源于stack exchange，提问作者Anoop Rana