通过一个示例说明:
#include <iostream>
using namespace std;
class A
{
public:
A() { cout << "Create A" << endl; };
A(A &x) { cout << "A(A&x)" << endl; };
A(const A &x) { cout << "const A(A&x)" << endl; };
A operator= (A&a) { cout << "operator=" << endl; };
A operator= (const A&a) { cout << "const operator=" << endl; };
};
void func1(const A& a)
{
A aa = a;
}
int main()
{
A aaa;
func1(aaa);
while (1);
}
主函数里调用func1,参数aaa作为实参传入,赋给aa参数。整个主函数发生了两次拷贝,一次是创建aaa对象本身的时候,另一次是func1函数里形参a赋值给aa的时候,不同的是前一个是默认构造,后一个是复制构造,总之是发生了两次拷贝。如果不用引用那就会多发生一次拷贝,造成资源浪费。
问题:那为何const A&类型可以赋值给const A类型呢,而const A类型不能赋值给A类型?下面说一下我的理解:
1)、从内存上来看:const A&类型参数是一个常量引用,存储的是一个指向A类型对象的地址,只能作为一个引用来访问一个已经存在的对象;const A 类型参数是一个常量对象,它在内存中直接存储 A 类型的对象,占用自己的内存空间
2)、从含义上看:const A& 类型参数表示一个对 A 对象的只读引用。它保证了被引用对象的值不会被修改,也可以避免拷贝;const A 类型参数表示一个不可修改的 A对象。它是一个独立的常量对象,值在定义时已确定,且不能被修改
当 const A& 类型参数赋给 A 类型参数时,编译器可以自动进行类型转换和赋值操作,因为 const A& 类型参数本身就是对一个 A 对象的引用;而const A 类型参数赋给 A 类型参数时,由于它们是不同的类型,无法直接进行赋值操作
现在来看上面示例中func1的形参也可以不用引用,因为用引用当赋值给aa参数时还会发生拷贝。其实还是需要用引用,唯一目的就是减少主函数调用func1时实参传入时发生的那一次拷贝。