C++17下能否实现接收类与方法名、可在constexpr使用的检测宏？

借助C++20的Concepts和简写函数模板能力，可实现完全单宏形式的成员方法存在性判断，宏定义如下：

#define has_method(CLASS_NAME, METHOD_NAME) \
    []<typename TEMPLATE_ARG>()             \
    {                                       \
        return requires{ std::declval<TEMPLATE_ARG>().METHOD_NAME(); }; \
    }.template operator()<CLASS_NAME>()

该宏的使用方式非常直接，可直接作为编译期布尔值放在constexpr上下文中，例如：

int main()
{
    struct S{
        void call_1();
        void call_2();
        void call_3();
        void call_4();
    };
    static_assert(has_method(S, call_1)); // 校验通过
    static_assert(has_method(S, call_2)); // 校验通过
    static_assert(has_method(S, call_3)); // 校验通过
    static_assert(has_method(S, call_4)); // 校验通过
    static_assert(has_method(S, call_5)); // 编译报错，因结构体S不存在call_5方法
}

不依赖C20 Concepts特性、仅基于C17标准，能否实现同等功能的has_method宏？
具体约束要求如下：

• 宏需支持传入目标类名、待检测的方法名作为两个参数
• 返回值可直接在constexpr上下文（如static_assert）中使用
• 尽量将全部检测逻辑封装在宏内部，摆脱传统SFINAE方案至少需要定义两个辅助模板结构体的冗余要求，实现和C++20版本一致的单宏直接可用的形式

核心语法限制 #

C17的语法能力存在天然短板，导致完全对齐C20版本的单宏实现无法落地：

• 不支持带模板形参列表的lambda：原示例中lambda通过[]<typename TEMPLATE_ARG>(){...}形式接收泛型参数的语法是C20才引入的，C17下lambda仅能通过捕获列表获取外部值，无法直接定义泛型调用入口
• 不支持requires编译期表达式：C++17没有内置语法直接判断“某类型是否能执行某操作”，这类逻辑必须通过SFINAE重载、偏特化规则实现
• 不允许在表达式位置嵌入带偏特化的模板定义：SFINAE的核心探测逻辑依赖模板偏特化完成，而C++语法规定模板偏特化必须和主模板定义处于同一命名空间/类作用域，无法在static_assert这类表达式上下文内部完成定义——哪怕借助局部类的语法能力，也无法在宏展开的瞬间生成完整的、可做SFINAE判断的探测结构

可行的折中实现 #

如果放宽“宏可直接在任意表达式上下文使用”的约束，确实可以通过宏自动生成对应方法名的SFINAE辅助模板，最终提供等效的编译期方法存在性判断能力。但这类实现的宏通常需要在全局作用域展开，生成的辅助模板和业务代码处于同一作用域，无法像原C++20示例一样把整段检测逻辑直接嵌在static_assert的判断条件中。

纯C17标准下**无法实现和C20版本完全等价的单宏形式检测逻辑**，核心瓶颈是C17本身的语法能力缺失，而非SFINAE技巧的不足。传统SFINAE方案需要预先定义辅助模板的问题，本质上是无法通过单宏在C17的语法规则下规避的。

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