这是将 va_arg 与函数指针一起使用的正确方法吗？

Question

在这样的函数中：

typedef double(*dfun)(double);

void tab(double x, int n, ...)
{
    va_list args;

    va_start(args, n);

    printf("%5.2lf  \t", x);

    for (int i=0; i<n; i++)
    {
        dfun tmp = va_arg(args, dfun);

        printf("  %5.2lf  \t", tmp(x));
    }

    va_end(args);
}

如果我这样拉参数是不是错了：

    double(*tmp)(double) = va_arg(args, double(*)(double));

我看到了this 文章，如果它不起作用，建议使用不同的方法：

问：我无法让 va_arg 引入指向函数类型的参数。

答： 尝试对函数指针类型使用 typedef。 va_arg 宏通常玩的类型重写游戏被过于复杂的类型所阻碍，例如指向函数的类型。

就我而言，它适用于两个版本（GCC 5.2.1），这就是为什么我想知道一种方法比另一种更好吗？当我不首先键入指向函数的指针时是否存在一些潜在的错误？

Answer 1

在某些情况下使用不带 typedef 的 a 指针确实会导致问题。

标准说明va_arg 中使用的type 必须以某种方式编写，其中添加后缀* 将创建指向type 的指针：

7.16.1.1 va_arg 宏

1. 参数type应该是一个类型 指定的名称使得指向具有指定类型的对象的指针的类型可以 只需在 type 后加上 * 即可获得。

因此，为了有兼容的代码，当使用函数指针时，你应该使用 typedef，因为 * 不能作为后缀添加到函数指针类型以创建指向该类型的指针，因为语法无效：

(double)(*)(double) => (double)(*)(double)*

但它可以添加到 typedef 中：

dfun => dfun*

Answer 2

va_arg(args, type) 记录为（参见 ISO 9899:2011 §7.16.1.1 ¶2）：

va_arg 宏扩展为具有指定类型和调用中下一个参数值的表达式。参数ap 应已由va_start 或va_copy 宏初始化（没有对同一ap 的va_end 宏的介入调用）。 va_arg 宏的每次调用都会修改 ap，以便依次返回连续参数的值。参数 type 应该是一个指定的类型名称，以便指向具有指定类型的对象的指针的类型可以 只需将* 后缀到type 即可获得。如果没有实际的下一个参数，或者如果 type 与实际的下一个参数的类型不兼容（根据默认参数提升），则行为未定义，但以下情况除外：

• 一种是有符号整数类型，另一种是对应的无符号整数类型，值在两种类型中都可以表示；
• 一种类型是指向 void 的指针，另一种是指向字符类型的指针。

因此，va_arg(args, double(*)(double)) 不是对va_args 的有效调用，因为double(*)(double)* 是语法错误，而不是指向double(*)(double) 的指针类型，即double(**)(double)。因此，类型定义需要符合标准。 GNU C 编译器的优点在于它不需要这种语法限制，但您的代码可能无法与其他编译器一起编译。