定义C++推导指南时MSVC报错，GCC/Clang编译正常，谁的实现正确？

你的代码完全符合C++17及后续标准，这是MSVC的编译器Bug，GCC和Clang的实现是正确的。

关键分析： #

• 你写的template <typename T> A(T) -> A<T>;是标准合法的类模板推导指南，用于协助编译器完成类模板实参推导（CTAD）。这种写法不需要在A后显式指定模板参数列表，标准允许直接使用类模板名来定义推导指南。
• 即便main函数里没有实际触发推导的代码，编译器也不应该抛出C2955错误。MSVC错误地将推导指南中的A(T)判定为需要显式模板参数，这违反了C++标准对推导指南的语法规定。

标准依据： #

根据C++17标准的[over.match.class.deduct]章节，推导指南的语法明确允许使用无模板参数列表的类模板名作为构造函数声明符，编译器需自动关联模板参数推导逻辑。GCC与Clang均正确实现了该规则，MSVC在此场景下存在兼容性缺陷。

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