如何用C++ Concepts而非type_traits检测特定重载函数是否存在？

问题背景 #

你需要在C++编译阶段判断func的特定重载是否存在，已知func的重载形式类似：

void func(M<A>);
void func(M<B>, C);
void func(M<D>, E, F);
// ... 其他重载

其中M和A~F都是自定义类型。目前你已经能用std::void_t结合SFINAE实现检测，现在希望改用Concepts完成同样功能，且不考虑enable_if方案。

基于Concepts的实现 #

直接通过Concept的requires表达式就能简洁实现检测，代码如下：

#include <concepts>
#include <iostream>
#include <utility> // 用于std::forward

// 自定义类型
struct A{};
struct B{};
struct C{};
struct D{};
struct E{};
struct F{};

template<typename I>
struct M{};

namespace fun {
// 待检测的函数重载
void func(M<A>){}
void func(M<B>, C){}
void func(M<D>, E, F){}
}

// 定义Concept：检查是否存在匹配参数的func重载
template<typename... Args>
concept has_func_overload = requires(Args&&... args) {
    fun::func(std::forward<Args>(args)...);
};

// 保持原代码的调用风格（可选）
namespace find_function {
template<typename... Args>
constexpr bool func = has_func_overload<Args...>;
}

int main() {
    if constexpr (find_function::func<M<A>> && find_function::func<M<B>, C> && find_function::func<M<D>, E, F>) {
        std::cout << "存在匹配的重载" << std::endl;
    }
    if constexpr (!find_function::func<M<B>, B, C>) {
        std::cout << "不存在匹配的重载" << std::endl;
    }
}

关键细节解释 #

• Concept核心逻辑：has_func_overload通过requires表达式验证：传入给定类型的参数时，fun::func的调用是否合法。如果合法，Concept的结果为true，否则为false，完全在编译阶段完成判断。
• 调用风格兼容：如果你想保持原代码中find_function::func的使用方式，只需把Concept包装成一个constexpr模板变量，直接复用Concept的结果即可。
• 返回类型约束（可选扩展）：如果需要额外限制func的返回类型，比如要求返回void，可以修改Concept：

  template<typename... Args>
  concept has_func_overload = requires(Args&&... args) {
      { fun::func(std::forward<Args>(args)...) } -> std::same_as<void>;
  };
  

对比原std::void_t实现的优势 #

• 可读性更强：Concept的写法直接描述了“能否调用func”的意图，比SFINAE模板特化的晦涩逻辑更容易理解和维护。
• 语义更贴合：Concept本身就是为表达类型约束设计的，用来检测函数重载存在性完全符合其设计初衷。
• 扩展更灵活：后续要添加复杂条件（比如参数是否可移动、返回类型是否满足要求），直接在requires里扩展即可，无需修改SFINAE的模板特化结构。

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