如何用C++20 Concepts检测类方法是否接受满足概念的参数？

1. 让多重载operator()的类通过概念检测 #

问题核心在于原概念检测逻辑没有精准匹配到能接受任意无参可调用对象的重载。当类存在多个operator()时，需要确保概念能筛选出至少一个重载支持任意无参可调用类型。

你可以调整概念定义，结合C++20的模板约束与std::invocable实现精准检测：

#include <concepts>
#include <utility>

// 定义Executor概念：要求类能接受任意无参可调用对象
template<typename E>
concept Executor = requires(E executor, std::invocable auto&& callable) {
    // 验证executor可调用传入的无参可调用对象
    std::forward<E>(executor)(std::forward<decltype(callable)>(callable));
};

对于包含多重载的类，只要其中一个operator()满足“接受任意无参可调用”的要求（比如模板化重载或使用auto参数），就能通过检测：

// 符合要求的多重载类
struct WorksExecutor {
    // 模板化重载：支持任意无参可调用对象
    template<std::invocable F>
    void operator()(F&& f) {
        std::forward<F>(f)();
    }

    // 其他重载不影响概念检测
    void operator()(int value) {
        // 处理int参数的逻辑
    }
};

// 验证：WorksExecutor会通过Executor概念检测
static_assert(Executor<WorksExecutor>);

如果你的多重载类中，符合要求的重载仅接受std::function<void()>而非任意可调用类型，那它本来就不符合“接受任意无参可调用”的目标——lambda、函数指针等类型无法隐式转换为std::function时会失败。这种情况下，需要将该重载改为模板化或使用auto参数来支持任意可调用类型。

2. 更简洁规范的实现方式 #

直接基于C++20标准库的std::invocable概念，就能实现简洁且规范的Executor概念，无需自定义any_invocable_args_t。根据需求不同，可分为两种实现：

要求Executor调用后返回void #

template<typename E>
concept VoidExecutor = requires(E executor, std::invocable auto&& callable) {
    { std::forward<E>(executor)(std::forward<decltype(callable)>(callable)) } -> std::same_as<void>;
};

允许Executor返回任意类型 #

template<typename E>
concept GeneralExecutor = requires(E executor, std::invocable auto&& callable) {
    std::forward<E>(executor)(std::forward<decltype(callable)>(callable));
};

如果需要严格限定仅接受无参可调用对象，还可以在概念中强化约束：

template<typename E>
concept NoArgExecutor = requires(E executor, auto&& callable) {
    requires std::invocable<decltype(callable)>; // 确保callable无参可调用
    std::forward<E>(executor)(std::forward<decltype(callable)>(callable));
};

这种实现完全依赖标准库特性，代码简洁且可读性强，符合C++20的概念设计规范。

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