如何实现可根据参数类型自动适配展开的C++自定义TYPEOF宏

纯C预处理宏无法直接实现需求效果，宏展开发生在编译预处理阶段，此时没有任何类型语义信息，无法区分传入的是值、指针还是类名，需要结合C++编译期类型推导能力，配合宏封装实现。

C++20 最简实现方案（完全匹配需求） #

该方案完全符合你要求的三种调用规则，依赖C++20的requires表达式和if constexpr特性实现自动分支选择：

#include <type_traits>

#define TYPEOF(x) \
    [&]() { \
        // 匹配类名场景：可调用静态方法
        if constexpr (requires { x::GetStaticRudyObjectID(); }) { \
            return x::GetStaticRudyObjectID(); \
        } \
        // 匹配指针类型场景
        else if constexpr (std::is_pointer_v<std::decay_t<decltype(x)>>) { \
            return x->GetRudyObjectID(); \
        } \
        // 匹配值类型场景
        else { \
            return x.GetRudyObjectID(); \
        } \
    }()

实现原理 #

• 用立即调用的泛型Lambda构造模板语境，让if constexpr的不匹配分支不会被实例化，避免无效代码触发编译错误
• requires表达式自动判断传入的x是否可以访问静态成员方法，类名会命中第一个分支
• 后续分支用std::is_pointer_v判断变量是否为指针类型，自动选择.还是->调用成员方法

测试用例 #

// 你的自定义派生类示例
class UserModel : public RudyObject {
public:
    int GetRudyObjectID() const { return 1; }
    static int GetStaticRudyObjectID() { return 2; }
};

int main() {
    UserModel val;
    UserModel* ptr = &val;
    
    TYPEOF(val);       // 等价于 val.GetRudyObjectID() 返回1
    TYPEOF(ptr);       // 等价于 ptr->GetRudyObjectID() 返回1
    TYPEOF(UserModel); // 等价于 UserModel::GetStaticRudyObjectID() 返回2
    return 0;
}

低版本C兼容方案（C11及以上） #

如果编译环境不支持C++20，建议拆分宏实现，避免复杂的类型判断逻辑，稳定性更高：

#include <type_traits>

// 处理值/指针变量的宏
#define TYPEOF_OBJ(x) \
    (std::is_pointer<typename std::decay<decltype(x)>::type>::value ? \
    (x)->GetRudyObjectID() : (x).GetRudyObjectID())

// 处理类名的宏
#define TYPEOF_CLASS(cls) cls::GetStaticRudyObjectID()

该方案需要手动区分传入的是变量还是类名，但兼容性强，没有黑魔法，不会出现边缘场景的编译错误。

注意事项 #

• 所有用到该宏的类都必须继承自RudyObject，且正确实现两个ID方法，否则会触发编译错误
• C++20版本如果遇到极端场景：某个变量类型有同名静态方法可能会误判，可在requires中增加约束排除即可，该场景出现概率极低

内容的提问来源于stack exchange，提问作者Barış Üçkardeş