C实现可变参数泛型函数

可变参数函数是指在调用时可以传递任意个数的参数的函数，但这种函数难以作为泛型函数使用。在C语言中，我们可以用va_list类型和相关宏来处理可变参数，然而这对泛型函数仍然不够友好。

解决这个问题的一个方案是使用GCC扩展的typeof和statement expressions来定义一个可以接受任意类型和数量参数的函数。以下是一个示例代码：

#include <stdio.h>

// 定义泛型的 min 函数
#define MIN(a, b) \
({ \
    typeof(a) _a = (a); \
    typeof(b) _b = (b); \
    _a < _b ? _a : _b; \
})

int main() {
    // 使用泛型 min 函数求两个数字的最小值
    int x = 1;
    int y = 2;
    printf("%d\n", MIN(x, y));

    // 使用泛型 min 函数求两个字符串的最小值(按字典序)
    char s1[] = "apple";
    char s2[] = "banana";
    printf("%s\n", MIN(s1, s2));

    return 0;
}

这个例子中，我们使用宏定义了一个泛型的min函数。在宏定义中，我们使用了GCC的扩展typeof来声明变量的类型，然后用statement expressions的形式给出了泛型函数的实现。

通过这种方式，我们可以直接调用泛型函数并且不需要考虑参数的类型和数量，非常方便。