再论C++的虚函数

最近正在用智能指针二次封装TT的netlib库,使其彻底面向对象(netlib是c风格的)并且对外具有更好的一致性和更易于使用。框架已经整好了,不过我还得用此新框架重写几个TT的服务器并且自测没有问题才能拿出来分享。总不能整个一堆问题的垃圾给大家吧。

对TT还不了解的朋友欢迎阅读我的前一篇博文 TeamTalk消息服务器原理及二次开发简介

也可以去读一读蓝狐大神的博客,具体网页自己搜了。

在用C++做面向对象的编程过程中,突然想到一个问题,那就是c++里的virtual,当然这里只讨论virtual函数,至于虚继承还有其他什么乱七八糟的(c++实在太复杂了)不谈。

下面不会讲解虚函数是怎么回事,如果对虚函数还不清楚的同学请先好好学习一下虚函数和继承重载的概念。

都知道c++里面类的成员函数如果不用virtual关键字,那么子类继承后,如果用基类指针指向子类对象,调用函数时其实还是调用的基类的,除非你把成员函数设为虚函数。用过java的同学肯定会觉得很坑,这尼玛不是多次一举吗?java的类成员方法默认都是虚函数。都知道多态的基石就是用基类指针在运行时指向子类的对象来实现多态,这样你就可以用统一的基类接口来定义一致的行为调用,然后在具体实现时只要换上自己的类就能在运行时完成各种不同的功能了。TT里面的imconn和其他loginConn, msgConn,proxyConn其实就是这样的关系。那么C++为什么不默认把类的成员函数都弄成虚函数呢?

c++的设计者真的会这么傻吗?让我们来看一段代码


// Example program
#include <iostream>
#include <string>
using namespace std;

class A1
{
private:
    int _a;
    virtual void _Add() {  //_Add是私有函数,用来完成一些内部的操作
        _a += 100;
    }
public:
    A1(int a) : _a(a) {}
    void out() {
        _Add();
        cout << _a << endl;
    }
};

class A2 : public A1
{
private:
    int _a;
    void _Add()  {  //这里假设A2类的开发者并不知道A1里也有个_Add,意外重名
        _a += 1000;
    }
public:
    A2(int a) : A1(a), _a(a+1) {}
    void out() {
        _Add();
        A1::out();
        cout << _a << endl;
    }
};

int main()
{
    A2 a(5);
    a.out();
}

先别编译运行,想一想这个程序的输出应该是什么? 105 1006?

好吧来运行一下,结果是

5 2006

是不是很差异?

基类的out明明不是先加了100再cout的吗?

想一想2006哪儿来的?难道是基类的_Add实际运行时执行的是子类的_Add?

没错,就是这样的。在子类里调用A1::out,A1::out里会调用_Add,而这个_Add由子类的虚函数表(VFT)指向了子类的_Add函数。

好了,问题来了,子类的实现者其实并不知道基类里面有个_Add,只是这个函数名字太通俗,一不小心重名了,然后意外的改写了基类out的运行。即使基类这个函数定义为私有的也没办法。这就破坏了面向对象的一个重要原则——封装性。 子类在继承基类的过程中破坏了基类的函数行为。

那么怎么解决这个问题?把基类的_Add前面的virtual去掉,好了,一切如你想要的那样运转,输出105 1006

现在我们可以说,c++为什么要区分virtual和非virtual成员函数了。也终于可以清楚的知道什么时候改在成员函数前加virtual,什么时候不需要。

总结一下,当你的基类里需要写一些私有的,只在基类内部运行的函数时,千万别给它加上virtual,否则,如果你的继承者运气不太好,意外写了个同名的函数,那么就等着出一些莫名其妙的查死他的问题吧。甚至有时候这种问题根本就没法查,因为他有可能根本就没有你的基类的源代码。

当然,如果你想坑那货,比如你因为对当前的公司和同事深恶痛绝,正准备离职,又想不到有什么方法能整死他们,并且当他们最终发现时又不能将责任怪罪于你,那就在基类里定义这种名字很容易冲突的内部运行函数,并且给它加上virtual,然后当你同事在你离职后苦逼的最终把原因找到正想找你算账时,你可以回他一句,谁让你人品不好,定义一个跟我一样的函数名呢?

别说是我这里教你的。。。




你可能感兴趣的:(再论C++的虚函数)