如何检测C++类中是否存在符合指定签名的模板成员方法

检测模板成员方法的核心逻辑是：模板方法本身不是可直接检测的实体，需要先构造一组合法的测试类型代入模板完成实例化，再验证实例化后的方法是否符合要求，我们可以通过不同C++版本的语法实现该检测。

首先定义两个满足send方法调用约束的测试辅助类型：

// 测试用参数类型
struct DummyObject {};
// 测试用Sender类型，满足send调用要求
struct DummySender {
    static void send(DummyObject&) {}
};

C++20 概念（Concept）方案 #

这是最简洁的实现方式，直接通过requires表达式验证调用合法性：

#include <concepts>

template<typename T>
concept is_sendable = requires(const T& inst, DummyObject& obj) {
    // 验证send调用合法且返回值为DummyObject左值引用
    { inst.template send<DummySender>(obj) } -> std::same_as<DummyObject&>;
};

使用方式完全匹配需求：is_sendable<SomeClass>的布尔值为true，不存在对应模板方法的类则返回false。

C++11/14/17 SFINAE方案 #

通过void_t和类模板偏特化实现检测，C++11如果没有内置void_t可以自行实现：

#include <type_traits>

// C++11 兼容用自行实现的void_t
template<typename...>
using void_t = void;

// 主模板，默认匹配失败返回false
template<typename T, typename = void>
struct is_sendable : std::false_type {};

// 偏特化，当send方法可以正常调用时匹配成功返回true
template<typename T>
struct is_sendable<T, void_t<
    decltype(std::declval<const T&>().template send<DummySender>(std::declval<DummyObject&>()))
>> : std::true_type {
    // 可选：额外验证返回值类型符合要求
    static_assert(std::is_same<
        decltype(std::declval<const T&>().template send<DummySender>(std::declval<DummyObject&>())),
        DummyObject&
    >::value, "返回值类型不匹配要求");
};

// C++14及以上可新增辅助变量模板简化调用
template<typename T>
constexpr bool is_sendable_v = is_sendable<T>::value;

使用方式：is_sendable<SomeClass>::value 或 is_sendable_v<SomeClass> 即可获取检测结果。

注意事项 #

• 调用依赖类型的模板成员方法时必须加.template关键字，否则编译器会将<解析为小于运算符，导致编译失败。
• 测试用的辅助类型要确保满足待检测模板方法的所有约束，否则会出现假阴性的检测结果。

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