南希系列的显示函数就是一个类成员函数。 $ |2 H: b: I. A/ {0 Y h+ G/ E
, W7 {& b- l- E原文 & u* O j4 A9 v
http://www.vckbase.com/document/viewdoc/?id=1818
P4 v( j7 y$ ` T- p2 l9 I- a
! S# i! N5 n }7 {) C摘要:介绍了如何取成员函数的地址以及调用该地址.
f9 J7 }5 c& r- H! X4 s, Q& U6 l$ L3 s$ d
关键字:C++成员函数 this指针 调用约定
l7 ?6 |; L% |$ E2 O* F: |9 B
& o% B& {$ x9 W0 b4 s7 F H一、成员函数指针的用法 $ x q% A* j2 b$ ^( x. O
, A/ o& R/ V' U, f2 T
在C++中,成员函数的指针是个比较特殊的东西。对普通的函数指针来说,可以视为一个地址,在需要的时候可以任意转换并直接调用。但对成员函数来说,常规类型转换是通不过编译的,调用的时候也必须采用特殊的语法。C++专门为成员指针准备了三个运算符: "::*"用于指针的声明,而"->*"和".*"用来调用指针指向的函数。比如: & Z# g2 A2 a3 a# P
) A. {# G( N$ S: \& q
3 U: E2 C( r& s: j' C, t; u/ j; f
class tt : j3 M1 E4 t& t
{ % J0 E$ V5 o5 K/ n$ a% f6 w! z# ?
public: void foo(int x){ printf("\n %d \n",x); } & K. ] L- {+ D: J
}; % u, U0 Q' m3 @
+ N+ x% p: L3 \/ a Y4 j typedef void ( tt::* FUNCTYPE)(int ); : ]* M9 l3 C! {3 [* }6 s' R
. V& {% j/ D" g4 s$ i( l' |0 \( K) Y" h X4 j! @
FUNCTYPE ptr = tt::foo; //给一个成员函数指针赋值.
" V3 }. T$ E& v3 _% g% N- e, [) \1 w: _, i/ Y a
tt a; ; o4 g0 A/ g1 G8 t
(a.*ptr)(5); //调用成员函数指针. $ g- A" `2 m; S1 h
4 @ Q3 d3 @) N H5 ?% m6 ?' o
tt *b = new tt;
/ S8 T, {- e/ x' E a6 c (b->*ptr)(6); //调用成员函数指针. / X! x8 v7 q' p2 a; R( |
$ w9 g: b" ^9 D F
. `3 s W7 d$ w+ u+ \ m 注意调用函数指针时括号的用法,因为 .* 和 ->* 的优先级比较低,必须把它们和两边要结合的元素放到一个括号里面,否则通不过编译。不仅如此,更重要的是,无法为成员函数指针进行任何的类型转换,比如你想将一个成员函数的地址保存到一个整数中(就是取类成员函数的地址),按照一般的类型转换方法是办不到的.下面的代码:
. @0 B) [2 I+ {- B DWORD dwFooAddrPtr= 0;
2 q1 s& l* e+ ~( c! w. ~5 J dwFooAddrPtr = (DWORD) &tt::foo; /* Error C2440 */
1 O$ Q" T3 ^# A5 } dwFooAddrPtr = reinterpret_cast (&tt::foo); /* Error C2440 */ : b& f9 ~( K! A {* y
5 S2 n$ H) D! n* v$ X" E a% M
你得到只是两个c2440错误而已。当然你也无法将成员函数类型转换为其它任何稍有不同的类型,简单的说,每个成员函数指针都是一个独有的类型,无法转换到任何其它类型。即使两个类的定义完全相同也不能在其对应成员函数指针之间做转换。这有点类似于结构体的类型,每个结构体都是唯一的类型,但不同的是,结构体指针的类型是可以强制转换的。有了这些特殊的用法和严格的限制之后,类成员函数的指针实际上是变得没什么用了。这就是我们平常基本看不到代码里有"::*", ".*" 和 "->*"的原因。
, a# K4 M' p& \7 Z) O
% F2 e5 l1 T1 o) z9 S二、取成员函数的地址
, Y' L, D; C9 Q! M3 h9 J# I' X a2 g N" A3 Q+ E9 f: B; @) `
当然,引用某位大师的话:"在windows中,我们总是有办法的"。同样,在C++中,我们也总是有办法的。这个问题,解决办法已经存在了多年,并且广为使用(在MFC中就使用了)。一般有两个方法,一是使用内嵌的汇编语言直接取函数地址,二是使用union类型来逃避C++的类型转换检测。两种方法都是利用了某种机制逃避C++的类型转换检测,为什么C++编译器干脆不直接放开这个限制,一切让程序员自己作主呢?当然是有原因的,因为类成员函数和普通函数还是有区别的,允许转换后,很容易出错,这个在后面会有详细的说明。现在先看看取类成员函数地址的两种方法: . ~0 F v+ }7 K& O. @3 \, Y( ^0 x
0 ~- J$ l' g) k0 a. q
第一种方法: ; y& L8 Z5 P0 U* n4 t$ R
7 i. b- X2 Q. l3 c
+ ]: L/ m L4 I1 A1 ^9 V5 Utemplate $ `' B2 m+ ^! q- X) ]* e
void GetMemberFuncAddr_VC6(ToType& addr,FromType f) 4 k* D+ p& Q2 }
{
/ w2 n. q4 D, R: C) \ union
8 O7 J9 P% J6 Y% n; ]' m {
/ D$ m8 m! J; e/ Y. R1 M FromType _f; 9 Y% A+ W, {8 p6 V
ToType _t;
9 m j6 p E# j6 q) B3 s. k" a7 O }ut;
( A4 H# C/ [" s; m. a, e4 B' c% r3 D$ g! }( E6 |
ut._f = f;
( B3 ?& B* z, x6 h; q/ w
- a, B! \5 ]& a' _% F) H addr = ut._t; . m; Z% \2 i3 t' x! E* |% x
}
& l. s* B/ P% K! w. Z! h+ }+ Z( E
) `1 {1 O6 Q8 J
这样使用: ( d" j# K- J) e' Q" B2 v
6 P. U2 s# ~. R7 TDWORD dwAddrPtr; . s+ m$ H2 _4 F" _ Q9 m6 u
! N% T) P- F0 K! p/ X2 b
GetMemberFuncAddr_VC6(dwAddrPtr,&tt::foo);
* \$ E! @4 G2 C, K) r8 p% h9 e" C$ a; P. r
为什么使用模版? 呵呵,如果不使用模版,第二个参数该怎么些,写成函数指针且不说太繁琐,关键是没有通用性,每个成员函数都要单独写一个转换函数。
7 @& X# x1 [0 @2 w+ z
0 g& R$ N- C3 _3 h: A: x第二种方法:
: u) q) t9 Y8 H#define GetMemberFuncAddr_VC8(FuncAddr,FuncType)\
0 }; h) [. n! j7 u2 |{ \
$ |& n; H. j4 A3 s# z __asm \
3 p& N( c9 H+ Y1 S* x3 t5 ` { \ . i9 Z5 [9 b* s7 f4 Y
mov eax,offset FuncType \
9 M4 y' [$ n4 ]9 p0 r6 X7 H! O }; \ 7 D) T1 I+ T2 O) f5 I- J
__asm \ C: k$ _# O2 N5 R8 [- J" y6 ~9 p
{ \ . v7 c* p0 x. `: M+ K) t! m
mov FuncAddr, eax \
' [' w8 s; S4 A/ u' w }; \ ! b$ I: M* N; s& f) l% n
}
7 S# X. T' T, u H3 Q7 ^( @4 B2 _. \7 W8 }+ Z4 o
* }7 v) [5 C0 X2 k c( T
这样使用: n! Y& r* J0 G2 E& r! g/ d
2 N% b3 k9 v7 ^# a6 tDWORD dwAddrPtr;
# y9 C! Q' W. d: |" v; H
+ D4 ]' R! U" e: _! pGetMemberFuncAddr_VC8(dwAddrPtr,&tt::foo);
: l2 K' q, t0 o: T, F
& m( x1 @% k9 [, j3 m+ I$ Z 本来是想写成一个模版函数的,可惜虽然通过了编译,却不能正确运行。估计在汇编代码中使用模版参数不太管用,用offset取偏移量直接就得0。
6 G( u# O* l6 g! `+ L& E; b 上面的宏是可以正确运行的,并且还有一个额外的好处,就是可以直接取私有成员函数的地址(大概在asm括号中,编译器不再检查代码的可访问性)。不过缺点是它在vc6下是无法通过编译的,只能在VC8下使用。 5 ]- e* \/ p4 W% r3 S% f+ A, @" J% t4 p
! A1 n$ P- E1 M/ W. d t- z三、调用成员函数地址 + g* H$ y& M# q ~5 H2 T6 m& m
9 }- i) \! W: W* E9 L/ G 通过上面两个方法,我们可以取到成员函数的地址。不过,如果不能通过地址来调用成员函数的话,那也还是没有任何用处。当然,这是可行的。不过在这之前,需要了解关于成员函数的一些知识。 % G% `0 X9 k- @* \9 o) b+ I6 u
我们知道,成员函数和普通函数最大的区别就是成员函数包含一个隐藏的参数this指针,用来表明成员函数当前作用在那一个对象实例上。根据调用约定(Calling Convention)的不同,成员函数实现this指针的方式也不同。如果使用__thiscall调用约定,那么this指针保存在寄存器ECX中,VC编译器缺省情况下就是这样的。如果是__stdcall或__cdecl调用约定,this指针将通过栈进行传递,且this指针是最后一个被压入栈的参数,相当于编译器在函数的参数列表中最左边增加了一个this参数。 . k$ Q! Y8 A- J
这里还有件事不得不提,虽然vc将__thiscall类型作为成员函数的默认类型,但是vc6却没有定义__thiscall关键字!如果你使用__thiscall来定义一个函数,编译器报错:'__thiscall' keyword reserved for future use。
$ h7 h5 `1 K& {& N5 ], |" [3 N) z% N0 I0 ^5 z) x
知道这些就好办了,我们只要根据不同的调用约定,准备好this指针,然后象普通函数指针一样的使用成员函数地址就可以了。
* z; f+ t+ u: j. `# t! E! f4 p2 q, v3 N2 A" G2 A
对__thiscall类型的成员函数(注意,这个是VC的默认类型),我们在调用之前加一句: mov ecx, this; 然后就可以调用成员函数指针。例如: ; d \: j% D; c; X
7 v3 R8 P, ^, k6 B; |1 a5 [* u
class tt 3 A n* Y7 a- U/ N l6 v% t
{ 4 m( h% X) J0 q
public: * K# }; @. h: X( w
# c9 t' b$ F7 ~; t0 I4 Q% s3 E+ G
void foo(int x,char c,char *s)//没有指定类型,默认是__thiscall.
, [* A( x+ b# u2 R1 \ {
& R+ m8 p' l/ n5 u8 c printf("\n m_a=%d, %d,%c,%s\n",m_a,x,c,s); , o, c/ ~! T2 l% [' Q
} 4 P; b2 ~8 Q: j H* k* p
/ M; P; j) o6 z( K1 ]) H3 X0 c int m_a; % t1 `+ x7 e' Z3 B1 s R: A: X
};
% h% E S- F2 E t- L+ L/ ?' n0 m6 d Y2 m7 N# `
typedef void (__stdcall *FUNCTYPE)(int x,char c,char *s);//定义对应的非成员函数指针类型,注意指定__stdcall.
+ S9 J4 p1 Z+ s- f
* ~, B) g! N( `7 l
' _) b9 r( g5 H& r* r tt abc;
; c) j4 N% b6 Z% N$ t* J abc.m_a = 123; $ ~5 d( {6 x: y# q; K2 D
1 Q# u; o( \: {) N
DWORD ptr;
9 n0 z/ f. P! O) D6 W DWORD This = (DWORD)&abc; $ G7 d3 y6 [% R# f% ^& u
I6 y! v; `- D GetMemberFuncAddr_VC6(ptr,tt::foo); //取成员函数地址.
) K, A+ E3 D% F5 s# P
5 d! V7 { ^2 Y0 L) C FUNCTYPE fnFooPtr = (FUNCTYPE) ptr;//将函数地址转化为普通函数的指针.
" z1 N8 H& M2 o5 X# i) c
( j! K1 j/ }3 B) d __asm //准备this指针. 5 ^% X7 V+ K) O3 z5 @' m' a) S
{
6 ` \# _! |* W* H, r mov ecx, This; 3 v3 d2 L6 A9 z
}
: F6 k4 G/ V5 t4 h+ z
9 l) G+ {: I' H; ?8 _, |( Q fnFooPtr(5,'a',"7xyz"); //象普通函数一样调用成员函数的地址. ( s$ k. }0 R! B# r& N* D
' O& l( ~! S1 i8 ^ 对其它类型的成员函数,我们只要申明一个与原成员函数定义完全类似的普通函数指针,但在参数中最左边加一个void * 参数。代码如下: 3 z* S" e N/ V6 `! T
class tt
% M1 d+ P$ A9 o9 h# r{ / N, w2 ?" D! z" y
% O& @8 B) c- i0 H* mpublic:
+ b4 H* E6 a2 \$ ~# c+ H8 S9 v2 ?% Y
% b! {% M" {3 Q$ u, b1 {1 j8 M" b void __stdcall foo(int x,char c,char *s)//成员函数指定了__stdcall调用约定. # I7 H& j1 b7 Y$ B1 A
{
* X+ u. F4 _7 U printf("\n m_a=%d, %d,%c,%s\n",m_a,x,c,s);
: [8 q' @9 t$ {$ V. b } ( G) s3 A, j9 |6 X0 F
( { P/ } N& ~( Z3 b5 f! V! A int m_a;
- c8 A0 X* A6 V}; & z- W* P5 A; q7 v: [( t2 V
$ n# O4 m$ |! Z2 s$ ~
typedef void (__stdcall *FUNCTYPE)(void *This,int x,char c,char *s);//注意多了一个void *参数.
* ?* v& P' e1 a2 R2 o% H0 V) r U0 o8 f
tt abc; 6 M$ z$ ~. n) h# i, ?4 `# ]
abc.m_a = 123;
( V: N8 `9 f. K& B0 O3 p' H0 B: x( j. x1 N+ g8 g! t
DWORD ptr; 6 M$ j! T1 `* S/ ?; q0 f' D: O
5 f/ n5 k3 y" J, k% T8 T8 _& a0 Z" L6 g
GetMemberFuncAddr_VC6(ptr,tt::foo); //取成员函数地址. , \. ]" y6 R+ j) L7 x* P
; P7 \5 y; ]$ m( w$ | FUNCTYPE fnFooPtr = (FUNCTYPE) ptr;//将函数地址转化为普通函数的指针. ' z/ e$ B% R; z' n7 q
& \$ o8 @8 {& u9 _% O fnFooPtr(&abc,5,'a',"7xyz"); //象普通函数一样调用成员函数的地址,注意第一个参数是this指针. : |* a# k8 O. Q
每次都定义一个函数类型并且进行一次强制转化,这个事是比较烦的,能不能将这些操作写成一个函数,然后每次调用是指定函数地址和参数就可以了呢?当然是可以的,并且我已经写了一个这样的函数。
2 R* @" V% r) B6 F* b//调用类成员函数 : h0 y* x6 }* h5 j
//callflag:成员函数调用约定类型,0--thiscall,非0--其它类型.
/ n1 m6 S8 W2 k, c- L//funcaddr:成员函数地址.
9 Q# g7 x% M1 X2 T' y//This:类对象的地址.
- H6 S5 E, f9 P/ Q//count:成员函数参数个数. 8 p6 |3 \1 y+ L9 B% _
//...:成员函数的参数列表.
, U! x& t% F4 [' R& qDWORD CallMemberFunc(int callflag,DWORD funcaddr,void *This,int count,...) ' c7 d" i/ l# S) i
{ j6 {4 t0 e- t! ^
DWORD re; . x* L8 n) e8 i; R. `$ {. R1 |
[( z3 m* B) p$ Y- @, O2 ^
if(count>0)//有参数,将参数压入栈.
+ ]4 g" L* A7 y7 u0 n- d8 c' ] {
) g' N3 P6 ~% E& m# a# P# y$ q x- v& R __asm - w2 Q6 [6 {5 ?( |* u9 [
{
8 Z7 c5 e; L5 X6 d mov ecx,count;//参数个数,ecx,循环计数器.
' q4 u8 B& @7 T8 N; w& N0 d- b8 X mov edx,ecx;
/ S/ j& w0 w/ s& h8 |2 K shl edx,2;
& Y& K4 {1 |) {( N add edx,0x14; edx = count*4+0x14; ) t' m! W( P2 O! u& D
6 |; M! ^3 ~! H( z( s9 E* P7 w9 c next: push dword ptr[ebp+edx];
+ y0 f' m* C& d- F) | sub edx,0x4;
4 R* n& l& C% [1 J) f/ b dec ecx
/ \, ~+ @0 G8 D( M jnz next; ' k% J! x* }, U& Z$ j5 F7 b
} * S z8 _* G8 m4 ^7 l
} 9 F6 [5 k8 H2 ~* j' t* |1 H
- O( l( B# M! v# q* A% T! x# L! z //处理this指针. * A# z, u3 X! g, A7 P: z. z2 ]
if(callflag==0) //__thiscall,vc默认的成员函数调用类型.
" v2 o, G+ i: P A# S, F) ~ { % J% d8 y" o1 k% N4 T$ ?% Z3 D
__asm mov ecx,This; 8 }# W4 ~) g8 U4 g* J
}
% c/ f1 B M9 ]' v8 [* r/ ?! a else//__stdcall
3 r# ^+ Q! i! _ @4 Y! t { " }/ Y- `9 O0 |8 @' Q+ F2 ]6 l: K
__asm push This; 4 i K2 g$ {# ~5 D) ^9 }
}
, s7 U$ f- k0 i* e0 }$ X; Z
) @1 s" F* s* t1 i: n, g __asm//调用函数 , d* H+ ?# q% n1 G0 }$ n
{ ( l' R# Z- T4 k) s8 B
call funcaddr; ; `, @/ p, P0 j- g' T- V4 K ?
mov re,eax;
7 K/ C B; V( X6 }% E }
$ W, T' t4 c+ M( }; s- B+ Y; G! Q- Z
return re; - V9 ~ L# t/ [* V' G& {* V# W
} 9 P0 T/ {# A4 X
使用这个函数,则上面的两个调用可以这样写:
/ ~. a8 C( i; q$ M: X: j% n9 m6 |
CallMemberFunc(0,ptr1,&abc,3,5,'a',"7xyz");//第一个参数0,表示采用__thiscall调用. + q; ?% k6 q8 z% P( [$ R
- z! }' Z6 b( G) T; U
CallMemberFunc(1,ptr2,&abc,3,5,'a',"7xyz");//第一个参数1,表示采用非__thiscall调用. 8 p3 M( A9 z0 {! n9 k
6 O6 M/ H$ R. X; l* L* q 需要说明的是,CallMemberFunc是有很多限制的,它并不能对所有的情况都产生正确的调用序列。原因之一是它假定每个参数都使用了4个字节的栈空间。这在大多数情况下是正确的,比如参数为指针,char,short,int,long以及对应的无符号类型,这些参数确实都是每一个参数使用了4字节的栈空间。但是还有很多情况下,参数不使用4字栈空间,比如double,自定义的结构或类.float虽然是占了4字节,但编译器还产生了一些浮点指令,而这些无法在CallMemberFunc被模拟出来,因此对float参数也是不行的。 7 w' k: o. y) [) g% Y
总结一下,如果成员函数的参数都是整型兼容类型,则可以使用CallMemberFunc调用函数地址。如果不是,那就只有按前面的方法,先定义对应的普通函数类型,强制转化,准备this指针,然后调用普通函数指针。 ' W. F* X/ U1 z) L
! U' I+ p) \- Z7 ~! j四、进一步的讨论 . |7 [0 K( E9 I6 g9 n
) S* n5 J, Q- z" t4 E 到目前为止,已经讨论了如何取成员函数的地址,然后如何使用这个地址。但是还有些重要的情况没有讨论,我们知道成员函数可分为三种:普通成员函数,静态,虚拟。另外更重要的是,在继承甚至多继承下情况如何。 * [! K2 p: m9 ]9 ~) D
2 n; x, L9 d! Z7 B/ _4 L9 h
首先看看最简单的单继承,非虚拟函数的情况。
% Z- K/ m Q+ i$ o5 l+ I
. c. K/ x, s8 _6 S: n/ }! y4 ~ m# q9 N4 o+ M5 o
class tt1 4 J, P* y: [% X/ }9 ]$ F3 S
{
2 L* w% w1 R: fpublic: 8 f# C- i5 y% A9 \9 M
void foo1(){ printf("\n hi, i am in tt1::foo1\n"); } 7 i% ~' T( k' D( G! w
};
0 Y* k1 C* {* r" Q5 x" z
% j$ k' Y% M$ Jclass tt2 : public tt1
0 v2 O- v9 h; ?. p6 o3 N- e{ - V' S: L2 H2 h# d
public: a& C: v" h3 P
void foo2(){ printf("\n hi, i am in tt2::foo2\n"); }
$ J; S) U0 L2 k$ j5 r3 S9 i( G};
2 R0 k" I# G: A# v8 ^" ]% u
1 l$ D, v2 g8 l1 d3 s; D. Y注意,tt2中没有定义函数foo1,它的foo1函数是从tt1中继承过来的。这种情况下,我们直接取tt2::foo1的地址行会发生什么? 2 g! ^7 c9 j# l% g% X$ S
+ s7 `# ]! E4 o* `5 g- l' [DWORD tt2_foo1; ; L3 m, r6 O' m5 m1 Y+ H
tt1 x; 9 t7 l/ S& K" z& `4 ]1 M
* ~& f+ c+ X, Q$ l+ G
GetMemberFuncAddr_VC6(tt2_foo1,&tt2::foo1); & R1 X7 j3 r4 ?" c8 |# ]! W7 |2 D/ n; t
CallMemberFunc(0,tt2_foo1,&x,0); // tt2::foo1 = tt1::foo1 % l* N. J6 ]& E) G( J/ m( z
运行结果表明,一切正常!当我们写下tt2::foo1的时候,编译器知道那实际上是tt1::foo1,因此它会暗中作替换。编译器(VC6)产生的代码如下:
3 H+ Y; g. C2 u- P7 ^8 u5 K# H; {! K A1 X3 O
GetMemberFuncAddr_VC6(tt2_foo1,&tt2::foo1); //源代码.
1 B1 {2 n% B3 n1 u
. T' P. w& J% m//VC6编译器产生的汇编代码:
4 {3 G; T7 n7 o* P- L$ {0 D0 D( `6 v; \
push offset @ILT+235(tt1::foo1) (004010f0) //直接用tt1::foo1 替换 tt2::foo1. ' m( y# L) w c/ `. x3 \1 i" V
...
5 ^1 [' m9 B3 d/ o% d; Q T+ t再看看稍微复杂些的情况,继承情况下的虚拟函数。 " L; M$ I# y9 a6 v- M J$ Y" ~
; m# M( A0 f' e) R7 \: V' aclass tt1
9 W5 w t- }4 z) U' w: C" R{
# i4 D0 C# u8 H! |) j- xpublic: 9 O- @& S& F) V
void foo1(){ printf("\n hi, i am in tt1::foo1\n"); }
2 ~3 u* ?( z7 ~& g/ l% y$ ?3 O virtual void foo3(){ printf("\n hi, i am in tt1::foo3\n"); } 8 m! e+ z* i9 P( Z
};
" t: x9 m O# o2 [- P# X1 z( O
7 P3 a1 L0 @7 Y+ A& ]' qclass tt2 : public tt1 : ~; H0 j ^- o. i) W
{
4 m# @' E& o% X6 d1 {public:
4 k1 `2 I% Y) S9 _3 z void foo2(){ printf("\n hi, i am in tt2::foo2\n"); } 9 C6 D/ H1 V$ _, e! w% u; M5 D
virtual void foo3(){ printf("\n hi, i am in tt2::foo3\n"); }
s9 l5 o( f! @: k) u% q! c};
9 e I6 O/ |+ m' T4 v现在tt1和tt2都定义了虚函数foo3,按C++语法,如果通过指针调用foo3,应该发生多态行为。下面的代码:
3 `- [- Q h0 _9 t- m$ G
- j4 s% Q* d @DWORD tt1_foo3,tt2_foo3; 1 F! U5 w. p( ]! M
) F2 f$ {2 c. ?
GetMemberFuncAddr_VC6(tt1_foo3,&tt1::foo3);
2 @5 m1 ^# y5 I) z* \GetMemberFuncAddr_VC6(tt2_foo3,&tt2::foo3); ; E- i$ f4 h* g& ?; z8 e `
0 Q# U6 y. p; R. s
tt1 x; 9 T+ {- @- s0 X0 R. R/ @, b
tt2 y;
" s$ V+ c+ O1 R6 ]+ v. q# E# ~* ]4 C* d: y; ^
CallMemberFunc(0,tt1_foo3,&x,0); // tt1::foo3
, ]% L( y) L( RCallMemberFunc(0,tt2_foo3,&x,0); // tt2::foo3
: @1 Z- b6 T$ F3 J2 j, B5 P6 I& [, I/ n0 A/ i$ J0 u# _
CallMemberFunc(0,tt1_foo3,&y,0); // tt1::foo3
7 D J! q( R8 L. r E/ |9 [CallMemberFunc(0,tt2_foo3,&y,0); // tt2::foo3 3 m/ _: o$ Z& m! P
输出如下: . R' v, \4 V: h: A2 y
. v3 ^1 e! y$ K9 {+ ^9 ?# D1 Fhi, i am in tt1::foo3 8 y) U) S! @5 a$ T8 w
hi, i am in tt1::foo3 " H Z5 w$ t# F: f0 W) C
hi, i am in tt2::foo3 ( E0 K/ v# @& z4 S9 X9 `
hi, i am in tt2::foo3 . l2 Y* w o# x( r) T, ^6 U
请注意第二行输出,tt2_foo3取的是&tt2::foo3,但由于传递的this指针产生是&x,所以实际上调用了tt1::foo3。同样,第三行输出,取的是基类的函数地址,但由于实际对象是派生类,最后调用了派生类的函数。这说明取得的成员函数地址在虚拟函数的情况下仍然保持了正确的行为。 , U. E, u/ }4 S9 s% q, Y6 i3 l
你若真的理解了上面所说的,一定会觉得奇怪。取函数地址的时候就得到了一个整数(成员函数地址),为何调用的时候却进了不同的函数? 只要看看汇编代码就都清楚了,"源码之前,了无秘密"。源代码: GetMemberFuncAddr_VC6(tt1_foo3,&tt1::foo3); 产生的汇编代码如下:
0 N7 ~/ I P. {' ]9 G
+ ^2 W! { N" \4 j% N: }, |push offset @ILT+90(`vcall') (0040105f) ! [$ d' `) Q: R$ f. m
...
: H8 k2 e+ g6 y8 a 原来取tt1::foo3地址的时候,并不是真的就将tt1::foo3的地址传给了函数,而是传了一个vcall函数的地址。顾名思义,vcall当然是虚拟调用的意思。我们找到地址0040105f,看看这个函数到底干了些什么。
' f- G+ |5 d' l2 j* r2 X; ~: q
6 {+ S" F$ @% T7 F2 c/ p@ILT+90(??_9@$BA@AE):
0 S; O* j- F( L/ w/ b0 _- n0040105F jmp `vcall' (00401380)
3 h6 F! V0 I+ D4 U5 u该地址只是ILT的一个项,直接跳转到真正的vcall函数,00401380。找到00401380,就可以看到vcall的代码。
# q- g. Q* I1 }1 t
0 r! S9 w: M- y M$ R`vcall': 8 J" ?1 i6 i% w& I2 g9 o& W
00401380 mov eax,dword ptr [ecx] ;//将this指针视为dword类型,并将指向的内容(对象的首个dword)放入eax.
: ? |7 ]; }5 [00401382 jmp dword ptr [eax] ;//跳转到eax所指向的地址. , d' c7 c4 v. o3 @- f/ P8 X/ S
代码执行的时候,ecx就是this指针,具体说就是上面对象x或y的地址。而eax就是对象x或y的第一个dword的值。我们知道,对于有虚拟函数的类对象,其对象的首地址处总是一个指针,该指针指向一个虚函数的地址表。上面的对象由于只有一个虚函数,所以虚函数表也只有一项。因此,直接跳转到eax指向的地址就好。如果有多个虚函数,则eax还要加上一个偏移量,以定位到不同的虚函数。比如,如果有两个虚函数,则会有两个vcall代码,分别对应不同的虚函数,其代码大概是下面的样子: ! b' _/ t9 C( |; ^; F
. |* d/ {" z7 t2 G5 L`vcall':
- r3 ?5 N& V6 ?) g/ [6 E00401BE0 mov eax,dword ptr [ecx]
6 ]5 a3 |( G+ B G! E00401BE2 jmp dword ptr [eax] 9 I5 O5 A o& H0 o4 e8 \3 ]
, j+ d1 [2 O/ p2 [`vcall':
7 x# i; n& Q' _1 B! X. j5 T" _' \) Z. q00401190 mov eax,dword ptr [ecx]
0 H: P$ b. \1 L3 a5 k6 y8 X# Q; z+ l* C00401192 jmp dword ptr [eax+4] / ^# S0 W u& l3 s3 ~9 C
编译器根据取的是哪个虚函数的地址,则相应的用对应的vcall地址代替。
; J |/ g* ] _9 Z1 s0 w9 J+ y* Z2 q3 c# q5 k% B( H5 M9 D
总结一下:用前面方法取得的成员函数地址在虚拟函数的情况下仍然保持正确的行为,是因为编译器实际上传递了对应的vcall地址。而vcall代码会根据上下文this指针定位到对应的虚函数表,进而调用正确的虚函数。 6 S# V9 G9 L' |2 ]) ^9 Q8 G9 ]
最后,我们看一下多继承情况。很明显,现在情况要复杂得多。如果实际试一下,会碰到很多困难。首先,指定成员函数的时候可能会碰到冲突。其次,给定this指针的时候需要经过调整。另外,对虚拟继承可能还要特别处理。解决所有这些问题已经超出了这篇文章的范围,并且我想要的成员函数指针是一个真正的指针,而在多继承的情况下,很多时候成员函数指针已经变成了一个结构体(见参考文献),这时要正确调用该指针就变得格外困难。因此结论是,上面讨论的方法并不适用于多继承的情况,要想在多继承的情况下直接调用成员函数地址,必须手工处理各种调整,没有简单的统一方法。
8 Q0 d& I/ g. r* g" ^) u. B. f( P, K1 D5 o
参考文献 成员函数指针与高性能的C++委托 |