定义一个空类:
class Emtpy { ... };
编译器会在头文件中悄悄声明(仅仅是声明)四个函数:
默认构造函数、析构函数、拷贝构造函数、拷贝赋值函数。
实际实现为:
class Empty
{
public:
Empty();
~Empty();
Empty(const Empty&);
Empty& operator = (const Empty&);
};
如果有相应的函数调用,再定义**(这是是定义)**相应的函数。
编译器为下面的调用定义了默认构造函数、拷贝构造函数、拷贝赋值函数、析构函数。
Empty one;
Empty two(one);
one = two;
- 默认构造函数和析构函数,对于其中的base class部分和non-static成员,调用相应的默认构造函数和析构函数。
- 拷贝构造函数使用源对象的各个成员作为参数调用各自拷贝构造函数构造目标对象的相应成员。
- 拷贝赋值函数使用源对象的各个成员调用各自拷贝赋值函数对目标对象的相应成员就行赋值。
对于编译器主动生成的函数,编译器定义其实现时,必须满足语法规则。否则编译器就不实现其定义(声明仍在)。
class Student1
{
public:
...
private:
const std::string m_name;
};
对于类Student1, 编译器会生成默认构造函数、析构函数、拷贝构造函数。
不会生成拷贝赋值函数,因为const对象不能修改其值。
class Student2
{
public:
...
private:
std::string& m_addr;
};
对于类Student2, 编译器会生成析构函数、拷贝构造函数。
不会生成默认构造函数、拷贝赋值函数。
不会生成默认构造函数,因为非常量引用不能使用右值进行初始化。
不会生成拷贝赋值函数,因为引用不能改指向其他值。
请记住:
- 编译器可以暗自为class创建default构造函数、copy构造函数、copy assignment操作符、以及析构函数。