MFC消息映射的原理

原文地址：http://www.cnblogs.com/lidabo/p/3694726.html

多态的实现机制有两种，一是通过查找绝对位置表，二是查找名称表；两者各有优缺点，那么为什么mfc的消息映射采用了第二种方法，而不是c++使用的第一种呢？因为在mfc的gui类库是一个庞大的继承体系，而里面的每个类有很多成员函数（只说消息反映相关的成员函数啊），而且在派生类中，需要改写的也比较少(我用来做练习的程序就是那么一两个，呵呵)。那么用c++的虚函数的实现机制会导致什么问题呢？就是大量虚表的建立使得空间浪费掉很多。

 

嗯…怎么办呢？于是各大c++名库（比如QT，MFC，VCL…）在消息映射的实现方面，抛开了虚函数的方式，而用了第二种方法：查找名称表，其原理五花八门，各显神通，让我想到了春秋时代，各国诸侯置周天子不顾，挟天子令诸侯，各自为政的阶段，呵呵~

 

现在先说MFC的做法：MFC消息映射机制的原理，也就是MFC是怎么做到一个消息来了，就调用相应的成员函数的？（在VC编程里面用的是消息循环机制，那比较好理解，就是在消息处理程序里面来个大大的swicth…）

 

好了，在c++ stl成熟的现在，很多人都会想到用map来匹配（据我所知，有些公司很喜欢这样用，抛开了mfc的做法），但是当时stl没有流行，所以mfc设计者们就来个链表查找。

 

先看用法：

首先，要用消息处理的类，必须要继承自CcmdTarget类；

然后，在类的声明中有如下的宏：DECLARE_MESSAGE_MAP()和需要实现的消息映射

然后，在类的实现文件中，有如下宏：BEGIN_MESSAGE_MAP(…), … END_MESSAGE_MAP()

具体例子如下所示：

 

//头文件中：

class CMainFrame : public CFrameWnd

{

……

// 生成的消息映射函数

protected:

     afx_msg int OnCreate(LPCREATESTRUCT lpCreateStruct);

     DECLARE_MESSAGE_MAP()

};

//实现文件中：

BEGIN_MESSAGE_MAP(CMainFrame, CFrameWnd)

     ON_WM_CREATE()

END_MESSAGE_MAP()

 

 

那些宏展开之后如下所示：

 

class CMainFrame : public CFrameWnd

{

……

// 生成的消息映射函数

protected:

     int OnCreate(LPCREATESTRUCT lpCreateStruct);

 

// 下三行为宏DECLARE_MESSAGE_MAP()的展开

protected:

     static const AFX_MSGMAP* PASCAL GetThisMessageMap();

     virtual const AFX_MSGMAP* GetMessageMap() const;

};

 

// 下10行为宏BEGIN_MESSAGE_MAP(CMainFrame, CFrameWnd)的展开

const AFX_MSGMAP* CmainFrame::GetMessageMap() const

{

return GetThisMessageMap();

}

const AFX_MSGMAP* CMainFrame::GetThisMessageMap()

{

     typedef CmainFrame ThisClass;

     typedef CframeWnd TheBaseClass;

     static const AFX_MSGMAP_ENTRY _messageEntries[] =

     {

         // 下2行为宏ON_WM_CREATE()的展开

{ WM_CREATE, 0, 0, 0, AfxSig_is, (AFX_PMSG) (AFX_PMSGW)(static_cast

< int (AFX_MSG_CALL CWnd::*)(LPCREATESTRUCT) > ( &ThisClass :: OnCreate)) },

         // 下5行为宏END_MESSAGE_MAP()的展开

{0, 0, 0, 0, AfxSig_end, (AFX_PMSG)0 }

     };

static const AFX_MSGMAP messageMap = { &TheBaseClass::GetThisMessageMap, _messageEntries[0] };

     return &messageMap;

}

 

 

上面这些几乎全是数据结构的初始化代码，先不管这里面的结构放的是什么内容，先看类声明那个宏展开的两个函数究竟在mfc框架的那个地方使用？（先看过程，在看数据结构，这是面向对象分析的不二法门~）

 

下面，说一下别人总结的mfc流程中的消息分派，（参考文章会放在附录里面的，这只是笔记嘛，呵呵）

 

注意：我安装的是VS2005，MFC源码在安装的目录下面的  VC/atlmfc/src/mfc目录里面

 

1、   先假定mfc的消息入口点是CWnd::WindowProc函数(至于是如何流入的，请参考其他文章)，其代码就好像vc编程里面那个WinMain函数的消息循环部分差不多：

 

LRESULT CWnd::WindowProc(UINT message, WPARAM wParam, LPARAM lParam)

{

    LRESULT lResult = 0;

 

    if (!OnWndMsg(message, wParam, lParam, &lResult))

 

        lResult = DefWindowProc(message, wParam, lParam);

 

    return lResult;

}

 

看，就是看一下该消息在OnWndWsg里是否找到对应的处理函数，如果没找到，用DefWindowProc处理；

 

2、   那么，这个OnWndWsg里面就是调用以上宏展开的那个函数来取得相关的消息映射滴~简化过后的代码如下：

 

BOOL CWnd::OnWndMsg(UINT message, WPARAM wParam, LPARAM lParam, LRESULT* pResult)

{

    LRESULT lResult = 0;

    const AFX_MSGMAP* pMessageMap;

 

     //取得消息映射结构，GetMessageMap为虚函数，所以实际取的是CmainFrame的消息映射

    pMessageMap = GetMessageMap();

 

    // 查找对应的消息处理函数

    for (pMessageMap != NULL; pMessageMap = pMessageMap->pBaseMap)

        if (message < 0xC000)

            if ((lpEntry = AfxFindMessageEntry(pMessageMap->lpEntries, message, 0, 0)) != NULL)

                goto LDispatch;

    ... ...

LDispatch:

    //通过联合来匹配正确的函数指针类型

    union MessageMapFunctions mmf;

mmf.pfn = lpEntry->pfn;

……

 

其中的pMessageMap = GetMessageMap();语句要留意，因为GetMessageMap是虚函数，在上面的CmainFrame类中已经重写了，所以，调用的实际上是CmainFrame的GetMessageMap；返回一个表格的指针pMessageMap，然后根据消息的类型在里面寻找，这个表格的数据结构如下：

struct AFX_MSGMAP

{

     const AFX_MSGMAP* (* pfnGetBaseMap)();

     const AFX_MSGMAP_ENTRY* lpEntries;

};

 

再看CmainFrame中的代码：

static const AFX_MSGMAP messageMap =    { &TheBaseClass::GetThisMessageMap, _messageEntries[0] };

就知道：这个表格其实是一个链表，放的是基类的GetMassageMap函数指针，和当前类的真正表格_messageEntries的入口地址。再看_messageEntries里面放的又是什么：

 

nMessage	nCode	nID	nLastID	nSig	nPfn
WM_CREATE	0	0	0	AfxSig_is	&CmainClass::OnCreate
0	0	0	0	AfxSig_end	0

 

好了，现在看到了WM_CREATE 就连着 &CmainClass::OnCreate，再结合上面CWnd::OnWndMsg的代码：

 

    for (; pMessageMap != NULL; pMessageMap = pMessageMap->pBaseMap)

        if (message < 0xC000)

            if ((lpEntry = AfxFindMessageEntry(pMessageMap->lpEntries, message, 0, 0)) != NULL)

                goto LDispatch;

就可以推理得到，AfxFindMessageEntry就是在找message和_messageEntries.nMessage的相等，如果不等，就往基类里面找: pMessageMap = pMessageMap->pBaseMap

 

找到了就跳到Ldispatch，其中，有：mmf.pfn = lpEntry->nPfn;这个就是放着该消息处理函数的内容。

 

3、   总结：

其实那些宏的作用就是用来初始化那个链表messageMap 和当前类处理函数的表格_messageEntries，当框架代码运行到pMessageMap = GetMessageMap()；时候，由于虚函数的作用，使得当面运行当前窗口CmainFrame的GetMassageMap，把CmainFrame的表格给pMessageMap，然后再从派生类往基类一层层找响应的处理函数。

 

这与c++虚函数机制相比，其好处是可以省空间，每个类里面只有自己重写的函数信息，其他信息在基类里面找；
不好的地方就是搜链表，从当前类往基类上搜，时间上可能久一点；

mfc消息分派的基本原理就是这样的，但是还有很多的细节没有深入，比如那些不同的成员函数有不同的参数，他们是怎么传递的，怎么在表格里面统一参数的信息...这些看下面的参考文献【1】，有较为详细的说明。

 

4、   补充：用的框架代码里面，最显著的是一种模式：模板方法模式(template method pattern)。具体

的说明请参考其他文章。

 

这里为了补充，举一个例子说明是怎么调用的：

class A
{
public:
    void callPrint(){ print(); };
protected:
    static void printThis(){ cout << "this is a A object!/n"; };
private:
    virtual void print(){ printThis(); };

};

class B : public A
{
protected:
    static void printThis(){ cout << "This is a B object!/n";}
private:
    void print(){ printThis();}
};

如下语句输出什么：

 

B  b;

A *pa = &b;

pa->callPrint();

 

也许你知道输出的是“this is a B object!/n”,但是，知道为什么嘛？参考文章【3】中有详细的讲解，会令你满意的。

（注意上面例子中的virtual和访问权限，试着利用虚函数的实现机制来解释他是怎么作用的。）

 

 

参考文章：

 

【1】、MFC消息分派：http://blog.csdn.net/linzhengqun/archive/2007/11/28/1905671.aspx

 

【2】、MFC教程之消息映射的实现：http://www.vczx.com/tutorial/mfc/mfc4.php

 

【3】、与大虾对话：领悟设计模式：http://www.myfaq.com.cn/A200508/2005-08-07/183608.html