函数模板实参推导中的编译器差异：GCC、Clang、MSVC对C++20代码的处理分歧及正确性判定

先给你明确结论：Clang 13和最新版MSVC 19的处理符合C++20标准，GCC 11.2的行为不符合标准。

下面我们来拆解这个问题的核心：

代码关键细节 #

1. 结构体S的转换运算符：这是一个模板成员函数，用于将S<T, b>转换为S<const T, b>，并通过SFINAE限制仅当T非const时可用（条件是sfinae && !std::is_const<T>::value，sfinae有默认值true）。
2. 函数模板f的参数推导：第一个参数S<const std::type_identity_t<T>, b1>中，std::type_identity_t<T>属于非推导上下文，所以T只能从第二个参数S<T, b2>推导为int（来自s2的类型S<int, false>）。
3. 调用f(s1, s2)的转换需求：s1是S<int, true>，需要隐式转换为S<const int, b1>，其中b1需要被推导为true（匹配转换后的类型）。

标准规则的应用 #

根据C++20标准的相关条款，当尝试通过模板转换运算符进行隐式转换时，编译器需要完成关键的推导检查：
在函数模板f的参数推导阶段，推导b1时，编译器需要确认是否存在有效的转换路径将s1转换为S<const int, b1>。这里的核心问题是：转换运算符的返回类型是固定的S<const int, true>，只有当b1已经是true时才能匹配，但在推导b1的过程中，编译器无法预先确定b1的值，因此无法确认转换是否可行，最终导致推导失败。

Clang和MSVC正确遵循了这个规则，因此拒绝编译；而GCC错误地跳过了这个推导约束，直接允许了转换，不符合C++20标准的要求。

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