Question

我遇到了一个测验，说下面的代码格式不正确，因为＆＃34;拥有一个构造函数是非法的，第一个也是唯一的非默认参数是类类型的值参数。＆＃34; < / p>

我无法理解。为什么像A(A a) : val (a.val) {}这样的东西被裁定为非法？为什么这样一条线在标准？是因为这会导致复制构造函数模糊不清吗？

#include <iostream>

struct A
{
  A() : val() {}
  A(int v) : val(v) {}
  A(A a) : val(a.val) {} 

  int val;
};

int main(int argc, char** argv)
{
  A a1(5);
  A a2(a1);

  std::cout << a1.val + a2.val << std::endl;

  return 0;
}

Answer 1

A(A a) : val(a.val) {}将导致无限递归，因为构造函数参数正在被值复制（调用复制构造函数和复制构造函数并且......）

Answer 2

当按值传递对象时，将调用复制构造函数。复制构造函数本身就是一个函数。因此，如果我们在复制构造函数中按值传递参数，则会调用复制构造函数来调用复制构造函数，该构造函数将成为非终止调用链。因此编译器不允许参数按值传递

已在此SO帖子上讨论过 Why should the copy constructor accept its parameter by reference in C++?

Answer 3

一切都随着const变化：

#include <iostream>

struct A
{
    A () : _a(0) {}
    A (int a) : _a(a) {}
    A (const A& a) : _a(a._a) {}
    int _a;
};

int main()
{
    A a(5);
    A b(10);
    A c(a);

    std::cout << a._a + b._a + c._a << std::endl; // 20
    return 0;
}

C ++：为什么构造函数＆＃34; A（A a）{}＆＃34;是非法的？

3 个答案: