C++20 Concepts 无法直接声明式断言类型有名为 value 的数据成员，但可通过 requires(T t) { t.value; } 检查可访问性；若需严格限定为非静态数据成员，应使用 { &t.value } 或 { t.value } -> std::same_as。
Concepts 要求类型存在特定数据成员：用 requires + decltype 检查可访问性
直接结论：C++20 Concepts 无法直接“声明式”断言某个类型有名为 value 的数据成员，但可以通过 requires 表达式配合 decltype 和成员访问语法来实现等效约束。关键不是“它有没有”，而是“我能不能合法写 t.value”。
常见错误是试图写 requires T::value —— 这在语法上不合法，T::value 不是表达式，不能用于 requires。
正确做法是构造一个可求值的表达式：
template<typename T>
concept HasValueMember = requires(T t) {
t.value; // 编译器会尝试解析该表达式：是否可访问、是否为合法左值/右值
};
这个约束生效时，编译器会实例化 t.value，并检查：
- 作用域内
value是否为T的可访问非静态数据成员（或基类继承而来） - 是否不被
private或protected阻断（取决于当前上下文） - 即使
value是const或引用类型，只要能取地址或读取，就满足
区分数据成员和成员函数：避免 t.value() 误匹配
如果只写 t.value，它既匹配数据成员，也匹配无参成员函数（因为函数名在表达式中会退化为函数指针）。这通常不是你想要的——你要的是字段，不是方法。
立即学习“C++免费学习笔记（深入）”；
解决办法是显式要求该表达式的结果类型可取地址（数据成员可取地址，而函数名本身不可取地址，除非加 &）：
<pre class="brush:php;toolbar:false;">template<typename T>
concept HasValueDataMember = requires(T t) {
{ t.value } -> std::same_as<auto&>; // 要求 t.value 是左值（典型数据成员行为）
// 或更严格：要求能对 t.value 取地址
{ &t.value };
};
注意：
{ t.value } -> std::same_as<auto> 确保返回的是左值引用，排除了返回临时对象的函数</auto>-
&t.value直接要求可取地址，对 static 成员、函数、枚举常量都失败，只对非 static 数据成员有效 - 若
value是mutable或const，&t.value仍成立；但若它是 bit-field，则&t.value不合法，需另作处理
模板函数中使用该 Concept：必须放在模板参数列表后、函数签名前
不能把 Concept 当成普通类型约束塞在参数位置，也不能写在函数体里。它必须修饰模板参数本身：
<pre class="brush:php;toolbar:false;">template<HasValueDataMember T>
void process(const T& obj) {
std::cout << obj.value << '\n';
}
或者更常见的带 typename 的写法：
template<typename T>
requires HasValueDataMember<T>
void process(const T& obj) {
std::cout << obj.value << '\n';
}
两种等价，但前者更简洁。注意：
- 如果传入类型没有
value 成员，错误信息会指向 <code>requires子句失败点，而非函数体内obj.value报错，诊断更早、更清晰 - Concept 名称建议用 PascalCase（如
HasValueDataMember），避免与变量名混淆 - 不要在 Concept 内做复杂逻辑（比如判断
value类型是否为int），那应拆成另一个 Concept 或用std::is_same_v在函数体内检查
兼容性与陷阱：GCC/Clang 支持良好，但 MSVC 2019 有延迟解析问题
Concepts 是 C++20 核心特性，GCC 10+、Clang 11+ 均完整支持。但 MSVC 2019（v16.8+）对 requires 表达式中嵌套依赖名称的支持较弱，例如：
<pre class="brush:php;toolbar:false;">template<typename T>
concept HasValueDataMember = requires(T t) {
{ t.value } -> std::same_as<typename T::value_type&>; // MSVC 2019 可能报错：无法解析 T::value_type
};
这类依赖类型名（dependent name）在 requires 表达式中容易触发 MSVC 旧解析器 bug。稳妥做法是：
- 先用
{ t.value } 确保成员存在且可访问 - 再在函数体内用
static_assert或 SFINAE 检查其类型 - 或改用非依赖方式，例如要求
t.value满足某个已有 Concept（如std::integral）
另外，别忘了开启 C++20 标准：GCC/Clang 加 -std=c++20，MSVC 加 /std:c++20。漏掉这个，所有 requires 都会变成语法错误。
最易被忽略的一点：Concept 中的表达式是“未求值上下文”，t.value 不会真正执行，但它的可访问性、类型合法性、是否为重载集合等，全都会被编译器静态检查——这意味着私有成员、删除的拷贝构造、甚至未定义的友元访问，都会在这里暴露。
