Concepts无法直接约束私有成员变量存在，因requires表达式受访问控制限制，私有成员在约束求值时不可见；应通过public接口（如value()成员或ADL自由函数）间接验证。
Concepts 无法直接约束私有成员变量存在
你不能用 requires 表达式直接检查某个类型是否“拥有名为 value_ 的私有成员变量”。因为私有成员在模板约束上下文中不可见——requires 子句的求值发生在实例化前，且遵循和普通函数调用相同的访问控制规则。哪怕你在概念里写 t.value_，编译器也会报错：不是因为不存在，而是因为“不可访问”。
可行路径：用 public 接口间接验证（推荐）
真正能落地的做法，是要求类型提供一个公开的、可 SFINAE 或 requires 检测的访问方式。这比硬抠私有成员更健壮，也符合封装原则：
- 定义概念时检测
decltype(t.value())是否合法，或t.value()是否可调用 - 让目标类型自行实现
value()成员函数（返回const T&或T），哪怕它只是简单地return value_; - 若已有类无法修改，可用 ADL 友元函数或自由函数重载（如
get_value(const T&)），并在概念中检测该自由函数是否对T可见
示例：
template<typename T>
concept HasValue = requires(const T& t) {
{ t.value() } -> std::same_as<int>;
};
template<HasValue T>
void process(const T& x) {
std::cout << x.value() << '\n';
}
为什么不用 is_detected 或 decltype(SFINAE)？
老式 SFINAE 方案（比如用 is_detected 检查 decltype(std::declval<t>().value_)</t>）同样会失败——私有成员在 decltype 中不可见，触发硬错误而非 SFINAE 回退。Clang 和 GCC 都会在这种表达式上直接报 error: 'value_' is a private member，根本不会进入替换阶段。
立即学习“C++免费学习笔记（深入）”；
- Concepts 的
requires和 SFINAE 在访问控制上行为一致：都受 C++ 访问规则约束 - 试图绕过访问控制（例如在类内部特化概念）会破坏泛型性，且无法用于第三方类型
- 强行用宏或友元注入检测逻辑，会让接口变得隐晦、难维护
真正要小心的坑：概念中误用非依赖名称
如果在 requires 表达式里写了类似 { T::value_ } 这种静态成员访问，注意它不是依赖名称，编译器会在概念定义时就尝试解析——此时 T 还未具现化，必然失败。必须确保所有被检测的表达式都是依赖的（即含 T 实例或参数）。
另外，别假设 value_ 是 int 类型就省略返回类型约束；漏掉 -> std::same_as<int></int> 会导致匹配过于宽泛，后续函数体里取值可能静默截断或编译失败。
