默认参数必须在编译时绑定 - 为什么？

Question

为什么C++这样设计？...

(这个问题不同,但与之密切相关

不可能:此指针作为默认参数.为什么？)

Answer 1

实际上,这并不完全准确.限制是:

8.3.6默认参数[dcl.fct.default]

7)不应在默认参数中使用局部变量.[例如:

void f() {
int i;
extern void g(int x = i); //error
// ...
}

- 末端的例子]

8)关键字this不得用于成员函数的默认参数.[例如:

class A {
void f(A* p = this) { } // error
};

因此,this局部变量不能用作默认值.

例如,以下内容有效:

int a = 1;
int f(int);
int g(int x = f(a)); // default argument: f(::a)
void h() {
  a = 2;
  {
    int a = 3;
    g(); // g(f(::a))
  }
}

g将使用值调用,该值f(2)不是编译时常量.这是一个直接来自标准的例子.

这样的原因通常是:要么没有提案,要么被拒绝,认为没有必要或太难实施.