#include <iostream>
using namespace std;
struct foo
{
void func(int x) {
cout <<"foo::func(int)"<<endl;
}
void func(float x) {
cout <<"foo::func(float)"<<endl;
}
void func(double x) {
cout <<"foo::func(double)"<<endl;
}
};
struct a
{
void func(int x) {
cout <<"struct a :: fun(int x)"<<endl;
}
};
struct b : public a
{
void func(float x) {
cout <<"struct b::fun(float x)"<<endl;
}
};
struct c : public b
{
//using a::func;
//using b::func;
void func(double x) {
cout <<"struct c::func(double x)"<<endl;
}
};
int main()
{
foo fo;
fo.func(1);
fo.func((float)1);
c oc;
oc.func(1);
oc.func((float)1);
}
运行结果是:
foo::func(int)
foo::func(float)
struct c::func(double x)
struct c::func(double x)
说明前面是重载,而后面则完全被覆盖了, C++中有一条规则:派生类和基类是处于不同的两个名字空间中。因此,拆开后的代码应该不算是重载。如果要进行重载,需要 using 声明:
struct c: public a { using a::func;
using b::func; void func(double x){ } };
那么,如果不用 using 声明,拆分后代码中的函数 func 不是重载应该是什么呢?是隐藏(hide)。下面是关于重载、覆盖和隐藏的区别: 这几个概念都有一个共同点:函数名称相同,所以不免让人混淆,大致的区别如下: 重载(overload): 必须在一个域中,函数名称相同但是函数参数不同,重载的作用就是同一个函数有不同的行为,因此不是在一个域中的函数是无法构成重载的,这个是重载的重要特征 覆盖(override): 覆 盖指的是派生类的虚拟函数覆盖了基类的同名且参数相同的函数,既然是和虚拟函数挂钩,说明了这个是一个多态支持的特性,所谓的覆盖指的是用基类对象的指针 或者引用时访问虚拟函数的时候会根据实际的类型决定所调用的函数,因此此时派生类的成员函数可以"覆盖"掉基类的成员函数. 注意唯有同名且参数相同还有带有virtual关键字并且分别在派生类和基类的函数才能构成虚拟函数,这个也是派生类的重要特征. 而且,由于是和多态挂钩的,所以只有在使用类对象指针或者引用的时候才能使用上. 总之一句话:覆盖函数都是虚函数,反之不然~~ (如果基类和继承类的函数名称,产生返回值都是一样的[如果返回值不同应该无法编译],如果基类用到了virtual,那么无论继承类的实现中是否加入virtual 这个keyword ,还是会构成 override 的关系) 隐藏(hide): 指 的是派生类的成员函数隐藏了基类函数的成员函数.隐藏一词可以这么理解:在调用一个类的成员函数的时候,编译器会沿着类的继承链逐级的向上查找函数的定 义,如果找到了那么就停止查找了,所以如果一个派生类和一个基类都有同一个同名(暂且不论参数是否相同)的函数,而编译器最终选择了在派生类中的函数,那 么我们就说这个派生类的成员函数"隐藏"了基类的成员函数,也就是说它阻止了编译器继续向上查找函数的定义.... 回到隐藏的定义中,前面已经说了有virtual关键字并且分别位于派生类和基类的同名,同参数函数构成覆盖的关系,因此隐藏的关系只有如下的可能: 1)必须分别位于派生类和基类中 2)必须同名 3)参数不同的时候本身已经不构成覆盖关系了,所以此时是否是virtual函数已经不重要了 当参数相同的时候就要看时候有virtual关键字了,有的话就是覆盖关系,没有的时候就是隐藏关系了 很多人分辨不清隐藏和覆盖的区别,因为他们都是发生在基类和派生类之中的.但是它们之间最为重要的区别就是: 覆盖的函数是多态的,是存在于vtbl之中的函数才能构成"覆盖"的关系,而隐藏的函数都是一般的函数,不支持多态,在编译阶段就已经确定下来了.