C++替换#define宏 实现无括号访问时自动调用指定函数

要完全匹配宏#define True GetObject(true)的行为，同时满足所有约束，最优方案是使用带隐式转换的轻量代理类型，零额外开销，使用形式和宏完全一致。

核心实现 #

直接在公共头文件中放置如下定义即可：

inline const struct TrueProxy {
    // 隐式转换为Object类型，每次触发转换时都会独立调用GetObject
    constexpr operator Object() const noexcept(noexcept(GetObject(true))) {
        return GetObject(true);
    }
    // 禁止对该标识符取地址，和原宏行为对齐：宏是临时表达式，本身不支持取地址
    void operator&() const = delete;
} True{};

方案匹配性验证 #

对照所有约束和需求，该实现完全符合要求：

• 不需要修改原有Object类、GetObject函数的实现，无需为二者添加constexpr修饰，满足第一条约束
• 使用时不需要加括号：编写auto c = True;时，编译器会自动触发代理类型到Object的隐式转换，最终生成的代码和直接写auto c = GetObject(true);完全等价，和原宏使用形式无差别，满足第二条约束
• 每次访问True并将其作为Object类型使用时，都会独立执行一次GetObject(true)返回全新实例，不会复用全局初始化的副本，满足第三条约束
• 所有常量的构造参数集中定义，后续调整参数只需要修改代理类的转换函数实现即可，不需要逐处修改业务代码，维护成本和原宏方案一致。

常见疑问说明 #

• 为什么不用inline变量？普通inline变量会在程序初始化阶段仅调用一次GetObject，后续访问都是复用同一个实例，无法满足每次生成新对象的要求。
• 为什么不用inline函数？inline函数必须在调用时加括号写成True()，不符合类常量的使用语义，会降低代码可读性。
• 代理类有没有额外开销？没有。代理类型是空类，本身不占任何存储空间，隐式转换是编译期决议的，编译器会直接把转换逻辑内联为GetObject(true)调用，运行时性能和直接写函数调用、和原宏完全一致。

批量定义优化 #

如果需要在库中大量定义这类状态常量，可以用一个仅在库内部使用的辅助宏来消除重复样板代码，业务层使用时依然是无括号的常量形式，不会暴露宏的副作用：

// 工具宏，仅在常量定义处使用，不对外泄露
#define DEFINE_OBJ_CONST(ConstName, ...) \
inline const struct ConstName##Proxy { \
    constexpr operator Object() const noexcept(noexcept(GetObject(__VA_ARGS__))) { \
        return GetObject(__VA_ARGS__); \
    } \
    void operator&() const = delete; \
} ConstName{}

// 集中定义所有需要的常量，后续调整构造参数仅需修改此处
DEFINE_OBJ_CONST(True, true);
DEFINE_OBJ_CONST(False, false);
DEFINE_OBJ_CONST(EmptyState, std::nullopt);
DEFINE_OBJ_CONST(CustomState, 42, "custom_tag");

这个方案在实际工业级C++库中也有大量应用，既保留了宏的使用便捷性，又避免了传统宏无作用域、文本替换易出bug、调试困难的缺陷。

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