Question

上述代码不起作用。实际上，f的构造函数中的默认构造对象Foo抱怨未在范围中声明值val。我不明白为什么没有申报。

struct Foo2
{
  Foo2(int val)
  {}
};

struct Foo
{
  Foo(int val, Foo2 f = Foo2(val))
  {}
};

int main()
{
  Foo f(1);
  return 0;
}

Answer 1

根据C ++标准（8.3.6默认参数）：

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

在任何C ++（不仅仅是C ++ 2014）中，您都可以重载构造函数。例如

struct Foo
{
  Foo(int val )
  { Foo2 f(val); /*...*/ }
  Foo(int val, Foo2 f )
  {}
};

或者您可以使用委托构造函数（如果您的编译器支持新标准）

struct Foo
{
  Foo(int val ) : Foo( val, Foo2( val ) )
  {}
  Foo(int val, Foo2 f )
  {}
};

Answer 2

这就是语言的运作方式;默认参数不能依赖于其他参数，因为它们的初始化顺序未指定。

在C ++ 11或更高版本中，您可以通过重载解决此问题：

Foo(int val) : Foo(val, Foo2(val)) {}

Answer 3

struct Foo2
{
    int x;
    Foo2(int val): x(val) {}
};

struct Foo
{
    int y;
    Foo2 f2;
    Foo(int val, Foo2 f): y(val), f2(f) {}
    Foo(int val): y(val), f2(val) {}
};

int main()
{
    Foo f(1);
}

Answer 4

您可以使用模板来解决此问题：

struct Foo2
{
  Foo2(int val)
  {}
};

template <int val>
struct Foo
{
  Foo(Foo2 f = Foo2(val))
  {}
};

int main()
{
  Foo<1> f = Foo<1>(); 
  return 0;
}

在构造函数中的default-construct对象中未声明变量

4 个答案: