C++面向对象继承与多态（2）

前言

上一篇博客已经介绍了类的继承与派生，他是多态的条件之一，也是面向对象编程的重要思想，所以需要理解和掌握。这一节我总结了多态的另外一个条件——虚函数，另外简单讲一下有上转型导致的静态绑定。这里的知识点也比较多，可能多态的应用得放到下一节来讲了。

派生类的上转型

在C语言中我们经常会用到类型转换，不管是显式的还是隐式的。类的对象也可以进行类型转换，不过我们一般不会将他从一个类转换到另一个不相干的类，而是会将其转换为他的基类（父类）或者更上层的间接基类（祖父类）。我们称这样的转换为上转型，看以下代码：

class base
{
   
public:
	void do_something()
	{
   
		cout << "I'm base class" << endl;
	}
};

class derived : public base
{
   
public:
	void do_something()
	{
   
		cout << "I'm derived class" << endl;
	}
};

int main() 
{
   
	derived d;
	d.do_something();	//I'm derived class
	base b = (base)d;
	b.do_something();	//I'm base class
	return 0;
}

可以看到derived类的d对象已经转换为base类的对象了。虽然我代码是直接用的显式类型转换，但C++一般不推荐这么去使用，而是用一个模板函数static_cast<>()。使用该函数会使得转换比较安全，这里就不展开细谈了，简单看一下使用：

base b = static_cast<base>(d);

derived类的d对象被转换为base类的对象b，那他调用的自然是base类的do_something()函数。这里涉及到一个概念叫静态绑定，静态绑定是在编译时就确定代码在那一行就应该去调用base类的do_something()函数。这与多态的动态绑定会形成对比，后面会讲到，简单来说就是动态绑定是在运行时才确定的，即代码运行到那一行才知道要去调用base类的do_something()函数。另外隐式的类型转换也会进行静态绑定，看以下例子：

void fun(base b)
{
   
	b.do_something();
}

int main() 
{
   
	derived d;
	d.do_something