如何用C++ Concepts确保类拥有模板成员函数且不实例化该函数

要实现仅检查类型是否拥有模板成员函数Do、同时避免触发模板内static_assert的需求，我们可以通过依赖类型占位的方式绕过特定类型的断言限制，同时确保Concept只验证模板的存在性而非实例化函数体。

具体实现步骤 #

1. 定义一个依赖于模板参数的辅助类型，用于避免触发针对特定类型的static_assert：

template<typename T>
struct DependentType {};

2. 编写Concept，使用该依赖类型作为Do模板的参数进行检查：

template<typename T>
concept FooLike = requires(T t) {
    // 用依赖类型作为模板参数，既检查Do模板存在，又避免触发特定类型的断言
    t.template Do<DependentType<T>>();
};

为什么这个方案有效 #

• 避免特定类型断言：DependentType<T>是一个与检查目标类型绑定的自定义类型，几乎不会触发用户在Do模板中针对int等特定类型的static_assert限制。
• 不实例化函数体：在requires表达式中调用模板特化时，编译器仅会完成模板参数替换，不会实例化函数体内容。只有当该特化被实际调用时，才会触发函数体内的static_assert。

测试示例 #

• 符合要求的类型（如Foo）会通过Concept检查：

class Foo{
   template<typename T>
   void Do(){}
};
static_assert(FooLike<Foo>); // 编译通过

• 包含static_assert限制的类型（如FooButNotForInt）也会通过检查：

class FooButNotForInt{
   template<typename T>
   void Do(){
      static_assert(!std::is_same_v<T, int>, "INT not allowed"); 
   }
};
static_assert(FooLike<FooButNotForInt>); // 编译通过，因为DependentType<T>不是int

• 不具备Do模板的类型会被Concept排除：

class Bar {};
static_assert(FooLike<Bar>); // 编译失败，符合预期

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