C++ concept约束策略类静态变量时编译报错问题排查

我希望对策略类的模板参数做约束：当调用Foo<policy>时，如果传入的策略类不满足预设要求，编译器直接在实例化位置终止编译。

完整无法编译示例 #

为简化问题，仅考虑其中一项约束：策略类必须声明一个静态变量，且该静态变量本身需要满足另一个concept（此处为mp-units库中的Acceleration concept）。

#include <units/isq/si/si.h>

using units::isq::Acceleration;

// 策略类
struct earth
{
    // 看起来已经满足要求
    static inline constexpr Acceleration auto gravity = standard_gravity<>;
};

// 定义concept，后续会扩展更多约束项
template <typename T>
concept SphericBody = requires(T)
{
  { T::gravity } -> Acceleration;
};

// 带模板参数约束的主类
template<SphericBody T>
class Foo
{
  // ...
}

int main()
{
  Foo<earth> // 编译失败 :'(
}

编译报错信息：

‘T::gravity’ does not satisfy return-type-requirement
     { T::gravity } -> units::isq::Acceleration;

当前版本mp-units库中Acceleration concept的声明如下：

#include <units/concepts.h>
#include <units/isq/dimensions/length.h>
#include <units/isq/dimensions/time.h>

namespace units::isq {

template<typename Child, Unit U, typename...>
struct dim_acceleration;

template<typename Child, Unit U, DimensionOfT<dim_length> L, DimensionOfT<dim_time> T>
struct dim_acceleration<Child, U, L, T> : derived_dimension<Child, U, exponent<L, 1>, exponent<T, -2>> {};

template<typename T>
concept Acceleration = QuantityOfT<T, dim_acceleration>;

}  // namespace units::isq

最小可运行示例 #

针对普通int成员变量，直接写requires子句可以正常编译：

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

struct myearth
{
    int gravity;
};

// 带模板参数约束的主类
template<HasGravity T>
class Foo
{};

// using policy_t = Foo<earth> // 编译通过

最小无法编译示例 #

把约束逻辑抽成独立concept之后，代码编译失败：

template <typename T>
concept IsAcceleration = std::same_as<int&>;
};

// 定义concept，后续会扩展更多约束项
template <typename T>
concept HasGravity = requires(T t)
{
  { t.gravity } -> IsAcceleration;
};

// 策略类
struct myearth
{
    int gravity;
};

// 带模板参数约束的主类
template<HasGravity T>
class Foo
{};

// using policy_t = Foo<earth> // 编译失败

报错信息：

note: constraints not satisfied
test.cpp:45:9:   required for the satisfaction of ‘HasGravity<T>’ [with T = myearth]
test.cpp:45:22:   in requirements with ‘T t’ [with T = myearth]
test.cpp:47:7: note: ‘t.gravity’ does not satisfy return-type-requirement
   47 |   { t.gravity } -> IsAcceleration;

你写的{ E } -> C是C++ concepts的返回类型要求语法，这个语法的规则是：

1. 首先对表达式E做类型推导，得到decltype((E))（注意是双层括号的推导结果，会保留表达式的值类别、cv和引用限定）
2. 要求这个推导出来的类型必须满足C<decltype((E))>，这里C必须是只接收单个类型参数的约束/concept。

你的代码有两个核心问题：

1. 抽离独立concept的写法本身语法错误：你定义的IsAcceleration写成了std::same_as<int&>，但std::same_as是二元concept，必须传两个类型参数才能构成合法约束，这种写法本身就无法通过编译。
2. 箭头返回值约束不适合这个场景：对于静态constexpr成员T::gravity，decltype((T::gravity))推导出来的是const 具体类型&的左值引用类型，而你要校验的是变量本身的纯类型是否满足Acceleration concept，引用和cv限定会导致匹配失败。

正确的写法不要用箭头语法，直接在requires块里分两步校验：先确认成员存在，再校验成员的纯类型满足目标concept：

template <typename T>
concept SphericBody = requires(T)
{
  T::gravity; // 校验静态成员gravity存在
  requires Acceleration<decltype(T::gravity)>; // 校验gravity的类型满足Acceleration concept
};

对应你写的int类型最小复现示例，修正后代码如下：

// 正确定义单参数concept，待校验类型作为模板参数
template <typename T>
concept IsAcceleration = std::same_as<T, int>;

template <typename T>
concept HasGravity = requires(T t)
{
  t.gravity; // 校验成员存在
  requires IsAcceleration<decltype(t.gravity)>; // 校验成员类型
};

struct myearth
{
    int gravity;
};

template<HasGravity T>
class Foo
{};

int main()
{
  Foo<myearth>{}; // 正常编译
}

另外你最小无法编译示例里IsAcceleration定义末尾多写了一个多余的右大括号，属于笔误，删掉即可。

补充：箭头语法{E} -> C仅适合需要校验表达式值类别、引用/cv限定符的场景，比如校验成员函数返回左值引用、返回右值等场景。如果只需要校验表达式声明的纯类型是否满足某个concept，直接嵌套requires Concept<decltype(表达式)>的写法更稳定，不会被表达式的隐含属性影响匹配结果。

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