当涉及到可变函数时，为什么要提升参数？

Question

当涉及到变量函数时，为什么参数会被提升，例如浮点被提升为双ext，以及它们的提升顺序是什么？

可变参数-cppreference.com

当调用变量函数时，在左值到右值、数组到指针和函数到指针的转换之后，作为变量参数列表一部分的每个参数都会经历额外的转换，称为默认参数提升：

• std::nullptr_t转换为无效*
• 浮点参数转换为浮点提升中的双精度
• bool、char、短枚举和非作用域枚举被转换为int或更宽的整数类型，如整数提升

Answer 1

提升变量函数的参数使处理它们变得更加容易。由于函数代码不知道函数签名中参数的实际类型，因此调用必须通过其他方式传达类型，并且提升在不牺牲灵活性的情况下减少了选项的数量。

例如，考虑变量函数的经典示例-printf。当你给它一个参数时，它已经知道这个参数是双精度的，因为它会被提升。如果没有提升，则必须存在两个不同的修饰符，一个用于单精度，另一个用于双精度。

另一个例子是整体促销。目前，任何类型都可以使用修饰符，虽然短版本的修饰符确实存在，但不需要使用它们，可以简化其代码。

此外，当使用其他一些可变函数时，它提供了更少的惊喜。例如，Posix打开函数被显示为具有2个或3个参数的重载函数，最后一个参数在man中指定为模式t。事实上，C中没有重载，因此没有两个版本的open，只有一个版本，它是可变的。

如果没有促销，则必须确保当使用3参数版本时，最后一个参数恰好是mode_t类型，这将非常不方便、违反直觉，并且不这样做可能会导致非常意外的行为。自动促销使我们免于这种情况。

Answer 2

为什么要提升参数

因为这就是语言的指定方式。

你可能会想，为什么语言是这样指定的。我不知道这个选择是否有公开的理由，但我怀疑答案很简单：因为C语言就是这样被指定的

你可能会想，为什么C语言是这样指定的。标准文件N1256讨论了C99标准某些选择的设计原理。它似乎没有涵盖这一选择。此外，C语言早在标准化之前就存在了，C99甚至不是第一个标准版本。在委员会参与之前，这种行为可能已经存在。

值得一提的是，同样的提升规则也适用于调用尚未声明的函数（直到C99），或通过未声明参数的原型调用固定参数函数：

// this is C lanugage
void fun();

int main(int, char [][]) {
    float f = 42;
    fun(f); // argument promotes to double

    undeclared(f); // ill-formed since C99
                   // argument promotes to double prior to C99

这样做的原因可能类似于在可变参数列表的情况下提升的原因。