C++允许在派生类对继承的方法访问控制重新定义,可以放松或者添加更严格的
限制。
这点和Java是不同的,Java不能对继承过来的成员添加更严格的限制,因为这样会
"违反Liskov替换原则"。
而C++的多态是依赖于指针和引用的(当然Java也是reference),而指针或者引用
编译时的
访问权限检查是检查指针或引用类型的,所以C++采取了一种看似不够直观的
设计:使用基类指针和引用访问多态调用派生类的方法,继承来的方法其访问控制与在派生类定义的访问控制无关,只于指针和引用类型定义的访问控制相关。这样既能够不违反"Liskov替换原则",又能够对继承的方法添加更严格的限制。
#include <iostream>
using namespace std;
class A{
public:
virtual void test(){
cout << "A::test" << endl;
}
};
class B: public A{
private:
virtual void test(){
cout << "B::test()" << endl;
}
};
int main(){
B b;
A &a = b;
a.test(); //ok B::test()
//b.test(); compile error
};