如何在C++另一个concept的requires子句中使用已定义的concept

问题原因 #

你之前的写法无法生效的核心原因是：C++的concept机制不支持隐式的全称/存在性量化检查。你在requires参数列表中使用Any auto a时，编译器无法确定要使用哪一个具体的满足Any约束的类型来做约束校验；而双参数的UsesAnyB则需要在使用时显式传入第二个类型参数，不能直接单独校验T是否满足要求。

可行实现方案 #

根据你的实际需求，可以选择以下两种方案：

方案1：校验T可接受任意满足Any约束的类型

如果你的需求是判断T的调用运算符是泛型的，可以兼容所有满足Any约束的输入，可使用自定义辅助测试类型实现：

template<typename T>
concept Any = true;

namespace impl {
    // 自定义私有测试类型，确保满足Any约束
    struct ArbitraryTestType {};
    static_assert(Any<ArbitraryTestType>);
}

template<typename T>
concept UsesAny = requires(T t, impl::ArbitraryTestType a) {
    t(a);
};

该方案逻辑为：如果T可以接受一个完全独立的自定义测试类型作为参数，就说明其调用运算符是泛型实现，可兼容所有满足Any约束的输入。

方案2：校验T可接受至少一种满足Any约束的类型

如果你只需要存在性校验，不需要覆盖所有满足Any约束的类型，可根据Any的实际范围枚举校验类型：

#include <type_traits>

// 示例：Any约束为所有算术类型
template<typename T>
concept Any = std::is_arithmetic_v<T>;

template<typename T>
concept UsesAny = requires(T t, int a) || requires(T t, double a) || requires(T t, long long a);

如果Any覆盖所有类型，也可以直接用std::any作为测试类型：

#include <any>

template<typename T>
concept Any = true;

template<typename T>
concept UsesAny = requires(T t, std::any a) {
    t(a);
};

双参数concept的正确用法

你之前定义的双参数UsesAnyB本身语法是合法的，使用时需要显式传入第二个类型参数即可：

template<typename T, Any A>
concept UsesAnyB = requires(T t, A a) {
  t(a);
};

// 使用示例：校验lambda是否可以接受int类型参数
static_assert(UsesAnyB<decltype([](auto x){}), int>);

内容的提问来源于stack exchange，提问作者Chris J Harris