C++ 如何利用 Concepts 限制模板函数参数必须具备特定数据成员变量【干货】-C++-PHP中文网

C++20 Concepts 无法直接声明式断言类型有名为 value 的数据成员，但可通过 requires(T t) { t.value; } 检查可访问性；若需严格限定为非静态数据成员，应使用 { &t.value } 或 { t.value } -> std::same_as。

c++ 如何利用 concepts 限制模板函数参数必须具备特定数据成员变量【干货】

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; // 编译器会尝试解析该表达式：是否可访问、是否为合法左值/右值
};</typename>

这个约束生效时，编译器会实例化 t.value，并检查：

作用域内 value 是否为 T 的可访问非静态数据成员（或基类继承而来）
是否不被 private 或 protected 阻断（取决于当前上下文）
即使 value 是 const 或引用类型，只要能取地址或读取，就满足

区分数据成员和成员函数：避免 `t.value()` 误匹配

如果只写 t.value，它既匹配数据成员，也匹配无参成员函数（因为函数名在表达式中会退化为函数指针）。这通常不是你想要的——你要的是字段，不是方法。

解决办法是显式要求该表达式的结果类型可取地址（数据成员可取地址，而函数名本身不可取地址，除非加 &）：

<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 };
};</auto></typename>

注意：

{ t.value } -> std::same_as 确保返回的是左值引用，排除了返回临时对象的函数
&t.value 直接要求可取地址，对 static 成员、函数、枚举常量都失败，只对非 static 数据成员有效
若 value 是 mutable 或 const，&t.value 仍成立；但若它是 bit-field，则 &t.value 不合法，需另作处理

模板函数中使用该 Concept：必须放在模板参数列表后、函数签名前

不能把 Concept 当成普通类型约束塞在参数位置，也不能写在函数体里。它必须修饰模板参数本身：

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

<pre class="brush:php;toolbar:false;">template<hasvaluedatamember t>
void process(const T& obj) {
    std::cout 
<p>或者更常见的带 typename 的写法：</p>
<pre class="brush:php;toolbar:false;">template<typename t>
    requires HasValueDataMember<t>
void process(const T& obj) {
    std::cout 
<p>两种等价，但前者更简洁。注意：
</p></t></typename>

如果传入类型没有 value 成员，错误信息会指向 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
};</typename></typename>

这类依赖类型名（dependent name）在 requires 表达式中容易触发 MSVC 旧解析器 bug。稳妥做法是：