关键概念:名字查找与继承
理解 C++ 中继承层次的关键在于理解如何确定函数调用。确定函数调用遵循以下四个步骤:
1) 首先确定进行函数调用的对象、引用或指针的静态类型。
2) 在该类中查找函数,如果找不到,就在直接基类中查找,如此循着类的继承链往上找,直到找到该函数或者查找完最后一个类。如果不能在类或其相关基类中找到该名字,则调用是错误的。
3) 一旦找到了该名字,就进行常规类型检查,查看如果给定找到的定义,该函数调用是否合法。
4) 假定函数调用合法,编译器就生成代码。如果函数是虚函数且通过引用或指针调用,则编译器生成代码以确定根据对象的动态类型运行哪个函数版本,否则,编译器生成代码直接调用函数。
class A
{
protected:
int m_data;
public:
A(int data=0)
{
m_data = data;
}
int GetData()
{
return doGetData();
}
virtual int doGetData()
{
return m_data;
}
};
class B: public A
{
protected:
int m_data;
public:
B(int data = 1)
{
m_data = data;
}
int doGetData()
{
return m_data;
}
};
class C: public B
{
protected:
int m_data;
public:
C(int data=2)
{
m_data = data;
}
};
class Base
{
public:
virtual int fun()
{
cout << "base: virtual int fun()" << endl;
return 0;
}
};
class D1 : public Base
{
public:
int fun(int)
{
cout << "D1: int fun(int)" << endl;
return 0;
}
int myfun(int, int)
{
cout << "Two int" << endl;
return 0;
}
};
class D2 : public D1
{
public:
int fun(int)
{
cout << "D2: int fun(int)" << endl;
return 0;
}
int fun()
{
cout << "D2: int fun()" << endl;
return 0;
}
int myfun(int, int, int)
{
cout << "Three int" << endl;
return 0;
}
};
int main()
{
C c(10);
cout << c.GetData() << endl;
cout << c.A::GetData() << endl;
cout << c.B::GetData() << endl;
cout << c.C::GetData() << endl;
cout << c.doGetData() << endl;
cout << c.A::doGetData() << endl;
cout << c.B::doGetData() << endl;
cout << c.C::doGetData() << endl;
D2 d2;
//d2.myfun(2,2); //“D2::myfun”: 函数不接受 2 个参数。同一个类中定义的函数才可以重载,继承来的不行。
d2.myfun(2,2,2);
getchar();
return 0;
}
运行结果:
说明:
1)成员函数的重载只能发生在同一个类中所定义的若干函数。不能对从父类继承过来的函数进行重载。因为用子类对象调用“重载函数”的时候,名字查找规则首先在子类中进行,结果找到了具有这个名字的函数,不会再向父类继续查找,所以也谈不上重载。(注释处说明了这个问题)
2)因为D1定义了一个 int fun(int) ,它屏蔽了基类的虚函数 virtual int fun()。从Base继承的虚函数不能通过D1对象(或D1的引用或指针)调用,因为该虚函数被屏蔽了,名字查找规则决定了其在D1中找到了名为fun函数,不会继续向上查找。
3)对于前面11111011的输出,只解释第一个,后面类似:cout << c.GetData() << endl;
本来是要调用C类的GetData(),C中未定义,故调用B中的,但是B中也未定义,故调用A中的GetData(),因为A中的doGetData()是虚函数,所以调用B类中的doGetData(),而B类中的doGetData()返回B::m_data,所以输出1。