C++进阶教程 - 函数重载、隐藏、覆盖和重写的区别

╰半夏微凉° 2022-12-21 04:46 151阅读 0赞

## 函数重载 ##

**定义**：C++规定在同一作用域中，当同名函数的形式参数（指参数的个数、类型或者顺序）不同时，构成函数重载。

**用法**：比如，要从两个变量中返回其中较大的值(max函数)，可以编写如下两个构成重载的函数：

int max (int x, int y)
    { 
    	return x > y ? x : y;
    }
    
    double max (double x, double y)
    { 
    	return x > y ? x : y;
    }

**注意事项：**

*  函数返回值类型与构成函数重载无任何关系。
 *  类的静态成员函数可以与普通成员函数形成重载。
 *  函数重载发生在同一作用域，如类的成员函数之间的重载、全局函数之间的重载。

## 函数隐藏 ##

**定义**：函数隐藏指不同作用域中定义的同名函数（不要求函数返回值和函数形参列表相同）。比如派生类函数屏蔽与其同名的基类成员函数、类成员函数屏蔽同名的全局函数。

**用法**：示例代码如下：

#include <iostream>
    using namespace std;
    
    void func(char *s)
    { 
    	cout << "global function with name: " << a << endl;
    }
    
    class A
    { 
    	public:
    		void func()
    		{ 
    			cout << "member function of A: " << endl;
    		}
    		void useFunc()
    		{ 
    			func();   // 将调用成员函数func(...),屏蔽外部的全局函数func(...)
    			::func("lvlv");  // 调用全局函数func(...)
    		}
    		
    		virtual void print()
    		{ 
    			cout << "A's print" << endl;
    		}
    };
    
    class B: public A
    { 
    	public:
    		void useFunc() // 隐藏了A中的useFunc
    		{ 
    			cout << "B's useFunc" << endl;
    		}
    		int useFunc(int i) // 隐藏了A中的useFunc，并与B中的useFunc形成重载
    		{ 
    			cout << "In B's useFunc(), i = " << i << endl;
    			return 0;
    		}
    
    		virtual int print(char *a)
    		{ 
    			cout << "B's print:" << a << endl;
    		}
    
    		// 下面的函数编译不通过，因为对父类虚函数进行重写时，需要返回类型、函数名、参数类表完全相同时才可以
    		// virtual int print()
    		// { 
    			// cout << "B's print:" << a << endl;
    		// }
    };
    
    int main()
    { 
    	A a;
    	a.useFunc(); // A的useFunc => member function of A ，globalfunction with name: lvlv
    	B b;
    	b.useFunc(); // B的useFunc => B's useFunc
    	b.A::useFunc(); // 调用A的useFunc => member function of A， globalfunction with name: lvlv
    	b.useFunc(2); // 调用B的重载useFunc => In B's useFunc(), i = 2
    	b.A::print(); // 调用A的print => A's print
    	b.print("jf"); // 调用B的print函数 => B's print: jf
    }

**注意事项：**

*  派生类成员函数与基类成员函数同名但参数不同，此时基类成员函数将被隐藏。
 *  函数重载发生在同一作用域，函数隐藏发生在不同作用域。

## 函数覆盖与函数重写 ##

**定义**：派生类中与基类同返回值类型、同名和同参数的虚函数重定义，构成虚函数覆盖，也叫做虚函数重写。（有个特例：协变返回类型）

**虚函数重写与协变返回类型**

当虚函数返回指针或者引用时，派生类中重写的函数返回的是父类中被重写函数所返回指针类型或引用类型的派生类类型，这就是协变返回类型。示例代码如下：

#include <iostream>
    using namespace std;
    
    class A{ };
    class B:public A{ };
    class Base
    { 
    	public:
    		virtual A& show()
    		{ 
    			cout << "In Base" << endl;
    			return *(new A);
    		}
    };
    class Derived: public Base
    { 
    	public:
    	    // 返回值协变，构成虚函数重写
    		B& show()
    		{ 
    			cout << "In Derived" << endl;
    			return *(new B);
    		}
    };

**注意事项：**

*  函数覆盖就是函数重写，具体点就是虚函数覆盖，或者称为虚函数重写。
 *  函数覆盖是函数隐藏的特例。
 *  如果派生类中定义与基类虚函数同名但参数列表不同的非virtual函数，则此函数是一个普通成员函数（非虚函数），并形成对基类中同名虚函数的隐藏，而非虚函数重写。