为什么现有的函数参数不能用于计算其他默认参数？

Question

我正在编写一个函数 foo()，它接受 2 个 const char* 作为参数，pBegin 和 pEnd。 foo() 被传递一个以 null 结尾的字符串。默认情况下，pEnd 指向字符串的\0（最后一个字符）。

void foo (const char *pBegin,
          const char *pEnd = strchr(pBegin, 0))  // <--- Error
{
  ...
}

但是，我在上面一行收到错误：

error: local variable ‘pBegin’ may not appear in this context

为什么编译器不允许这样的操作？潜在的问题是什么？

Answer 1

该标准不仅明确禁止在默认参数表达式中使用其他参数，而且还解释了原因并给出了示例：

ISO/IEC 14882:2003(E) - 8.3.6 默认参数 [dcl.fct.default]

9. 每次调用函数时都会评估默认参数。
函数参数的求值顺序未指定。
因此，默认情况下不应使用函数的参数
参数表达式，即使它们没有被求值。a 的参数
在默认参数表达式之前声明的函数在范围内
并且可以隐藏命名空间和类成员名称。 [示例：

 int a;
    int f(int a, int b = a); // 错误：参数a
                                     // 用作默认参数
    typedef int I；
    int g(浮点 I, int b = I(2)); // 错误：我找到的参数
    int h(int a, int b = sizeof(a)); // 错误，使用了参数a
                                     // 在默认参数中

—结束示例] ...

Answer 2

该语言仍然提供了一种方法来完成您想要的操作 - 使用重载函数：

void foo (const char *pBegin, const char *pEnd)
{
   //...
}

void foo (const char *pBegin)
{ foo(pBegin, strchr(pBegin, 0)); }

Answer 3

调用函数时，将对默认参数进行求值，但 C++ 标准未定义它们的求值顺序。这意味着您无法在默认参数中引用其他参数，因为它们可能尚不具有已知值。

Answer 4

您不能在默认参数值中使用局部变量。

引用自此处：

标准告诉我们默认参数只是一个表达式。
有些事情是不允许的（使用局部变量，使用
关键字“this”），但几乎任何其他内容都可以作为默认值
论证。