应使用 constexpr 和模板替代宏，因其类型安全、可调试且 IDE 友好；constexpr 变量具明确类型，避免隐式转换错误；constexpr 函数杜绝多次求值与类型失控。
直接用 constexpr 和模板替代宏，绝大多数场景下更安全、更可调试、也更容易被 IDE 理解。预处理器不参与类型检查，而 constexpr 函数和变量在编译期求值且强制类型匹配——这是根本区别。
用 constexpr 变量代替 #define 数值常量
宏定义的数值没有类型，容易隐式转换出错；constexpr 变量带完整类型信息，还能参与模板推导。
- 错误写法：
#define MAX_SIZE 1024
——MAX_SIZE是裸整数，传给std::vector<char>::resize(size_t)</char>时可能触发窄化警告或静默截断 - 推荐写法：
constexpr std::size_t MAX_SIZE = 1024;
—— 类型明确为std::size_t，编译器会检查赋值与使用是否一致 - 若需跨平台适配，可结合
if constexpr：constexpr auto BUFFER_SIZE = []{ if constexpr (sizeof(void*) == 8) { return 4096U; } else { return 2048U; } }();
用 constexpr 函数替代简单宏表达式（如 min/max）
宏版本的 MIN(a, b) 会多次求值参数，且无类型约束；constexpr 函数天然避免副作用，支持重载和 SFINAE。
- 危险宏：
#define MIN(a, b) ((a) < (b) ? (a) : (b))
—— 若传入MIN(x++, y)，x可能自增两次 - 安全替代：
constexpr auto min(auto a, auto b) { return a < b ? a : b; }—— C++20 泛型 lambda 风格，类型推导严格，参数只求值一次 - 兼容旧标准可写成模板：
template<typename T> constexpr const T& min(const T& a, const T& b) { return a < b ? a : b; }注意：此版本要求两个参数类型完全一致，否则编译失败，反而是优点——暴露类型不匹配问题
用模板别名 + constexpr 消除宏条件编译（如 DEBUG 日志）
用 #ifdef DEBUG 包裹日志会导致二进制膨胀、调试符号混乱；模板 + constexpr if 让逻辑真正“消失”于 release 版本。
立即学习“C++免费学习笔记（深入）”；
- 传统宏日志：
#ifdef DEBUG #define LOG(x) std::cout << "[DEBUG] " << x << '\n' #else #define LOG(x) #endif
—— 预处理器移除后，调用点仍存在空宏展开，影响内联分析 - 现代方案：
constexpr bool is_debug = true; // 或从构建系统注入 template<typename T> void log(const T& msg) { if constexpr (is_debug) { std::cout << "[DEBUG] " << msg << '\n'; } // release 下整个 if 分支被丢弃，无任何指令残留 } - 关键点：
is_debug必须是constexpr变量（不能是普通const），否则if constexpr不生效
最易被忽略的是宏的文本替换本质——它发生在词法分析之后、语法分析之前，所有类型、作用域、命名空间都尚未建立。而 constexpr 和模板运行在语义层，IDE 能跳转、能重命名、能静态分析。哪怕一个简单的 LOG，换掉宏之后，你立刻少查三次“为什么变量没定义”。
