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

Question

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

（这个问题不同，但密切相关

Not possible: this pointer as a default argument. Why?)

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) 调用，这不是编译时常量。这是一个直接来自标准的示例。

这样的原因很常见：要么没有提案，要么被拒绝，被认为没有必要或太难实施。

Answer 2

默认参数是要在函数体中使用的参数的值。此变量（即参数）的值可能会被覆盖，具体取决于函数的调用方式。但是虽然它不是 - 默认参数是该变量的 value - 并且必须定义一个值。如果这个值必须是动态的——不能在编译期间被绑定——那么也许应该更好地使用一个单独的函数来计算该值，并且似乎不适合default 领域。同样对于这样的场景，C++ 已经有了正确的机制 - Polymorphism 通过函数重载。

考虑一下： 您需要使用参数v 调用函数Fn，否则它应该默认为Fn(x)，这里v 和x 都是变量。

这可以使用函数重载轻松实现，而不必使用默认参数。

BOOL x;

VOID Fn(BOOL v)
{
     ...
}

VOID Fn()
{
    Fn(::x);
}

VOID Main()
{
    ::x = ...; // Variable x's value is altered

    Fn(FALSE);
    Fn();      // Param value defaults to value of x
}

这迫使程序员编写更好的代码，从长远来看可能是值得的。