c++ - 关于C++默认值的一些问题

Question

我对函数参数列表中的默认值有一些疑问

1. 默认值是签名的一部分吗？默认参数的参数类型呢？

2. 默认值存储在哪里？在堆栈或全局堆或常量数据段中？

Answer 1

不，默认参数不是签名的一部分，也不是函数类型的一部分。

参数类型是签名的一部分。但是默认参数类型对参数类型没有影响，即默认参数类型对签名没有影响。

默认参数不会“存储”在任何地方。默认参数是仅在程序编译期间存在(作为默认参数)的“语法糖”。如果在编译期间编译器发现缺少某些参数，它将使用您指定的默认参数。默认参数的评估是在调用者的上下文中完成的。如果指定一个临时对象作为默认参数，则每次使用默认参数调用函数时都会创建一个单独的临时对象，并在调用表达式结束后立即销毁。

void foo(T t = T());
// A new temporary will be used as an argument every time you call it as `foo()`

foo();
// Equivalent to `foo(T())`. A temporary is created here, passed as an argument and 
// destroyed afterwards, just like an explicit temporary would be

如果您将具有静态存储持续时间的现有对象指定为默认参数，那么它将存储在您定义它的任何位置。

T global;

void foo(T& t = global);
// In this case you are using a global object as a default argument
// It is you who "store" it wherever you want to store it

foo();
// Equivalent to `foo(global)`

如果你声明了默认参数但从未实际使用它们，即如果你每次都显式指定参数，那么编译后的程序将不会有任何这些参数的踪迹(这就是为什么我称它们为编译时“语法糖” ).

附言包括 Johannes 在下面的评论中所说的内容:即使在调用时在调用者的上下文中评估默认参数(使用时)，它也不是通过“文本替换”完成的，就像我的示例中可能出现的那样以上。最值得注意的是，默认参数中使用的名称的名称查找是在函数声明中指定默认参数时完成的，而不是在调用方的评估点完成的。