使用具有可变数量参数的宏编写函数

Question

如何编写具有可变数量参数的宏来定义函数？假设我们用 2 个参数定义类 class1，用三个参数定义类 class2。

class class1 {
public:
   int arg1;
   int arg2;
   class1(int x1, int x2): arg1(x1), arg2(x2) {}
};
class class2 {
public:
   int arg1;
   int arg2;
   int arg3;
   class1(int x1, int x2, int x3): arg1(x1), arg2(x2), arg3(x3) {}
};

对于我定义的每个类，甚至是在我想要编写以下内容之前已经定义的类：

template<> inline void writeInfo<class1>(const class1& obj, FILE* fp) {
    writeAmount(2, fp);
    writeName("arg1", fp);
    writeInfo(obj.arg1, fp);
    writeName("arg2", fp);
    writeInfo(obj.arg2, fp);
}
template<> inline void writeInfo<class2>(const class2& obj, FILE* fp) {
    writeAmount(3, fp);
    writeName("arg1", fp);
    writeInfo(obj.arg1, fp);
    writeName("arg2", fp);
    writeInfo(obj.arg2, fp);
    writeName("arg3", fp);
    writeInfo(obj.arg3, fp);
}

我们不需要关心writeAmount、writeName 或writeInfo 的定义。我想做的是写这样的东西：

MACROWRITEINFO(class1, 2, arg1, arg2);
MACROWRITEINFO(class2, 3, arg1, arg2, arg3);

是否可以创建这样的宏，以便它可以扩展到上述模板定义？我在很多地方都读到宏是邪恶的，但在这种情况下，我相信它们非常有帮助，因为它们会减少我输入的代码量，从而减少我在创建模板函数。

Answer 1

首先，您应该改进您的格式/代码。您的代码在类定义后缺少“类”关键字和分号 - 当您发布 sn-p 时，请确保它是正确的代码，因为有些人（即我）会尝试编译它。

其次，不要使用函数模板特化。如果宏是邪恶的，那么它们一定是撒旦的化身。只需坚持旧的重载即可。详情请见here。

至少 - 一个答案。如果 all args 的类型相同，您可能会弄乱可变参数宏 - 例如，您可以在 writeInfo 函数中创建一个数组并迭代元素。由于这里显然不是这种情况，您可以为不同数量的参数定义 MACROWRITEINFO 宏的许多变体，使用一些通用块来减少代码重复。例如：

#define MACROWRITEINFO_BEGIN(type, amount)  \
void writeInfo(const type& obj, FILE* fp)   \
{                                           \
    writeAmount(amount, fp);

#define MACROWRITEINFO_NAMEINFO(name)       \
    writeName(#name, fp);                   \
    writeInfo(obj.##name, fp);

#define MACROWRITEINFO_END()                \
}

使用这些，您现在可以根据参数数量定义变体。

#define MACROWRITEINFO1(type, arg1) \
    MACROWRITEINFO_BEGIN(type, 1)   \
    MACROWRITEINFO_NAMEINFO(arg1)   \
    MACROWRITEINFO_END()

#define MACROWRITEINFO2(type, arg1, arg2) \
    MACROWRITEINFO_BEGIN(type, 2)   \
    MACROWRITEINFO_NAMEINFO(arg1)   \
    MACROWRITEINFO_NAMEINFO(arg2)   \
    MACROWRITEINFO_END()

等等……

编辑： 好吧，我想是可以在这里使用可变参数宏。看看这个SO question。这是纯粹的疯狂，但你应该能够实现你想要的。

编辑： 我的想法是将可变参数扩展为数组，然后对其进行迭代；如果它们是同一类型，比如说 int，你可以这样写：

#define VAARGSSAMPLE(...) \
    int args[] = { __VA_ARGS__ }; \
    for (int i = 0; i < sizeof(args)/sizeof(int); ++i) \
    { \
        printf("%d\n", args[i]); \
    }

VAARGSSAMPLE(1, 5, 666);

因此，如果所有变量都属于同一类型，则可以将它们放入数组中。但他们不是，所以它不会做。如果您真的非常想坚持使用可变参数，请转到我的第一次编辑。

Answer 2

我认为使用宏无法做到这一点。您可以使用可变参数（variadic），但不能生成依赖于参数的代码。

我建议您创建一个 DSL（例如简单的 xml..）并从中生成代码。这是更清洁和良好的做法。

你可以这样做：

<writeInfos>
    <writeInfo class="class1" amount="3">
        <arguments>
            <argument>arg1</argument>
            <argument>arg2</argument>
        </arguments>
    </writeInfo>
</writeInfos>

然后从中创建源代码。您应该在构建过程中添加此步骤。

但是你也可以定义一些更简单的东西..你可以把你的 MACROWRITEINFO “函数”放在一个文本文件中并自己解析它..