如何检查宏X是否在类内部调用，以适配调用不同版本的foo函数？

这个需求挺有意思的——要让宏根据调用位置是类内还是类外，自动选择不同的foo重载。咱们可以利用C++的重载决议和SFINAE特性来实现，核心思路是检测当前上下文是否能访问this指针：类内成员函数里this是有效的，类外则不行。

完整实现代码 #

#include <iostream>

// 你原有的foo函数定义
void foo(int a) {
    std::cout << "调用了无参foo：" << a << "\n";
}

template<class T>
void foo(int a, T& t) {
    std::cout << "调用了带对象的foo：" << a << ", " << t.b << "\n";
}

// 辅助函数：类内成员函数中会匹配这个版本
template<typename T>
auto call_foo_impl(int a, T* ptr) -> decltype(foo(a, *ptr), void()) {
    foo(a, *ptr);
}

// 辅助函数：类外（或无this的上下文）会匹配这个版本
void call_foo_impl(int a, ...) {
    foo(a);
}

// 最终的宏定义
#define X() call_foo_impl(100, this)

// 测试代码
class TestClass {
public:
    int b = 42; // 对应foo第二个版本需要的成员

    void member_func() {
        X(); // 类内调用，应该触发带*this的foo
    }

    static void static_func() {
        X(); // 静态函数无this，触发无参foo
    }
};

int main() {
    X(); // 类外调用，触发无参foo

    TestClass obj;
    obj.member_func();

    TestClass::static_func();

    return 0;
}

原理说明 #

1. 上下文检测逻辑：

   • 在类的非静态成员函数中，this是当前对象的合法指针，编译器会优先匹配第一个call_foo_impl模板（因为它的参数更精确），进而调用foo(100, *this)。
   • 在类外、静态成员函数等没有this的上下文中，this是未定义的，编译器会跳过第一个模板，匹配优先级最低的可变参数版本，转而调用无*this的foo(100)。

2. 关键细节：

   • 第一个call_foo_impl用decltype(foo(a, *ptr), void())做返回值，这是SFINAE的应用：只有当foo(a, *ptr)能合法调用时（也就是*ptr符合第二个foo模板的参数要求），这个函数才会被纳入重载候选。
   • 可变参数...的重载优先级最低，确保只有当其他重载都无法匹配时才会被选中。

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