C++和其他面向对象语言一样是提供继承机制的,一个简单的继承关系如下:
class Animal {
public:
string name;
virtual ~Animal(){}
};
class Cat :public Animal {
//operation
};
使用继承的时候要注意一个地方,如果要用new来创建这些有继承关系的类的实例的话,那每一个类的析构函数都要声明为virtual,否则会在一些奇怪的地方出现问题。如果一个类(cat)的父类(animal)的析构函数是virtual的,那么他自己的析构函数就自动变为virtual
类指针使用误区:
Cat cat;
Cat* pCat = &cat;
Animal& animal = cat;
Animal* pAnimal = pCat;
子类的引用和指针都可以隐式地转换为父类的引用和指针。所以在这个例子里,四者都代表同一个对象,只要你修改了cat.name,pCat->name, animal.name或者pAnimal->name的其中一个,那么另外三个都会同时被改变
dynamic_case类:
通过这个指针可以去判断一个类是不是对应的子类
classB
{
public:
int m_iNum;
virtual void foo();
};
classD:publicB
{
public:
char* m_szName[100];
};
void func(B* pb)
{
D* pd1=static_cast<D*>(pb);
D* pd2=dynamic_cast<D*>(pb);
}
这里B是一个基类,D是继承于B的子类,dynamic_cast会进行检测,如果是的话,则会进行父类子类转换,如果不是,则返回一个空指针。
Static_cast和dynamic_cast的区别就是,他不回去检查B到底是不是D就直接进行转换,如果不是的话,就会拿到一个野指针,使用它就会发生undefined behavior
虚函数与重写:
如果你的继承真的是代表面向对象程序设计,那么继承就是为了覆盖父类和虚函数,如果你一个类继承下来,并没有覆盖任何虚函数,那么很可能是设计出了问题
函数表标记为virtual的意思是,他可以被子类改掉.如下面这个例子:
class Animal
{
public:
string name;
virtual ~Animal() = default;
virtual string Introduce()
{
return "我的名字叫" + name + "。";
}
};
class Cat : public Animal
{
public:
string Introduce()override
{
return "我是一只猫,我的名字叫" + name + "。";
}
};
这里将introduce设置成了虚函数,则继承自animal的类可以重写该函数
Override 关键字代表这个函数正在覆盖父类的一个函数。当然这种覆盖只对这个实例有效,而不是对全体Animal有效的
譬如this->name 指向的是这个实例的name
如果开发者想让子类必须重写基类函数,则可以设置成纯虚函数形式:
virtual string Introduce() = 0;
子类调用父类的虚函数:
class Animal
{
public:
string name;
virtual ~Animal() = default;
virtual string Introduce()
{
return "我的名字叫" + name + "。";
}
};
class Cat : public Animal
{
public:
string Introduce()override
{
return "我是一只猫,我的名字叫" + name + "。";
}
};
如果我们不想调用子类重写的函数,而是想调用基类的虚函数,该怎么办呢?
我们可以这样调用基类的虚函数函数:
Cat* cat = new Cat();
cout << cat->Animal::Introduce() << endl;
只需要调用 基类名::函数名 这样的形式就可以了
注意:如果一个类带有纯虚函数的话,那么这个类只能被继承而不能创建实例!
class Animal
{
...
virtual string Introduce() = 0;
};