《 嵌入式 C 语言宏的高级编程技巧与实战》大家好我是杂烩君。我们一起来看看libevhtp这个高性能HTTP服务器库中用到的宏高级技巧。1. 分支预测优化现代CPU都有分支预测器一旦预测错误流水线得全部冲掉性能瞬间暴跌。libevhtp用 __builtin_expect 给编译器提个醒。1.1 likely/unlikely宏关键在这个 !!(x) 的双重否定int x 5 ; !x // 0 (false) !!x // 1 (true) - 把任意值规范化为0或1__builtin_expect(!!x, 1) 告诉编译器这个条件大概率是true。1.2 错误处理中的应用错误处理代码99%的时间都不会执行用 unlikely 能显著提升性能错误处理代码99%的时间都不会执行用 unlikely 能显著提升性能编译器会把unlikely的分支移到函数末尾让主路径保持紧凑提高指令缓存命中率。1.3 跨平台兼容性注意看#else分支不支持 __builtin_expect 的编译器上宏会退化成普通判断。功能不受影响只是少了优化。一份代码多种实现这就是宏的魅力。2. Token拼接#### 操作符能把两个token粘在一起让我们在编译期就生成代码效果堪比C模板。2.1 命名规范的统一libevhtp有个设计很讲究hook回调函数和它的参数总是成对出现每次都手写这两个字段代码得累死。用 ## 自动拼#defineHOOK_ARGS(var, hook_name)\ var-hooks-hook_name##_arg看看展开效果HOOK_ARGS(request, on_headers) → request-hooks-on_headers_arg HOOK_ARGS(request, on_path) → request-hooks-on_path_arg HOOK_ARGS(request, on_read) → request-hooks-on_read_arg一个宏所有hook都适用。这种命名规范统一起来维护代码轻松多了。2.2 简化深层访问libevhtp还用这招简化深层结构体的访问/* rc request-conn. 简化深层访问 */ #definerc_scratchconn-scratch_buf #definerc_parserconn-parser /* ch_ conn-hooks-on_... */ #definech_fini_arghooks-on_connection_fini_arg #definech_finihooks-on_connection_fini /* cr_ conn-request */ #definecr_statusrequest-status #definecr_flagsrequest-flags #definecr_protorequest-proto代码里就能这样写// 原本要写 if(request-conn-request-status 200){...} // 简化后 if(cr_status 200){...}不仅简洁更关键的是将来结构体改了只需要改宏定义业务代码一行不用动。2.3 函数名自动生成在数据结构库中 ## 还能生成完整的函数名。libevhtp的tree.h里就有这样的用法#defineRB_INSERT(name, x, y) name##_RB_INSERT(x, y) #defineRB_REMOVE(name, x, y) name##_RB_REMOVE(x, y) #defineRB_FIND(name, x, y) name##_RB_FIND(x, y) #defineRB_MIN(name, x) name##_RB_MINMAX(x, RB_NEGINF) #defineRB_MAX(name, x) name##_RB_MINMAX(x, RB_INF)使用时RB_HEAD(test, node) head; // 自动生成test_RB_INSERT, test_RB_FIND 等函数 RB_INSERT(test,head, new_node); node_t *found RB_FIND(test,head, key);这就是编译期代码生成每个树类型都有独立的函数集类型安全零运行时开销。3. 可变参数宏##__ VA_ARGS__C99引入了可变参数宏但真正好用的是GNU的 ##__VA_ARGS__ 扩展。它能自动处理空参数这在日志系统中简直是救命稻草。3.1 ##的吞逗号魔法先看libevhtp的日志是怎么实现的#if!defined(EVHTP_DEBUG) #definelog_debug(M,...) #else #definelog_debug(M,...)\ fprintf(stderr,__log_debug_color(DEBUG) \ %s/%s:%-9dM \n,\ __FILENAME__, __FUNCTION__,__LINE__,##__VA_ARGS__) #endif关键在这个 ##__VA_ARGS__ 。为什么要用 ## 看两个调用log_debug(Connection established);// 没有参数 log_debug(Received %d bytes, bytes_read);// 有参数如果没有 ## 第一行会展开成fprintf(stderr,DEBUG %s/%s:%-9dConnection established\n, __FILENAME__, __FUNCTION__,__LINE__,);// 注意最后多了个逗号这会直接编译错误。 ##__VA_ARGS__ 的妙处就在这当 __VA_ARGS__ 为空时它会自动把前面的逗号吃掉// 有参数时 fprintf(stderr,...\n, file, func, line, bytes_read); // 无参数时 fprintf(stderr,...\n, file, func, line);// 逗号消失了3.2 嵌套可变参数宏更骚的操作是嵌套使用把可变参数一层层传下去这个宏接受可变参数然后原样转发给函数调用。这招让宏能适配任意数量的参数是C语言泛型编程的基石。看看效果// 0个额外参数 HOOK_REQUEST_RUN(req, on_headers_start); // 1个额外参数 HOOK_REQUEST_RUN(req, on_header, header); // 2个额外参数 HOOK_REQUEST_RUN(req, on_read, buffer, length);一个宏所有场景通吃。4. 字符串化## 操作符能把宏参数转成字符串这是C语言编译期反射的关键。4.1 断言信息自动生成标准的 assert 只告诉你挂了但不告诉你为啥挂。libevhtp用 # 把条件表达式也打出来#defineevhtp_assert(x)\ do{\ if(evhtp_unlikely(!(x))){\ fprintf(stderr,Assertion failed: %s (%s:%s:%d)\n,\ #x,__func__,__FILE__,__LINE__);\ fflush(stderr);\ abort;\ }\ }while(0)看展开效果evhtp_assert(conn !); // 展开后 if(!(conn !)){ fprintf(stderr,Assertion failed: %s (%s:%s:%d)\n, conn ! ,// #x 自动转成字符串 __func__,__FILE__,__LINE__); abort; }错误信息直接包含源代码调试时一眼就知道哪出问题了。4.2 带格式化的断言更进一步把 # 和可变参数组合起来#defineevhtp_assert_fmt(x, fmt,...)\ do{\ if(evhtp_unlikely(!(x))){\ fprintf(stderr,Assertion failed: %s (%s:%s:%d) fmt \n,\ #x,__func__,__FILE__,__LINE__, __VA_ARGS__);\ fflush(stderr);\ abort;\ }\ }while(0)使用evhtp_assert_fmt(len MAX_BUF_SIZE, Buffer overflow: len%zu, max%zu, len, MAX_BUF_SIZE);输出Assertion failed: len Buffer overflow: len8192, max4096既有条件表达式又有具体数值定位问题快多了。4.3 编译期文件名优化__FILE__ 会包含完整路径在嵌入式系统里太浪费ROM了。libevhtp有个巧招#define__FILENAME__\ (strrchr(__FILE__,/)?strrchr(__FILE__,/)1 :__FILE__)这是一个常量表达式编译器会在编译期计算出结果// __FILE__ /home/LinuxZn/project/src/evhtp.c // __FILENAME__ evhtp.c因为是常量表达式编译器会在编译期算好最终二进制里只有文件名完整路径被优化掉了。嵌入式系统每个字节都金贵这招能省不少空间。5. 总结掌握这些宏技巧能一定程度帮助我们写出高性能又好维护的嵌入式代码。记住一点能用内联函数就用内联函数只有宏能解决的场景才上宏。宏虽强大但别滥用。— 硬核、原创、实战、高价值的资源合集 —成就百万电子人