C预处理器: call function with same argument as parent

Question

我想定义很多函数调度程序。根据标志，我将调用其中一个。标志检查总是相同的，命名也是如此。

这是示例代码:

int myfunction(int a,int b)
{
    if (flag)
        return myfunction_flag1(a, b);
    else
        return myfunction_flag0(a, b);
}

由于此代码将对我的每个函数重复(实际用例使用的行数比 if else 更多，但出于问题目的而进行了简化)，我想将其编写为宏。

#define DISPATCHER(function_type, function_name, ...) \
function_type function_name(__VA_ARGS__)              \
{                                                     \
    if (flag)                                         \
        return function_name ## flag1(__VA_ARGS__);   \
    else                                              \
        return function_name ## flag0(__VA_ARGS__);   \
}                                                     \

然后有很多:

DISPATCHER(int, myfunction, int a, int b)
DISPATCHER(int, myfunction2, int a, int b, int c)
DISPATCHER(int, myfunction3, int a)

...

但是，我无法调用 function_name ## flag1(\__VA_ARGS__) 因为 \__VA_ARGS__ 包含参数类型。 有没有办法以另一种方式做到这一点？

Answer 1

一种可能性是将宏调用语法更改为更像 DISPATCHER(int, myfunction2, int, a, int, b, int, c) ，其中变量名称和类型作为单独传递宏参数。然后，宏扩展可以在构建原型(prototype)时使用类型信息，并在调用子函数时仅使用参数名称。这要求您按名称访问所有单独的参数，因此您必须提前知道参数的数量。许多具有不同参数计数的函数会让这个方法变得相当尴尬。

另一个选择是重构函数以使用varargs而不是单个参数。然后，宏扩展不需要处理参数列表，只需将其自己的 va_list 传递给每个子函数(现在可以进行硬编码)。这避免了宏问题，但您只是用它们来换取与 varargs 相关的问题。

最近几次我需要做这样的事情，我刚刚编写了一个简短的脚本，可以预处理源文件并生成所需的代码。具有更好文本处理能力的语言(例如 Python 或 Ruby)使这项工作变得更加容易。预处理器并不是真正为元编程而设计的，因此虽然可以让它用于类似的事情，但使用不同的工具通常更快、更容易，而且更不容易出错。