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

Question

当涉及到可变参数函数时，为什么要提升参数，例如浮点数被提升为 double ext，它们是按什么顺序提升的？

Variadic arguments - cppreference.com

默认转化次数

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

• std::nullptr_t 转换为 void*
• float 参数被转换为 double，如 floating-point promotion
• bool、char、short 和 unscoped 枚举转换为 int 或更宽的整数类型，如 integer promotion

Answer 1

为什么要提升参数

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

您可能会想，为什么要这样指定语言。我不知道这个选择是否有公开的理由，但我怀疑答案很简单：因为 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

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

Answer 2

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

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

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

此外，它在使用其他一些可变参数函数时减少了意外。例如，Posix open 函数显示为好像它是具有 2 个或 3 个参数的重载函数，最后一个参数在 man 中指定为 mode_t 类型。事实上，C 中没有重载，因此open 没有两个版本 - 只有一个，即可变参数。

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