多态性与将实现多态的函数的访问限定符没有任何关系,private 函数仍然可以实现多态,它的指针仍然位于vtbl中,只不过该函数的多态一般只能在基类的内部由其他非虚函数调用该函数的时候反映出来,访问限定符仅仅限制外部对类的成员的访问权限,它并没有破坏以下规则:
通过基类指针或引用调用成员函数时,如果该函数时非虚的,那么将采用静态绑定,即编译时绑定;如果该函数是虚拟的,则采用动态绑定,即运行时绑定。
#include #include
using namespacestd ;classBase
{private:virtual string classID() const{return string("Base") ;
}protected:virtual void doWork() =0 ; //纯虚函数
public:voidwork()
{
cout<
doWork() ; // 调用纯虚函数
}virtual ~Base()
{
}
};class DerivedA : publicBase
{private:string classID() const{return string("DerivedA") ;
}protected:voiddoWork()
{
cout<
}
};intmain()
{
Base* bp = newDerivedA() ;
bp->work() ;
delete bp ;
}
运行结果:
this class id is DerivedA
this is DerivedA doWork !
虽然ClassID是private,但是还是实现了多态(和将这个函数声明为public的结果是一样的)。因为这个函数是virtual的。用基类指针或引用进行虚函数调用采用的是动态绑定,看看编译器为调用classID产生的代码就知道了:
//c++伪码
(this->vptr[1])() ;
在运行时期,通过this指针将会找到正确的vtbl,即DerivedA类的vtbl,这样自然就会出现上面的结果了。那么将classID 声明为private限制了什么?和将非虚函数声明为private一样,这将使得在Base类外部无法调用多态函数classID,只能在Base内部调用,如通过work函数调用。
参考:http://www.dewen.io/q/8738/%E7%A7%81%E6%9C%89%E7%BA%AF%E8%99%9A%E5%87%BD%E6%95%B0%E7%9A%84%E4%BD%9C%E7%94%A8%EF%BC%9F
------------------------------------------------------------------------------
新的意见:
我觉得这的确是c++本身矛盾的地方,就像它的多重继承一样,在我看来对private函数设成虚函数有点紊乱,当然例子只是一个demo罢了,说明了问题,但在实际运用中我觉得private设为虚函数很不符合,我的论据是java:
在java中,public,protected,friendly函数自动可以多态的(不用加什么virtual之类的词),但是有种情况不可以,当函数设为private的时候,就已经隐藏申明是final的了,final就是不允许它被子类改写,所以拒绝多态。大家不懂java没关系,我就是说java作为比c++更加符合oo的语言,去掉private函数的多态性肯定有它的道理的。
参考:http://bbs.csdn.net/topics/60083939
public classPolymorphism {private voidshow()
{
print("show parent");
}public static voidmain(String[] args)
{
Polymorphism p=newprivateMethod();
p.show();
}
}class privateMethod extendsPolymorphism
{public voidshow()
{
print("show derived");
}
}
输出结果:结果是 show parent。Java里面是不能重写私有方法的,这个其实很好理解,因为私有方法在子类是不可见的。子类没有继承父类的私有方法,更谈不上重写了。因此在子类中的同名方法是一个全新的方法。
参考:http://www.cnblogs.com/developerY/p/3421711.html