什么时候empty class(空类)不再是个empty class呢?当C++处理过它之后。是的,如果你自己没声明,编译器就会为它声明(编译器版本的)一个copy 构造函数、一个copy assignment操作符和一个析构函数。此外如果你没有声明任何构造函数,编译器也会为你声明一个default构造函数。所有这些函数都是public且inline。因此,如果你写下:
class Empty {};
这就好像你写下这样的代码:
1.编译器产出的析构函数是个non-virtual,除非这个class 的base class自身声明有virtual析构函数(这种情况下这个函数的虚属性(virtualness)主要来自base class)。
2.如果手动声明了一个构造函数,编译器不再为它创建default构造函数.
3.默认赋值运算符不能生成的3种情况:数据成员是引用型、const型或者父类的赋值运算符声明为private。例如:
class Empty {};
这就好像你写下这样的代码:
class Empty
{
public:
Empty(){.....} //default构造函数
~Empty(){.....} //析构函数
Empty(const Empty & rhs) {.....} //copy构造函数
Empty & operator=(const Empty & rhs) {.....} //copy assignment操作符
};
惟有当这些函数被需要(被调用),它们才会被编译器创建出来。下面代码造成上述每一个函数被编译器产出:
Empty e1; //default构造函数
//析构函数
Empty e2(el);//copy构造函数
e2 = e1; //copy assignment操作符
需要注意的:
1.编译器产出的析构函数是个non-virtual,除非这个class 的base class自身声明有virtual析构函数(这种情况下这个函数的虚属性(virtualness)主要来自base class)。
2.如果手动声明了一个构造函数,编译器不再为它创建default构造函数.
3.默认赋值运算符不能生成的3种情况:数据成员是引用型、const型或者父类的赋值运算符声明为private。例如:
#include <iostream>
#include <string>
class Dog
{
public:
Dog(const std::string& name, const int age)
{
this->name = name;
this->age = age;
}
~Dog(){ }
private:
std::string& name;
const int age;
};
void main()
{
std::string name1("Big Yellow");
std::string name2("Big Yellow");
Dog bigYellow1(name1, 3); // 大黄1于去年归西了
Dog bigYellow2(name2, 4);
bigYellow1 = bigYellow2; // 大黄2取代了大黄1的位置
// error C2582: “operator =”函数在“Dog”中不可用
}
导致error是因为C++并不允许"让reference改指向不同对象",且更改const成员是不合法的。
#include <iostream>
#include <string>
class Animal
{
public:
~Animal(){};
private:
Animal & operator=(const Animal & rhs); //copy assignment 操作符
};
class Dog :public Animal
{
public:
Dog(const std::string& name, const int age)
{
this->name = name;
this->age = age;
}
~Dog(){ }
private:
std::string name;
int age;
};
void main()
{
std::string name1("Big Yellow");
std::string name2("Big Yellow");
Dog bigYellow1(name1, 3); // 大黄1于去年归西了
Dog bigYellow2(name2, 4);
bigYellow1 = bigYellow2; // 大黄2取代了大黄1的位置
// error C2248: “Animal::operator =”: 无法访问 private 成员(在“Animal”类中声明)
}
导致error是因为如果某个base classes将copy assignnment操作符声明为private,编译器将拒绝为其derived classes生成一个copy assignment操作符。毕竟编译器为derived classes所生的copy assignment操作符想象中可以处理base class成分,但它们当然无法调用derived class无权调用的成员函数,此时编译器就无能为力了。