#include <iostream>
using namespace std;
class A
{
public:
A()
{
cout << "A::A()" << endl;
sayhello();
}
virtual ~A()
{
sayhello();
cout << "A::~A()" << endl;
}
public:
void sayhello()
{
who();
cout << " let me say hello to you" << endl;
}
private:
virtual void who()
{
cout << "A";
}
};
class B : public A
{
public:
B()
{
sayhello();
cout << "B::B()" << endl;
}
virtual ~B()
{
sayhello();
cout << "B::~B()" << endl;
}
private:
virtual void who()
{
cout << "B";
}
};
int main()
{
A * pa = new B;
cout << "-------" << endl;
pa->sayhello();
cout << "-------" << endl;
delete pa;
return 0;
}
运行打印:
A::A()
A let me say hello to you
B let me say hello to you
B::B()
-------
B let me say hello to you
-------
B let me say hello to you
B::~B()
A let me say hello to you
A::~A()
上面的代码中用到了NVI手法(non-virtual interface), 即"基类在公有函数中调用私有的虚函数, 派生类可以通过修改私有的虚函数来修改公有函数的部分行为", 例中的打印, 只要分析下虚函数什么时候会引发多态现象就明了了
还有一个问题, 派生类可以修改虚函数的可见性(指的是public, protected, private), 好像记得书上说是只可以扩张可见性(private->protected->public), 但gcc上好像扩张压窄都可以(不调用这个虚函数的情况), 在网上也没找到相关的东西, 测试后发现, 扩张是没问题的(虽然我们可以用派生类实例来明确访问扩张了可见性的虚函数, 我们还是没办法用实例直接访问基类的那个私有的虚函数), 如果是压窄了可见性, 那么, 我们要明确访问派生类的虚函数是不可能了, 但我们可以把派生类的实例的对象赋给基类的引用(指针的类似), 用这个基类的引用来访问, 当然我们可以得到想来的结果(执行的是派生类的私有虚函数, 同代码中的两处则是基类的虚函数)