深入理解C++拷贝构造函数：为什么必须按引用传递参数？

为什么拷贝构造函数必须传引用？

参数传递机制

在C++中，有两种主要的参数传递方式：

1. 按值传递（Pass by Value）：
   • 这意味着在参数传递时，会创建参数对象的副本。
   • 对于内置类型，这种拷贝操作非常高效。
   • 对于用户定义的类型，副本的创建需要调用拷贝构造函数。
2. 按引用传递（Pass by Reference）：
   • 这意味着在参数传递时，不会创建副本，而是传递对象的引用（指针）。
   • 传递引用时不涉及副本创建，因此不会调用拷贝构造函数。

拷贝构造函数的递归问题

拷贝构造函数的主要作用是复制一个对象。当我们定义一个按值传递的拷贝构造函数时，编译器必须在调用时创建该参数的副本，这意味着再次调用拷贝构造函数。这样就进入了一个无限递归的调用过程，最终导致栈溢出。

示例代码及说明

#include <iostream>

class MyClass {
public:
    int value;
    
    // 拷贝构造函数，按引用传递
    MyClass(const MyClass& other) {
        value = other.value;
        std::cout << "Copy constructor called" << std::endl;
    }

    // 普通构造函数
    MyClass(int val) : value(val) {}
};

void printValueByValue(MyClass obj) {
    // 按值传递，会调用拷贝构造函数
    std::cout << obj.value << std::endl;
}

int main() {
    MyClass a(10);
    printValueByValue(a);

    return 0;
}

/*
Output:
Copy constructor called
10
*/

// 解释：这里的拷贝构造函数通过引用传递参数，所以只调用了一次拷贝构造函数。

无限递归问题示例

为了更清楚地理解为什么按值传递会导致无限递归，我们不妨尝试错误的实现：

/*
#include <iostream>

class MyClass {
public:
    int value;

    // 错误示例：拷贝构造函数按值传递
    MyClass(MyClass other) {
        value = other.value;
        std::cout << "Copy constructor called" << std::endl;
    }

    MyClass(int val) : value(val) {}
};

int main() {
    MyClass a(10);
    // 这行调用会导致无限递归
    MyClass b = a; 

    return 0;
}

Output: (将会导致栈溢出，无法正常运行)
*/

// 解释：这里的拷贝构造函数按值传递参数，因此在调用拷贝构造函数时，需要先创建参数的副本，这会再次调用拷贝构造函数，导致无限递归。

结论

1. 按值传递：对于内置类型，原理简单，效率高；但是，对于用户定义类型，调用复杂，涉及拷贝构造函数。
2. 按引用传递：可以避免不必要的拷贝，提升效率，且不会触发拷贝构造函数调用。

因此，拷贝构造函数必须通过引用传递参数来避免无限递归调用问题，并提高效率。