C++编译器生成的默认函数

C++编译器生成的默认函数

话题引入：

对象的赋值与复制是如何进行的？他们的区别是什么？如果一个空的自定义类型能否执行这些操作？

对象赋值：通过“ = ”运算符重载

User a(10),b;

b = a;

对象复制：调用拷贝构造函数

User b;

User a(b);

或者

User a = b;  //相当于User a(b); 也是调用拷贝构造函数

 

二者的区别：赋值是对一个已经存在的对象进行赋值（已经实现定义了被赋值的对象），而复制是从无到有建立一个新的对象，并使它与已有的对象相同。

浅复制与深复制：若对象中有指针成员，在复制时，只会将该指针成员的地址复制给新建立的对象，因此，两个对象中的指针成员都指向了同一块内存区域，在释放时会出现重复释放的问题。需要手动定义拷贝构造函数，在构造函数中将为指针变量分配新的内存，是不同对象的指针成员指向不同的内存区域。

 

用到拷贝构造函数的三种情况：

1、需要建立一个新对象，并用另一个同类对象对其进行初始化

2、函数的参数为类的对象时，在调用函数时需要建立一个实参的拷贝，按实参复制一个形参，系统是通过调用拷贝构造函数实现的

3、函数的返回值是类的对象：函数调用结束时，需要将函数中的对象复制一个临时对象，并传给该函数的调用处。

User getUser()
{  
User temp;  
return temp;
}
int main()
{  
User user = getUser();//调用getUser();
}

 

getUser()函数调用结束时，getUser中建立的对象temp的生命周期结束（即将销毁），所以不是将temp带回main,而是在执行return语句时，调用User类的拷贝构造函数，按temp拷贝一个新的、对象，然后将它赋值给user.

 

 

编译器提供的默认函数：

以上提到了对象的拷贝构造和赋值运算，如果是自定义类型想进行这些操作，还需要额外的函数定义吗？答案是：如果没有特殊要求则不需要，编译器已经给我们提供了默认实现。只是需要注意的是这些默认实现是按位复制的浅复制方式。

 

定义一个空的C++类，例如

class Empty
{
}

 

一个空的class在C++编译器处理过后就不再为空，编译器会自动地为我们声明一些member function，一般编译过去就相当于

class Empty
{
public:
Empty();              // 缺省构造函数
Empty( const Empty& );  // 拷贝构造函数
~Empty();             // 析构函数
Empty& operator=( const Empty& ); // 赋值运算符
Empty* operator&();    // 取址运算符
const Empty* operator&() const; // 取址运算符 const
};

 

下面给出一个完整实现这些函数的类型定义示例：

class Student
{
public:
	Student();  //构造函数
	~Student(); //析构函数
	Student( const Student& stu ); //拷贝构造函数
	Student& operator=( const Student& stu); //赋值运算符
	bool operator==(const Student& stu) const; //==运算符重载

public:
	char Name[10];
	int Age;
};

//构造函数
Student::Student()
{
	TRACE("Student的构造函数\r\n");
}

//析构函数
Student::~Student()
{
	TRACE("Student的析构函数\r\n");
}

//拷贝构造函数
Student::Student( const Student& stu)
{
	TRACE("Student的复制构造函数\r\n");
	sprintf(Name, stu.Name);
	Age = stu.Age;
}

//赋值运算符
Student& Student::operator=( const Student& stu)
{
	TRACE("Student的赋值运算符\r\n");
	//此处应该先释放该对象的成员变量指向原有内存（该类型不涉及）
	//...
	sprintf(Name, stu.Name);
	Age = stu.Age;

	return *this;
}

bool Student::operator==( const Student& stu) const
{
	TRACE("==运算符\r\n");
	return strcmp(Name, stu.Name) == 0 && Age==stu.Age;
}