如何用C++元编程判断当前处于类方法还是全局/静态函数？

核心思路是借助C++的重载解析规则——非静态成员函数中可隐式访问this指针，而全局/静态函数不行，通过提供不同重载版本自动匹配当前作用域，最终封装成统一的DEBUG宏，完全满足你无需修改类、无需额外参数的要求。

完整实现代码 #

#include <cstdio>
#include <type_traits>

// 辅助类型：编译期判断当前函数是否为成员函数
template<typename T>
struct is_member_function {
    static constexpr bool value = false;
};

template<typename T, typename Class>
struct is_member_function<T Class::*> {
    static constexpr bool value = true;
};

// 全局/静态函数版本：无this指针
template<typename... Args>
void debug_impl(const char* format, Args&&... args) {
    printf("Global: ");
    printf(format, std::forward<Args>(args)...);
}

// 非静态成员函数版本：接收非const this指针
template<typename Class, typename... Args>
auto debug_impl(Class* this_ptr, const char* format, Args&&... args) 
    -> typename std::enable_if<!std::is_const<Class>::value>::type {
    printf("Class: ");
    printf(format, std::forward<Args>(args)...);
}

// 常量成员函数版本：接收const this指针
template<typename Class, typename... Args>
auto debug_impl(const Class* this_ptr, const char* format, Args&&... args) 
    -> typename std::enable_if<std::is_const<Class>::value>::type {
    printf("Const Class: ");
    printf(format, std::forward<Args>(args)...);
}

// 统一DEBUG宏：编译期自动匹配对应实现
#define DEBUG(format, ...) \
    do { \
        if constexpr (is_member_function<decltype(&__FUNCTION__)>::value) { \
            debug_impl(this, format, ##__VA_ARGS__); \
        } else { \
            debug_impl(format, ##__VA_ARGS__); \
        } \
    } while(0)

// 测试代码（与你的示例一致，仅补充静态方法测试）
class NormalClass
{
public:
    void foo(int a, bool b)
    {
        DEBUG("print from class %d %d\n", a, b);
    }

    static void static_foo() {
        DEBUG("print from static class method\n");
    }
};

void normal_function()
{
    DEBUG("print from a normal function\n");
}

int main() {
    NormalClass obj;
    obj.foo(1, 2);
    NormalClass::static_foo();
    normal_function();
    return 0;
}

输出结果 #

Class: print from class 1 2
Global: print from static class method
Global: print from a normal function

关键原理说明 #

1. is_member_function类型判断：通过匹配成员函数指针的特殊类型T Class::*，在编译期识别当前函数是否为类的非静态成员函数。
2. 重载的debug_impl：根据是否能传入this指针，自动选择对应版本，实现不同前缀的输出逻辑。
3. DEBUG宏的自动适配：利用if constexpr（C++17及以上支持）在编译期完成分支选择，完全不影响运行时性能，且调用方式完全统一。

兼容旧标准说明 #

如果使用C++17之前的版本，可以把if constexpr替换为SFINAE标签分发的方式，核心逻辑保持一致，只是实现形式略有不同。

内容的提问来源于stack exchange，提问作者Patrick B.