高质量c/c++代码——不安全宏传参不能附带运算

BobChill

已于 2022-01-22 21:26:20 修改

阅读量3k

点赞数

分类专栏： c 文章标签：安全 c语言开发语言

于 2021-11-28 16:31:00 首次发布

本文链接：https://blog.csdn.net/BobChill/article/details/121593061

版权

本文讨论了在C/C++编程中，为何不应该在宏定义中使用带有副作用的参数表达式，以防止多次计算参数。错误的例子显示了宏可能导致的意外行为，而正确的做法是使用inline函数或GCC的__typeof__扩展来避免此类问题。同时强调，assert()宏和系统函数的参数也不应包含有副作用的代码。

摘要由CSDN通过智能技术生成

错误例子：

#define ABS(x) (((x) < 0) ? -(x) : (x))
  
void func(int n) {
  /* Validate that n is within the desired range */
  int m = ABS(++n);
 
  /* ... */
}

这段代码的问题在于宏扩展后n会做两次运算：m = (((++n) < 0) ? -(++n) : (++n));

正确例子：

#define ABS(x) (((x) < 0) ? -(x) : (x)) /* UNSAFE */
  
void func(int n) {
  /* Validate that n is within the desired range */
  ++n;
  int m = ABS(n);
 
  /* ... */
}

或者直接写出inline 函数的形式：

#include <complex.h>
#include <math.h>
  
static inline int iabs(int x) {
  return (((x) < 0) ? -(x) : (x));
}
  
void func(int n) {
  /* Validate that n is within the desired range */
 
int m = iabs(++n);
 
  /* ... */
}

GCC的扩展C中