笔记:虚函数

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