如何在C++ Concept中检查表达式是否可用于constexpr上下文？

嘿，这个问题问得特别实在——刚上手Concept的时候，确实会觉得它比SFINAE简洁太多，但碰到「检查表达式能否在constexpr上下文执行」这种需求，就会发现标准语法里没有直接的constexpr标记位，你设想的那种注释写法自然也不是正确的用法。不过我们可以通过模拟编译期求值上下文的方式来实现，分两种情况给你拆解：

1. 处理非void返回值的表达式 #

对于有返回值的表达式（比如你例子里的T::foo），我们可以在requires块里直接声明一个constexpr变量，用目标表达式初始化它。编译器会自动检查这个初始化是否能在编译期完成：

#include <concepts>

template<typename T>
concept HasConstexprStaticFoo = requires {
    // 检查T::foo能否在constexpr上下文被读取/求值
    constexpr auto static_foo = T::foo;
};

如果T::foo本身无法在编译期访问（比如不是constexpr静态成员，或者是一个非constexpr函数），这个requires条件就会不满足。

2. 处理void返回值的表达式 #

对于像t.bar()这种返回void的表达式，没法用变量初始化的方式，这时候可以用constexpr lambda包裹并调用的方法，让编译器检查这个调用是否能在constexpr上下文合法执行：

template<typename T>
concept HasConstexprBar = requires(T t) {
    // 先检查t.bar()的返回值是void（可选，看你的需求）
    { t.bar() } -> std::same_as<void>;
    // 再检查这个调用能在constexpr上下文执行
    []() constexpr { t.bar(); }();
};

这里的constexpr lambda相当于模拟了一个编译期执行的环境，编译器会验证t.bar()能不能在这个环境里合法调用——如果t.bar()不是constexpr成员函数，或者调用时存在无法编译期求值的操作，这个条件就会失败。

结合你的需求整合Concept #

把你原本的foo Concept改写成正确的版本，就是同时检查返回值类型和constexpr可执行性：

#include <concepts>

template<typename T>
concept foo = requires(T t) {
    // 检查t.bar()返回void，且可在constexpr上下文执行
    { t.bar() } -> std::same_as<void>;
    []() constexpr { t.bar(); }();

    // 检查T::foo可在constexpr上下文访问/求值
    constexpr auto static_foo = T::foo;
};

关键说明 #

要注意的是，这种方式检查的是表达式存在至少一种编译期求值的可能性，而不是要求对所有可能的T实例都能编译期成功求值——这正好匹配你想要的「确认能否将该表达式放在编译器要求必须在编译期求值的位置」的需求。

另外，C++23里虽然新增了std::constant_expression，但它主要用于检查具体的常量表达式，不适用于依赖模板参数的Concept检查场景，所以上面的方法在当前标准下还是最稳妥的实现方式。

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