C++：为什么构造函数 "A(A a) {}" 是非法的？

Question

我遇到了一个测验，说下面的代码格式错误，因为 "It is illegal to have a constructor whose first and only non-default argument is a value parameter for the class type."

我无法理解。为什么像 A(A a) : val (a.val) {} 这样的东西被裁定为非法？为什么在标准中有这样一条线？是因为这样会导致copy constructor产生歧义吗？

#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 post 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++：为什么构造函数 "A(A a) {}" 是非法的？

C++: why constructor "A(A a) {}" is illegal?

c++

constructor