C++ concept定义中如何检测无参成员函数模板存在性

核心逻辑是不需要枚举所有满足Concept的类型做验证，只需要构造一个严格满足Concept最小要求、无额外语义的探针类型，用它作为模板实参调用目标接口做检测即可。
如果目标类确实存在template<Concept T> auto something()形式的无参成员模板，那么所有满足Concept的类型都能合法调用该接口，探针检测必然通过；如果不存在对应模板、或者模板约束不匹配，探针调用会直接编译失败，刚好符合检测需求。

具体实现步骤 #

• 首先定义检测用探针类型，这个类型只实现Concept要求的全部必要接口，不要添加多余的隐式转换、重载运算符等特殊逻辑，避免意外匹配到其他同名重载：

// 探针类型，按需实现Concept要求的接口即可
struct ConceptProbe {
  // 示例：如果Concept要求类型支持默认构造、有foo()成员方法，就对应实现
  // void foo() const {}
};
// 编译期校验探针本身确实满足Concept约束，避免探针写错导致检测失效
static_assert(Concept<ConceptProbe>);

• 编写HasSomething概念，根据需要覆盖const/右值等调用场景：

#include <utility>

template<typename T>
concept HasSomething = requires(T obj) {
  // 检测非const左值调用
  { obj.template something<ConceptProbe>() };
  // 按需开启以下检测项：
  // 检测const左值调用
  // { std::as_const(obj).template something<ConceptProbe>() };
  // 检测右值调用
  // { std::move(obj).template something<ConceptProbe>() };
};

注意事项 #

• 检测过程不需要构造探针类型的实例：无参成员函数模板调用只需要显式指定模板实参，全程不会创建ConceptProbe对象，不存在“必须提供T的实例”的问题。
• 不需要担心探针选型导致检测偏差：只要探针严格满足Concept的最小要求，没有额外特殊语义，就不会出现误匹配。如果真的存在其他同名something接口能被该探针匹配，说明类本身的接口设计存在歧义，检测不通过是合理结果。
• 如果你的Concept是无约束的空概念（即所有类型都满足），可以直接用void作为探针，不需要自定义类型，检测语句可以简化为{ obj.template something<void>() };。
• 上述检测会把“存在名为something的可调用成员变量（比如持有一个支持模板operator()的函数对象）”的情况也判定为通过。如果需要严格区分别名模板、成员变量和真正的成员函数模板，可以额外加类型萃取判断成员的实体类型，绝大多数常规业务场景不需要做这层严格校验。

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