5

我发现了这个问题，我完全感到困惑。

答案b是无效的，“非静态成员不能用作默认参数。”。这很有意义。

我不明白为什么其他两个都可以。事实上，如果默认值不是常量表达式，我正在努力理解语义是什么......

这里发生了什么？默认参数在编译时明确评估。编译器是否只是选择当前值？

#include <iostream>

int g_x = 44; 

struct Foo 
{ 
  int m_x; 
  static int s_x; 

  Foo(int x) : m_x(x) {} 
  int a(int x = g_x) { return x + 1; } 
  int b(int x = m_x) { return x + 1; }
  int c(int x = s_x) { return x + 1; }
}; 

int Foo::s_x = 22; 

int main(int argc, char** argv) 
{ 
  Foo f(6); 

  std::cout << f.a() << std::endl; 
  std::cout << f.b() << std::endl; 
  std::cout << f.c() << std::endl; 

  return 0; 
}
4

3 回答 3

8

实际上，调用函数时会评估默认参数，这就是为什么可以这样做。从草案 C++ 标准部分8.3.6 默认参数中说（强调我的前进）：

每次调用函数时都会评估默认参数。未指定函数参数的评估顺序。因此，函数的参数不应在默认参数中使用，即使它们没有被评估。在默认参数之前声明的函数的参数在范围内，可以隐藏命名空间和类成员名称。

同一节中的以下示例为我们提供了为什么可以使用静态成员但不能使用非静态成员的理由：

[ 示例：以下示例中 X::mem1() 的声明格式错误，因为没有为用作初始化程序的非静态成员 X::a 提供对象。

int b;
class X {
    int a;
    int mem1(int i = a); // error: non-static member a
                         // used as default argument
    int mem2(int i = b); // OK; use X::b
    static int b;
};

然而，X::mem2() 的声明是有意义的，因为不需要任何对象来访问静态成员 X::b。类、对象和成员在第 9 条中描述。——结束示例]

于 2014-11-19T13:42:38.623 回答
7

默认参数不会在编译时进行评估。每次函数调用需要它们时都会对它们进行评估。它们可以是在函数声明的上下文中有效且具有合适类型的任何表达式，但它不能使用任何其他参数（包括this，在成员函数的情况下）。

该限制是因为未指定评估顺序，因此如果需要评估另一个参数，则无法确保参数值可用。

于 2014-11-19T13:42:27.740 回答
0

我认为这是可以理解的：g_x 和 s_x 在编译时可用，但 this（因此 this->m_x）不可用。您可以使用一个技巧来使用 m_x：

int b(int x = -1) { return x == -1 ? m_x + 1 : x + 1; }

（当然-1在这种情况下应该是非法输入。）

于 2014-11-19T13:49:56.373 回答