拷贝构造函数的参数类型必须是引用,通常是常量引用(const reference),是因为拷贝构造函数在创建对象的副本时需要获取源对象的值。
当拷贝构造函数的参数不是引用类型时,而是传值(by value),会触发另一个拷贝构造函数的调用。这样就形成了无限递归的循环,导致栈溢出或程序崩溃。
使用引用作为参数类型,可以避免这种递归调用的问题。通过引用,拷贝构造函数只会获取源对象的引用,并不会触发额外的拷贝构造函数调用。
另外,常量引用作为参数类型可以接受常量对象和非常量对象,使拷贝构造函数更加灵活。如果参数类型是非常量引用,那么拷贝构造函数只能接受非常量对象作为参数,无法接受常量对象。
总结起来,拷贝构造函数的参数类型必须是引用(通常是常量引用),以避免递归调用和提供更大的灵活性。