[概念理解] MVC模式和C++的实现

[转]学习可以是一件很快乐的事，特别是当你发现以前所学的点点滴滴慢慢地能够串起来或者变成了一个环，这种感觉真好。这篇文章就这么来的。

从MVC架构开始说起吧。这两天系统了解了一下MVC架构的内容，主要参考于文献【1】。

MVC在这几年应该被非常多的人所熟悉了，因为相当多的web框架采用的是这套架构，此外，早在MFC横行的年代，MFC所采用的document/view架构也是MVC架构的变种。包括QT，它的model/view亦是如此。只不过它们都将MVC中的view和controller的功能整合到了一起。

MVC的全称是model-view-controller architecture，最早被用在了smalltalk语言中。MVC最适合用在交互式的应用程序中。

我个人认为，理解MVC架构最重要的是两点：

1. MVC将数据的维护和数据的呈现，与用户的交互割裂了。Model负责的是数据的维护，就好比是DB和文件要保存数据一样，可以认为它是process。而view负责的是数据的呈现，把数据通过某种形式在用户面前展现，把它看做是output。model和view的关系就像下面这幅图一样。

而controller负责的是处理用户的输入。它提供一个窗口或者是控件供用户输入数据，它就是input。所以，一个MVC架构，就是将交互式程序的process，input和output解耦合。

2. 这一点更为重要，就是model与view和controller之间的联系。任何一个MVC框架都必须提供一个“change-propagation mechenism”(变更-传播机制)。而这个变更-传播机制是MVC框架中model和view以及controller之间的唯一的联系（The change-propagation mechanism is the only link between the model and the views and controllers）。比如说，一个用户通过controller改变了model中的数据，那么model会使用变更-传播机制来通知和它有关的view和controller，使得view去刷新数据和重新显示。

有很多人总是对于MVC架构不能够熟练掌握，核心问题就在于他在使用MVC架构的时候是看不到变更-传播系统的，所以对于MVC架构的内在运行机制无法了解。

完整过程如图所示：

1. 用户操作controller，相当于调用controller的handleEvent函数；

2. handleEvent函数实际上调用的是model中的成员函数，对model中的数据进行操作；

3. model中的数据被调用完成后，model会执行自身的notify函数；

4. notify函数会调用和这个model有关的所有view和controller的update函数；

5. update函数会调用各自的display函数和getData函数；

6. 当这一切都完成时，handleEvent才返回；

更多的关于MVC的内容就不在这篇文章中详述了，毕竟俺写这文章不是光为了MVC。有兴趣的可以查看网络文档或者参考文献。

下面的重点在于讨论这个change-propagation mechenism的实现。

其实一个简单MVC架构的变更-传播机制采用observer模式+多态就可以搞定了。model维护一个基类view（和controller）的指针队列，将所有和这个model相关的派生view的指针放在这个队列中。那么model的notify函数就是依次调用队列中的指针的update成员函数。

但是，在实际的C++的MVC系统中，比如MFC，或者QT，都没有采用这种方法来实现变更-传播机制，事实上，他们在实现这个机制的时候都没用到多态。MFC采用的是消息映射的机制，基本概念是建了一个消息查找表，将消息和对应函数的映射关系存储下来。每次处理一个消息的时候，都去表中查找到对应的函数，然后回调。而QT采用的signal-slot机制（具体的实现机制我不清楚，但肯定不是用的多态）。

为什么MFC和QT都不采用多态呢？我相信有很多的原因，比如QT的signal-slot要求是能够跨进程的，这肯定不是用多态能做到的。在这我只讨论一个原因。

讨论之前先说一说C++的多态机制的实现（我更推荐你看参考文献【2】而不是我的这段话，【2】中把这个问题解释得非常清楚）。很多人都知道vtable，这里放着某个类的一个虚函数指针数组，某个类的指针如果要调用虚函数，先会通过vptr找到vtable，然后查找到对应的函数。这个机制本身没有问题。但关键是，C++在vtable中保存的是所有虚函数的指针，也就是说，如果一个基类有1000个虚函数，但它的继承类只改写了其中的5个，那么这个继承类的vtable中仍然有1000项，表中的995项被浪费了。正是由于这个原因，MFC和QT都没有采用C++的多态机制来实现变更-传播机制。因为在MFC和QT中，它的每个基类都有着大量的虚函数，而在实际应用当中，继承类可能只是改写其中的很少的几项，如果采用多态实现࿰