如何在C++ Concept中实现NOT约束，无需拆分多个概念？

要实现你想要的“NOT逻辑”，直接在Concept的requires子句里使用否定形式的requires表达式即可，不需要拆分多个Concept链式调用。具体写法是用!来否定一个嵌套的requires块，检查目标操作是否不成立。

正确的Concept实现 #

template<class T>
concept Fooable = requires(T t) {
    { t.foo() }; // 要求存在可调用的foo()成员函数
} && !requires(T t) { // 要求不存在可调用的bar()成员函数
    { t.bar() };
};

struct Y {
    void foo() {}
};

struct X {
    void foo() {}
    void bar() {}
};

template <Fooable T>
void fn(T t) {}

// 测试代码
int main() {
    Y y;
    fn(y); // 编译通过：Y满足Fooable的所有约束

    // X x;
    // fn(x); // 编译失败：X存在bar()，不满足否定约束
    return 0;
}

原理说明 #

• 外层的requires(T t) { { t.foo() }; }保证类型T必须具备可调用的foo()成员函数；
• !requires(T t) { { t.bar() }; }通过!否定整个requires表达式，确保类型T无法调用bar()成员函数（包括完全没有该成员、成员不可访问、调用参数不匹配等情况）；
• 两个条件通过&&组合，直接在单个Concept内完成“有foo()且无bar()”的约束逻辑。

这种写法完全符合C++20标准的Concept语法，无需额外拆分多个Concept就能实现你要的否定逻辑。

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