仅使用Concepts时，如何为C++库代码客户端提供接口信息？

1. 概念聚合+注释化原型 #

将分散的Concept集中到同一头文件，用结构化注释模拟抽象接口原型，把Concept对应的方法签名、约束逻辑直观展示，让客户端无需跳转多个文件就能理解要求。

示例：

// 适配example函数的类型需满足以下任一方法：
// - int method1(int);  // 接收int参数，返回int类型
// - void method2();    // 无参数，无返回值

template<class T>
concept has_method1 = requires(T o){{ o.method1(int()) -> std::same_as<int>; }};

template<class T>
concept has_method2 = requires(T o){{ o.method2(); }};

template<class T>
concept has_any_method = has_method1<T> || has_method2<T>;

template<class T>
requires has_any_method<T>
void example(T o);

这种方式无额外代码开销，IDE查看函数签名时，注释会与Concept定义一同显示，降低客户端的查找成本。

2. 空基类标记+概念约束 #

定义空的标记类，在类注释中写明接口原型，同时用Concept约束类型必须继承该标记类，既保留泛型的灵活性，又给客户端一个明确的"接口锚点"。

示例：

// ExampleCompatible 接口：适配example的类型需满足以下任一方法
// 1. int method1(int)
// 2. void method2()
struct ExampleCompatible {};

template<class T>
concept has_method1 = requires(T o){{ o.method1(int()) -> std::same_as<int>; }};

template<class T>
concept has_method2 = requires(T o){{ o.method2(); }};

template<class T>
concept ExampleInterface = std::derived_from<T, ExampleCompatible> && 
                           (has_method1<T> || has_method2<T>);

template<class T>
requires ExampleInterface<T>
void example(T o);

客户端看到ExampleCompatible类即可定位接口说明，继承标记类不会带来任何运行时开销。

3. 命名空间收拢接口逻辑 #

把相关Concept嵌套到专属命名空间，将接口的所有约束逻辑集中存放，同时在命名空间注释中明确接口要求。

示例：

namespace ExampleInterfaces {
    // 适配example的类型需满足以下任一方法：
    // - int method1(int)
    // - void method2()
    template<class T>
    concept has_method1 = requires(T o){{ o.method1(int()) -> std::same_as<int>; }};

    template<class T>
    concept has_method2 = requires(T o){{ o.method2(); }};

    template<class T>
    concept Any = has_method1<T> || has_method2<T>;
}

template<class T>
requires ExampleInterfaces::Any<T>
void example(T o);

这种方式让接口相关的所有约束都处于同一命名空间下，客户端查找时无需在多个头文件间跳转。

4. 静态断言辅助接口提示 #

在模板函数内部添加静态断言，当客户端传入不符合约束的类型时，编译错误信息会直接输出接口要求，既辅助调试，也传递了接口信息。

示例：

template<class T>
concept has_method1 = requires(T o){{ o.method1(int()) -> std::same_as<int>; }};

template<class T>
concept has_method2 = requires(T o){{ o.method2(); }};

template<class T>
concept has_any_method = has_method1<T> || has_method2<T>;

template<class T>
requires has_any_method<T>
void example(T o) {
    static_assert(has_method1<T> || has_method2<T>, 
                  "类型需满足以下任一接口：\n"
                  "1. int method1(int)\n"
                  "2. void method2()");
}

当类型不匹配时，编译报错会直接展示接口原型，客户端无需查阅文档即可定位问题。

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