c - 如何创建具有自定义标记值的可变参数函数？

Question

gnu C 的文档指出，如果函数有 __attribute__((sentinel))，它必须有 NULL 作为函数的最后一个参数。

是否可以使用任何其他值作为结束参数列表的标记？

Answer 1

您可以使用任何您想要标记参数列表末尾的值，前提是您足够了解它并从参数列表中获取它。不过，编译器通常不会检查您选择的值是否在调用函数时实际传递，因此您需要小心处理。

本质上，您只是以通常的方式创建一个可变参数函数，在函数内部，当您读取与您的标记匹配的参数时，您将停止读取参数——没有什么特别需要做的，但您需要知道参数的类型阅读。

例如:

#include <stdarg.h>

/* Count arguments up to the number 5 */
int countArgsTilFive(int first, ...)
{
  int res = 1;
  va_list ap;
  if (first == 5) return 0;
  va_start(ap,first);
  while (va_arg(ap,int) != 5) res++;
  va_end(ap);
  return res;
}

...将计算在 5 之前出现的所有参数。但是，如果您不在列表中的某处将 5 传递给它，或者如果您传递给它的参数不是 int，则可能会发生不好的事情。

另一个指针示例，其中一个哨兵节点作为第一个参数传递，并再次作为最后一个参数传递:

/* Count arguments, excluding the first, until the first occurs again */
int countPtrs(void *sentinel, ...)
{
  int res = 0;
  va_list ap;
  va_start(ap,sentinel);
  while (va_arg(ap,void *) != sentinel) res++;
  va_end(ap);
  return res;
}