笔记:虚函数

#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上好像扩张压窄都可以(不调用这个虚函数的情况), 在网上也没找到相关的东西, 测试后发现, 扩张是没问题的(虽然我们可以用派生类实例来明确访问扩张了可见性的虚函数, 我们还是没办法用实例直接访问基类的那个私有的虚函数), 如果是压窄了可见性, 那么, 我们要明确访问派生类的虚函数是不可能了, 但我们可以把派生类的实例的对象赋给基类的引用(指针的类似), 用这个基类的引用来访问, 当然我们可以得到想来的结果(执行的是派生类的私有虚函数, 同代码中的两处则是基类的虚函数)