在C中将类型作为参数赋予va_arg

Question

va_arg(a,type)宏扩展为__builtin_va_arg(a,type) ，它是编译器的内置部分。

是否可以实现基于类型的功能，如果是，如何？

Answer 1

请注意， va_arg无法确定传递给函数的参数的实际类型，但使用作为类型宏参数传递的任何类型作为其类型。

让我们看看va_arg是如何工作的， 这里有一种可能性

#define va_arg(ap,t) (*(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)))

首先，它是一个MACRO而不是一个功能。

如果你想写一个类型基MACRO和var_arg ，你有两个主要的工具， pointers和sizeof 。

您可以使用sizeof步骤增加/减少/查找指针。

Answer 2

使用预处理器，您确实可以实现基于类型的功能，尽管它是有限的。 不要忘记#define指令与复制/粘贴一起使用，因此您无法比较C标准中的类型，例如（*）。

但是，您可以重用type参数来构建类型泛型函数。 以下是min通用函数的示例：

#define DEFINE_MIN(type)        \
int min_##type(type a, type b)  \
{ return a < b ? a : b; }       

顺便说一下， gcc扩展名typeof给出了表达式的类型（它不再依赖于程序员参数）。 此外，最近，C11 _Generic关键字允许您为不同类型的表达式编写不同的处理方式。

（*）对于va_arg ， type参数通常用于获取type和type*的大小。