文章目录引言一、用 const 代替 #define 定义常量1.1 const 变量是真正的变量——有地址、有类型、能调试1.2 类内常量——static const 成员1.3 C17 inline 变量——头文件中的常量定义1.4 constexpr——编译期常量二、用 enum 代替 #define 定义整型常量集合2.1 枚举比宏更有语义2.2 enum hack——类内需要编译期整数时的传统方案三、用 inline 函数代替宏函数3.1 宏函数的致命问题3.2 为什么是 inline3.3 用模板 inline 函数替代所有宏函数四、宏在 C 中仍然合法的场景4.1 包含头文件保护4.2 条件编译4.3 字符串化#和连接##4.4 断言和源码位置总结本系列为《C深度修炼基础、STL源码与多线程实战》第33篇对应 Effective C 条款1-2前置条件理解 C 语言的#define宏了解 const第8篇和引用第9篇引言C 程序员迁移到 C 时第一个文化冲击往往来自预处理器的角色变化。在 C 里#define几乎是常数定义和宏函数的唯一选择。C 则提供了三种更好的替代品——const、enum和inline函数——它们不仅类型安全而且能被调试器看到还能遵守作用域规则。// C 语言的日常——到处都是 #define#definePI3.14159#defineMAX(a,b)((a)(b)?(a):(b))#defineBUFFER_SIZE1024问题是什么#define在编译之前就被预处理器替换掉了——编译器看到的是字面值调试器也看不到符号名。错误信息里出现的是3.14159而不是PI1024而不是BUFFER_SIZE。当你在一个大型项目里看到编译器报错说1024越界你怎么知道是哪个1024出了问题一、用const代替#define定义常量1.1 const 变量是真正的变量——有地址、有类型、能调试// C 方式——预处理器在编译前执行文本替换#definePI3.14159// C 方式——这是一个真正的常量编译器认识它调试器也认识它constdoublePi3.14159;区别#define PI→ 预处理器在编译器看到代码之前就把PI换成了3.14159。调试器不知道PI的存在。const double Pi→ 编译器产生一个只读变量有类型、有地址如果你取地址、能被调试器显示。1.2 类内常量——static const 成员// 头文件中classCircle{staticconstdoublePi;// 声明doubleradius_;public:doublearea()const{returnPi*radius_*radius_;}};// .cpp 文件中constdoubleCircle::Pi3.14159;// 定义C17 起可以用 inline 变量放在头文件对于整数类型的类内常量可以在类内直接初始化classBuffer{staticconstintDefaultSize1024;// 整数常量可以在类内初始化chardata_[DefaultSize];};1.3 C17 inline 变量——头文件中的常量定义// C17 起——在头文件中用 inline 定义常量不需要 .cpp// my_constants.h#pragmaonceinlineconstexprdoublePi3.141592653589793;inlineconstexprintBufferSize4096;inlineconstexprconstchar*AppNameMyApp;1.4 constexpr——编译期常量// const值在运行时不可变但可能在运行时才确定constintsizeget_size();// 运行时初始化// constexpr值在编译期就确定——可以用在数组大小、模板参数等编译期上下文中constexprintMaxConnections1000;intconnections[MaxConnections];// ✅ constexpr 可以当数组大小// constexpr 函数——编译期计算constexprdoublecircle_area(doubler){returnPi*r*r;}constexprdoubleareacircle_area(5.0);// 编译期计算不产生运行时开销二、用enum代替#define定义整型常量集合2.1 枚举比宏更有语义// C 方式——散落的宏没有任何关联#defineCOLOR_RED0#defineCOLOR_GREEN1#defineCOLOR_BLUE2// C 方式——这些值属于同一个颜色类型enumclassColor{Red,Green,Blue};// C11 scoped enum——不会污染命名空间enumDirection{North,East,South,West};// 传统 enumenum class比传统enum更好的原因不会隐式转换为int防止Color::Red 5这种无意义的操作枚举值在枚举名的作用域内——Color::Red而不是Red避免命名冲突2.2 enum hack——类内需要编译期整数时的传统方案classPlayer{// 传统方式——class 内不能对非整数 static const 成员初始化// static const int MaxLevel 100; // 这个其实可以但有时候需要取地址时才定义// enum hack——保证值是编译期常量不会占用对象内存enum{MaxLevel100};intlevels_[MaxLevel];// 用 enum 值作为数组大小};C11 起static constexpr已经取代了 enum hackclassPlayer{staticconstexprintMaxLevel100;intlevels_[MaxLevel];};三、用inline函数代替宏函数3.1 宏函数的致命问题// C 方式——宏函数#defineMAX(a,b)((a)(b)?(a):(b))intmain(){intx5,y10;intm1MAX(x,y);// 展开后((x) (y) ? (x) : (y))// x → 6, y → 11, 6 11 为 false// 所以执行 : 后面的 y → 12// x 被递增了 1 次y 被递增了 2 次——结果完全不可预测printf(m1%d, x%d, y%d\n,m1,x,y);// m112, x6, y12——诡异}C 的解决方案——模板 inline 函数// C 方式——类型安全参数只被求值一次templatetypenameTinlineTmax(constTa,constTb){returnab?a:b;}intmain(){intx5,y10;intmmax(x,y);// x → 6, y → 11, 比较: 6 11? 返回 11// x6, y11, m11——每个参数恰好求值一次和预期一致}3.2 为什么是inlineinline告诉编译器请在调用点展开这个函数像宏一样。但和宏不同inline只是一个建议——编译器可以选择不展开inline函数有完整的函数语义——参数求值、类型检查、作用域规则都和普通函数一样inline函数定义通常放在头文件中——每个翻译单元都能看到定义3.3 用模板 inline 函数替代所有宏函数// 所有可以用宏函数实现的都可以用模板 inline 函数实现——且更安全templatetypenameTinlineTmin(constTa,constTb){returnab?a:b;}templatetypenameTinlineTclamp(constTv,constTlo,constThi){returnvlo?lo:(hiv?hi:v);}templatetypenameTinlinevoidswap(Ta,Tb){T ta;ab;bt;}四、宏在 C 中仍然合法的场景尽管宏大多可以被替代但在某些场景下宏仍然是必要的4.1 包含头文件保护// 现代方式——#pragma once大多数编译器支持#pragmaonce// 传统方式——#ifndef / #define / #endif标准保证#ifndefMY_HEADER_H#defineMY_HEADER_H// ...#endif4.2 条件编译#ifdef_DEBUG#defineLOG(msg)std::cerr[DEBUG] msg\n#else#defineLOG(msg)// 发布版本——零开销#endif4.3 字符串化#和连接###defineTO_STRING(x)#x// 把参数变成字符串#defineCONCAT(a,b)a##b// 连接两个符号std::coutTO_STRING(hello)\n;// hellointCONCAT(my,Var)42;// int myVar 42;4.4 断言和源码位置// __FILE__ 和 __LINE__ 是宏——没有其他办法获取当前源码位置#defineASSERT(cond)\if(!(cond)){\std::cerrAssertion failed: #cond\ at __FILE__:__LINE__\n;\std::abort();\}总结Effective C 条款 1-2 的核心思想尽量让编译器和链接器代替预处理器来工作——因为编译器能给你类型安全、作用域规则、调试信息和可预测的行为用const或constexpr代替#define常量——常量的类型被编译器看到调试器能显示符号名而且有作用域用enum class代替#define枚举值——枚举值有类型不会隐式转换不会污染命名空间用模板inline函数代替宏函数——参数只求值一次类型安全遵守作用域规则能被调试器进入宏只在编译器无法替代的场景使用——条件编译、字符串化、__FILE__/__LINE__、头文件保护C17 的inline constexpr变量让你在头文件中定义常量而不需要 .cpp 定义——彻底消灭了为常量写 .cpp 文件的麻烦动手练习找一段你以前写的 C 代码把里面的#define常量和宏函数全部分别替换为constexpr变量和模板inline函数——编译对比结果是否正确代码行数是否增加写一个enum class来替代一组相关的#define常量——然后尝试将枚举值赋值给int你会看到编译错误这就是类型安全用宏写一个SQUARE(x)函数——然后故意传x进去观察副作用。对比有/没有括号的宏的展开差异写一个constexpr函数计算斐波那契数列——验证在编译期调用和运行期调用得到相同结果用#ifdef写一个跨平台的头文件——在 Windows 和 Linux 上选择不同的 API 函数