为何成员函数无法要求同类static constexpr成员为true？

首先纠正代码里的一个语法小错误：static constexpr bool isInt = std::integral<T>写法不对，std::integral是C++20概念，不能直接赋值给布尔变量，正确写法应该是用类型特性的value：

static constexpr bool isInt = std::is_integral_v<T>;

接下来讲核心的编译错误原因：
这不是同类成员声明的问题，而是C++对成员函数声明和定义的约束表达式有字面匹配要求。类内声明bar()时用的约束是requires (isInt)，类外定义却写成requires (Foo<T>::isInt)——虽然两者语义完全等价，但编译器会把这两个表达式视为不同的约束，因此判定定义和声明不匹配。而goo()的声明和定义用了完全一样的requires std::integral<T>，所以能通过编译。

给你两种解决方案：

• 方案一：保持约束表达式字面一致
  类外定义时直接用和类内相同的requires (isInt)，编译器会在类作用域内查找该成员，匹配声明：

template <typename T>
void Foo<T>::bar() requires (isInt)
{
    // ...
}

• 方案二：提取为独立概念（更适合复杂约束）
  把约束逻辑封装成一个概念，这样不管类内类外引用的都是同一个约束，彻底避免匹配问题：

template <typename T>
concept IsInt = std::is_integral_v<T>;

template <typename T>
struct Foo
{
    void bar() requires IsInt<T>;
    void goo() requires std::integral<T>;
};

template <typename T>
void Foo<T>::bar() requires IsInt<T>
{
    // ...
}

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