C++20概念实现：校验结构体指定类型命名字段的GCC与Clang行为差异

编译器实现正确性判定 #

• 最终C++20标准对复合要求（即{ expr } -> 约束语法）的返回类型检查规则为：对表达式的值类别对应的引用类型（左值表达式推导为T&，右值为T&&）做约束匹配，自动移除顶层cv限定。
• 针对示例中的t.refcnt：t是左值，t.refcnt为int类型左值，推导的规范化类型为int&。按照正式标准规则：
  • HasRefcnt1要求same_as<int&>，完全匹配，应成立。
  • HasRefcnt2要求满足std::integral，但std::integral<int&>为false，不应成立。
• GCC 10.2.0的输出完全符合最终C++20标准规定，实现正确。
• Clang 11.0.1的实现基于C++20标准定稿前的旧草案，当时草案曾规定对表达式类型先做decay处理（移除引用和顶层cv，得到int），导致匹配结果和最终标准不一致，属于不符合正式规范的滞后实现。

跨编译器兼容的概念实现 #

符合正式C++20标准的常规写法 #

对于支持正式标准的编译器（GCC 10+、Clang 12+、MSVC 19.29+），直接使用复合要求的类型约束即可：

#include <concepts>

template<typename T>
concept HasRefcnt = requires(T t) {
  { t.refcnt } -> std::same_as<int&>;
};

兼容旧版本编译器的稳妥写法 #

如果需要兼容Clang 11这类旧草案实现，或者想要避开复合要求类型约束的历史实现差异，可通过嵌套requires直接校验成员的声明类型，这种写法不受值类别、decay规则的影响，跨编译器一致性更好：

#include <concepts>

template<typename T>
concept HasRefcnt = requires(T t) {
  t.refcnt; // 校验refcnt成员可访问
  requires std::same_as<decltype(t.refcnt), int>; // 校验成员声明类型严格为int
};

如果需要严格排除静态成员，可额外增加成员指针类型校验，避免误判：

#include <concepts>

template<typename T>
concept HasRefcnt = requires(T t) {
  t.refcnt;
  requires std::same_as<decltype(t.refcnt), int>;
  requires std::same_as<decltype(&T::refcnt), int T::*>; // 校验为非静态成员字段
};

关于临时实现的说明 #

你补充的static_cast<int&>(t.refcnt)临时写法也能实现校验，本质是检查类型可转换为int左值，但语义不如直接类型检查明确，也不属于常规的概念定义写法。

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