其中心思想是，_stdcall修飾的函式，引數從右至左依次壓入堆疊，被呼叫者(callee)負責平衡堆疊(clean also called ‘stack unwinding handling’)。

下面來看看類的成員函式有怎樣的特點。在VC++中，所有類的成員函式在定義的時候都被隱式(implicit)定義為__thiscall引數傳遞方式。在MSDN 中對__thiscall做了如下定義：The _thiscall calling convention is used on member functions and is the default calling convention used by C++ member functions that do not use variable arguments. Under _thiscall, the callee cleans the stack, which is impossible for vararg functions. Arguments are pushed on the stack from right to left, with the this pointer being passed via register ECX, and not on the stack, on the x86 architecture.

其中心思想是，_thiscall 修飾的函式引數從右至左依次壓入堆疊，被呼叫者負責平衡堆疊。之後是與C語言所有引數傳遞方式均不相同的一點：成員函式所在類的this指標被存入ecx暫存器（這個特性只針對Intel x86架構）。

對比之後，我們發現類成員函式不能作為回撥函式的主要原因在於類成員函式使用__thiscal引數傳遞方式，因此需要呼叫者(caller)通過ecx暫存器提供類物件的指標。而回調函式使用__stdcall引數傳遞方式，不具備這個特點。

如何讓類成員函式成為回撥函式

根據第一節對回撥函式與類成員函式各自特點的分析。不難發現，只要能想辦法在類成員函式被呼叫之前設定好ecx暫存器，就能在_stdcall呼叫的基礎上模擬出一個完好的_thiscall呼叫。

如何提前設定ecx暫存器呢？我們知道函式呼叫實際是通過彙編指令(oprand)’call 函式地址’完成的。因此我們可以提供一箇中間函式。當回調發生時，先呼叫中間函式，再在中間函式執行過程中設定ecx暫存器，當ecx設定好後jmp到類 成員函式去(注意：這裡是jmp不是call)。當執行到類的成員函式時，函式上下文(function context)就和_thiscall所產生的完全一樣了。

如何製作這個中間函式呢？普通的函式是不行的。主要因為在vc++ debug版本的程式碼中要使用ecx暫存器做堆疊溢位檢測(stack overflow detect)，即使是空函式都是如此。其次由於存在棧框(stack frame)效率也不高。

這時就需要使用thunk來達到我們的目的。所謂thunk就是程式自己生成並執行的一小段彙編程式碼。下面通過程式碼來理解thunk。

#include "windows.h"
#include "stdio.h"
#include "stdlib.h"
#include "assert.h"
#include "stdafx.h"
//////////////////////////////////////////////////////////////////////////
// 回撥函式型別定義
typedef int (CALLBACK pfaCallBack)(int, long, char);
//////////////////////////////////////////////////////////////////////////
// thunk 結構定義
// 由於thunk 要被當作程式碼來執行，因此thunk 結構必須是位元組對齊的，這裡使用
// VC++ 的修飾符號#pragma pack(push, 1) 來定義一個位元組對齊的結構體
// 之後通過#pragma(pop) 恢復預設對齊模式
#pragma pack(push, 1)
struct Thunk
{
     BYTE op_movecx;
     DWORD_PTR val_ecx;
     BYTE op_call;
     DWORD_PTR val_address;
};
#pragma pack(pop)
//////////////////////////////////////////////////////////////////////////
// 一個類的定義，就這樣平靜的開始了
class Dummy {
// 一個成員變數
private:
     int m_id ;
// 定義一個thunk
private:
     Thunk m_thunk;
// 定義建構函式，在建構函式中設定m_id值
public:
     Dummy(int id):m_id(id)
     {
     }
//////////////////////////////////////////////////////////////////////////
// 定義一個回撥函式，另外他還是個類的成員函式呢
public:
     int memberCallback(int intVal, long longVal, char charVal)
     {
         // 做自己想做的事情
         printf("\nI am a member function of class Dummy""(Dummy::memberCallback),ID = %d.""\nI got the value 0x%08x 0x%08x \'%c\'"
             , m_id, intVal, longVal, charVal);
         return m_id;
     }
//////////////////////////////////////////////////////////////////////////
// 初始化thunk 的資料，這裡是關鍵
public:
     void InitThunk()
     {
         // 0xB9是‘mov ecx, 數值’的機器碼，xB9之後的個位元組(32位)指定了要
         // 給ecx的數值.
         m_thunk.op_movecx = 0xB9;
         // 填寫要給ecx的數值為this(類物件的指標)
         m_thunk.val_ecx = (DWORD_PTR)this;
         // 0xE9是‘jmp 相對地址’的機器碼。相對地址由xE9之後的個位元組(32位)
         // 給出。
         m_thunk.op_call = 0xE9;
         // 獲得Dummy::memberCallback的具體地址。關於成員函式與類物件的關係
         // 請參閱Stan Lippman 的<<Inside C++ Object Model>>
         // 用匯編獲得地址省去了用C++帶來的難看的語法
         DWORD_PTR off = 0;
        _asm
         {
                 mov eax, Dummy::memberCallback          
                 mov DWORD PTR [off], eax
         }
         // jmp後面是相對地址，因此要求出這個地址
         // 相對地址＝成員函式地址－跳轉點下一指令地址
         // 正負號不要緊，jmp自己能根據正負判斷如何跳。
         m_thunk.val_address =
             off - ( (DWORD_PTR)(&m_thunk.val_address) + sizeof(DWORD_PTR) );
     }
//////////////////////////////////////////////////////////////////////////
// 返回thunk的地址給要回調他的函式。
// 那個函式還以為thunk是一個函式地址呢。根本不知道thunk是我們自己構造的
// 資料
public:
     pfaCallBack GetStaticEntry()
     {
         return (pfaCallBack)&m_thunk;
     }
};
//////////////////////////////////////////////////////////////////////////
// 一個呼叫回撥函式的函式
void Trigger(pfaCallBack callback)
{
     assert(callback);
     int intVal = 0x1234;
     int longVal = 0x5678ABCD;
     int charVal = 'D';
     // 函式內部
     int r;
     // 開始回撥
     r = callback(intVal, longVal, charVal);
     printf("\n Return value = %d\n", r);
}
//////////////////////////////////////////////////////////////////////////
// 傳說中的主函式。VC++工程裡生成的就叫_tmain不叫main。
int _tmain(int argc, _TCHAR argv[])
{
     //生成一個物件
     Dummy *dummy1 = new Dummy(9);
     //初始化thunk
     dummy1->InitThunk();
     //取得thunk地址
     pfaCallBack pCallback1 = dummy1->GetStaticEntry();
     //給需要回調函式的函式傳遞thunk
     Trigger(pCallback1);
     // 按任意鍵繼續...
     system("pause");
     return 0;
}