可变参数函数 - 如何确保参数正确传递

Question

有没有什么方法（内置或代码模式）来确保向可变参数函数传递正确数量的参数？ （显然，这将作为 API 的一部分包含在内，我可以检查自己的内部代码。）

我正在考虑要求 UN32 Magic Number 作为最后一个传递的参数，并检查可变参数函数中的有效性。有人对此有什么想法吗？

Answer 1

您可以使用 PP_NARG 宏来添加半自动计数。

int myfunc (int count, ...);
#define MYFUNC(...) myfunc(PP_NARG(__VA_ARGS__), __VA_ARGS__)

MYFUNC(a,b,c,d);
MYFUNC(a,b,c,d,e,f,g);

gcc -E 产生：

int myfunc (int count, ...);

myfunc(4, a,b,c,d);
myfunc(7, a,b,c,d,e,f,g);

Answer 2

va_* 宏只是从本地堆栈中弹出变量，因此您必须信任用户。我认为传递数组/大小元组可能更安全。

Answer 3

C 或 C++ 中没有明确的方法来确保将正确数量的参数传递给可变参数函数。即使需要签名也不能保证有效，因为它可能与有效参数的值发生冲突。传递一个向量<>可能会更好。因为检索到的元素计数是准确的。

Answer 4

不能将 C++0x 的可变参数模板功能应用于函数吗？这将生成一个类型安全的 vararg 函数。

请参阅此链接，其中使用可变参数模板函数实现类型安全的 printf

http://www2.research.att.com/~bs/C++0xFAQ.html#variadic-templates

Answer 5

这取决于您所说的“确保可变参数函数传递正确数量的参数”的含义...

传递 UN32 幻数作为最后一个参数将允许您确定参数列表的结束位置，即它们的总数。因此，通过计算在 UN32 之前找到的参数数量，您就知道自己有多少个参数，并且您的函数应该知道它是否足够。不知道您是否可以在运行时确定这一点（可能为时已晚）...

无论如何，通常可变参数函数都有一个固定的参数列表部分，代表强制参数（至少一个）；所以可能这应该是您确保函数获得正确数量的参数的方法......

Answer 6

不，不可能。

可变参数以无法修复的方式破坏类型安全。

如果您想要恢复类型安全，请考虑将可变参数函数分解为多个类型安全
[小]类的成员函数，用于保存调用之间的共享状态。

这总是可能的，即使与单个变量相比，多个调用可能看起来很尴尬
称呼。

共享状态可能是您首先想要可变参数函数的原因。

以 iostream 与 printf 为例。