C++学习 十五、类继承（4）基类方法重写，隐藏

前言

本篇区分C++类方法中的概念：重载，重写，隐藏

成员函数重载

重载成员函数是对于类内而言的：

class A{
	public:
	 void func();
	 void func(int); // overload
	 void func(double, double); // overload
}

A中的三个func函数是重载overload。

重写

基类的同名虚方法在派生类中被重新定义，称为重写override：

class A{
	public:
		virtual void func();
}

class B : public A{
	public:
		virtual void func(); // override
}

注意：虚函数重写时，派生类虚函数的返回类型要与基类一致，否则报error: conflicting return type specified for virtual...，但是如果基类虚函数返回类型是基类指针或引用，派生类虚函数可以返回派生类指针或引用，这被称为返回类型协变：

class A{
	public:
		virtual A func();
		virtual A& func();
}

class B : public A{
	public:
		virtual B func(); // error!
		virtual B& func(); // ok
}

隐藏

方法隐藏也是对于基类和派生类的同名方法而言的，包含两种情况：

①基类方法是非虚方法的，派生类方法同名，基类成员函数被派生类成员函数隐藏：

class A{
	public:
		void func1();
}

class B : public A{
	public:
		void func1(int); // hide A::func1()
		virtual void func1(); // hide A::func1()
}

被隐藏的基类方法必须通过类作用域解析A::才能被派生类对象调用：

B b;
b.func1(); // B::func1()
b.A::func1(); // A::func1()
b.func1(1) // B::func1(int)

②基类和派生类方法都是虚函数，但同名不同参，基类被派生类方法隐藏：

class A{
	public:
		virtual void func1();
}

class B : public A{
	public:
		virtual void func1(int); // hide A::func1()
}

如果直接通过对象调用类方法：

B b;
b.func1(); // error!
b.func1(1); // B::func1(int)
b.A::func1(); // A::func1()

由于基类虚函数被隐藏，派生类对象b只能看到B::func1(int)方法，因此报error: no matching function for call to function...

如果通过基类指针或引用调用类方法：

B b;
A* pa = &b;
pa->func1(); // ok
pa->func1(1); // error!

由于基类虚函数没有被重写而是被隐藏，基类指针或引用调用的类方法仍然是基类方法。

如果基类与派生类出现同名数据成员，基类成员数据也会被隐藏，需要通过类名解析指定使用。总而言之，如果派生类需要使用被隐藏的基类成员，则必须通过基类名::使得被隐藏的成员可见。

虚函数的重写与隐藏

只有当基类与派生类的虚方法同名同参时，才能被重写。如果基函数的虚方法被隐藏，显然无法实现多态性。

因此，派生类重写基类虚函数应当遵循以下要求：

• 派生类虚函数原型与基类虚函数完全相同，包括返回类型。（除返回类型协变外）
• 如果基类虚函数被重载，则派生类虚函数也应当被重载。（如果只重写一个虚函数，则其它被重载的基类虚函数将被隐藏）

重载成员函数重写示例：

class A{
	public:
		virtual void func();
		virtual void func(int); // overload
		virtual void func(double, double); // overload
}

class B : public A{
	public:
		virtual void func(); // override
		virtual void func(int); // override
		virtual void func(double, double) // override
}