Question

文件windef.h使用宏定义最小/最大函数，如下所示：

#define max(a,b) ((a)>(b)?(a):(b))
#define min(a,b) ((a)<(b)?(a):(b))

然而，

It has been noted这样的定义：

遭受双重评估。
不是类型安全。

我不明白的是：

为什么/哪里有双重评估？
琐碎的重新定义__typeof__ (a) _a = (a); __typeof__ (b) _b = (b);如何帮助确保类型安全？为什么在这种情况下不进行双重评估？

Answer 1

为什么/哪里有双重评估？

理解这一点的最简单方法是运行以下代码：

#include <stdio.h>

#define max(a,b) ((a)>(b)?(a):(b))

int f1 (void) 
{ 
  printf("%s executed.\n", __func__);
  return 1; 
}

int f2 (void) 
{ 
  printf("%s executed.\n", __func__);
  return 2; 
}

int main (void)
{
  printf("Max: %d", max(f1(), f2()) );
}

输出：

f1 executed.
f2 executed.
f2 executed.
Max: 2

函数f2（）被调用两次，因为宏参数b被评估两次。

琐碎的重新定义__typeof__ (a) _a = (a); __typeof__ (b) _b = (b);如何有助于类型安全？为什么在这种情况下不进行双重评估？

因为该代码创建了两个临时变量并将评估结果存储在那里，每个变量一次。

请注意，__typeof__以及({ ... })语法不是标准C，应避免使用。链接接受的答案中的宏非常难看，而不是我推荐的。

理智解决方案是不使用宏而是使用函数：

static inline int max (int a, int b)
{
  return a > b ? a : b;
}

注意与宏观混乱相比，代码的可读性。

如果由于某种原因未知必须使用宏，请按照此处所示标准C：https://stackoverflow.com/a/30918240/584518

min / max函数的无辜宏定义有什么问题？

1 个答案: