检查函数调用不作为参数传递（C 宏）

Question

在我从事的一个项目中，我们有一些实用宏，它们不止一次地引用它们的参数。

让我们用一个简单的例子：

#define ABS(a)  ( (a) < 0 ? (-(a)) : (a) )

现在这是一个庞大的代码库，当我们审查代码时，我不时发现一个函数调用被传递给一个宏。 这不是错误，但这意味着函数调用被多次调用，这是我通常不希望的。

在这种情况下，我们至少可以用fabsf、fabs、abs 替换float/double/int，但我们假设并不总是有一个好的内置替换并且宏将保持为宏。

例子：

f = ABS(dot_v3v3(vel, sp));

/* expands into */
f = ( ( dot_v3v3(vel, sp) ) < 0 ? (-( dot_v3v3(vel, sp) )) : ( dot_v3v3(vel, sp) ) );

所以我的问题是：

能否检测到宏内部使用的函数调用（作为警告或错误）？

---

部分解决方案：

这里有一些我已经检查过的东西......

比较指针

这将导致函数调用无法编译，但缺点是像 '1' 这样的常量以及像 (b - c) 这样的表达式也会出错。

#define ABS(a)  ((void)((&a) == (&a)), ( (a) < 0 ? (-(a)) : (a) ))

注意：我发现这已经很方便指出一些不好的宏使用，但由于它有误报，所以不能留下。

C11 泛型

使用_Generic，您可以将C 宏转换为内联函数的包装器。这意味着在宏中多次调用函数调用的问题消失了。

#define ABS(a) \
    _Generic((a), \
        long double: my_abs_double(a), \
        float: my_abs_float(a), \
        int:  my_abs_int(a) \
        /* ... and so on, char, long, short... etc */ \
        )

这还不是一个可行的解决方案——我们仍然支持不支持泛型的编译器。

Answer 1

我确实在MirOS C Preprocessor manual in the section on duplicating side effects 中找到了这个技巧：

 #define min(X, Y)                \
 ({ typeof (X) x_ = (X);          \
    typeof (Y) y_ = (Y);          \
    (x_ < y_) ? x_ : y_; })