模板概念中嵌套依赖名称未求值致GCC/Clang编译分歧，是否为Bug？

问题还原 #

先看你给出的代码：

#include <concepts>
template< typename T, typename value_type = typename T::value_type >
concept check_type = std::default_initializable<T>;
struct Foo {};
template<check_type T>
void func(T t) {}
int main() {
 Foo foo;
 func(foo);
}

你会发现GCC能顺利编译这段代码，但Clang会报错，说Foo里找不到value_type类型别名，进而找不到匹配的func调用。

背后的原因：不是Bug，是标准解读差异 #

这两款编译器的行为差异，核心在于对SFINAE（替换失败不视为错误）适用范围和概念模板参数默认实参替换规则的理解不同：

• 首先，当你用check_type<T>作为func的模板约束时，编译器需要实例化check_type<T, typename T::value_type>（因为第二个参数用了默认值）。对于T=Foo来说，typename Foo::value_type的替换必然失败，因为Foo根本没定义这个类型别名。
• 按照C++20标准的规定，SFINAE只保护模板实参推导的直接上下文和约束表达式求值过程中的替换失败。而这里的替换失败发生在概念模板参数的默认实参替换阶段，和约束表达式（也就是std::default_initializable<T>）本身的求值完全无关。
• 两款编译器的处理逻辑：
  • Clang严格遵循标准：它认为这个默认参数的替换失败不在SFINAE的保护范围内，所以直接判定约束不满足，抛出错误。
  • GCC则做了宽松处理：它看到约束表达式std::default_initializable<T>对Foo是成立的（Foo确实可以默认构造），就忽略了默认参数的替换失败，允许代码通过。

怎么写才符合标准？ #

如果你本来就不需要value_type这个参数，直接把它删掉就行，这样两款编译器都会正常编译：

#include <concepts>
template< typename T >
concept check_type = std::default_initializable<T>;
struct Foo {};
template<check_type T>
void func(T t) {}
int main() {
 Foo foo;
 func(foo);
}

如果你的概念确实需要依赖T::value_type的存在，那应该把这个要求加入约束表达式，让SFINAE正确生效，这样两款编译器的行为就会一致：

#include <concepts>
template< typename T >
concept check_type = std::default_initializable<T> && requires { typename T::value_type; };
struct Foo {};
template<check_type T>
void func(T t) {}
int main() {
 Foo foo;
 func(foo); // 此时两款编译器都会报错，符合预期
}

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