马上注册,结交更多好友,享用更多功能^_^
您需要 登录 才可以下载或查看,没有账号?立即注册
x
本帖最后由 kangels 于 2013-3-19 10:23 编辑 ! A( L# z( ]- Y4 {% z. R' a
6 m% N3 Q9 q( P5 y2 p/ h% e
丢失的类型信息
; \, N# e& d$ e6 Q- B9 L猜测% k7 m$ m2 i9 n5 V4 l# Q
指针变量应该存储两方面的信息:地址,类型信息
, m) F! W9 U/ v$ f* d$ E o: \) `4 Y' p
实证 j7 L# D0 c! U0 T9 A: Y
用sizeof(),float *,int*,double *....都是4字节没有存储类型信息只有地址信息
- q1 N }$ b7 T# S1 I3 o& C3 h0 I- s反汇编一段代码来看看7 c( p1 ~' f$ K. C: @
实例1:
2 c& x. z: s: \; n#include <stdio.h> int gi; int * pi; void main(int argc, char **argv) { pi = &gi; *pi = 12; } 1: #include <stdio.h> 2: int gi; 3: int * pi; 4: void main(int argc, char **argv) 5: { 00411370 push ebp 00411371 mov ebp,esp 00411373 sub esp,0C0h 00411379 push ebx 0041137A push esi 0041137B push edi 0041137C lea edi,[ebp+FFFFFF40h] 00411382 mov ecx,30h 00411387 mov eax,0CCCCCCCCh 0041138C rep stos dword ptr es:[edi] 6: pi = &gi; 0041138E mov dword ptr ds:[00417140h],417144h 7: *pi = 12; 00411398 mov eax,dword ptr ds:[00417140h] 0041139D mov dword ptr [eax],0Ch 8: } 004113A3 xor eax,eax 004113A5 pop edi 004113A6 pop esi 004113A7 pop ebx 004113A8 mov esp,ebp 004113AA pop ebp 004113AB ret & X9 n# ^, k; s* P
- K7 E; x* }1 z7 J! m. V) o
实例2:
" R; r. Z1 d+ K' n1 V#include <stdio.h> short gs; short * ps; void main(int argc, char **argv) { ps = &gs; *ps = 12; }
' @) I* T# {- a$ ?2 f6 | 1: #include <stdio.h> 2: short gs; 3: short * ps; 4: void main(int argc, char **argv) 5: { 00411370 push ebp 00411371 mov ebp,esp 00411373 sub esp,0C0h 00411379 push ebx 0041137A push esi 0041137B push edi 0041137C lea edi,[ebp+FFFFFF40h] 00411382 mov ecx,30h 00411387 mov eax,0CCCCCCCCh 0041138C rep stos dword ptr es:[edi] 6: ps = &gs; 0041138E mov dword ptr ds:[00417140h],417144h 7: *ps = 12; 00411398 mov eax,0Ch 0041139D mov ecx,dword ptr ds:[00417140h] 004113A3 mov word ptr [ecx],ax 8: } 004113A6 xor eax,eax 004113A8 pop edi 004113A9 pop esi 004113AA pop ebx 004113AB mov esp,ebp 004113AD pop ebp 004113AE ret
- s0 l) b5 ^) @4 \
/ k9 A/ E/ @+ F. D1 d7 ~, p! |: K实例3:; y# `$ |; G+ p6 L2 S3 @' S
#include <stdio.h> char gc; char * pc; void main(int argc, char **argv) { pc = &gc; *pc = 12; }
; x& m) j! T' p7 G9 g% p! `2 T 1: #include <stdio.h> 2: char gc; 3: char * pc; 4: void main(int argc, char **argv) 5: { 00411370 push ebp 00411371 mov ebp,esp 00411373 sub esp,0C0h 00411379 push ebx 0041137A push esi 0041137B push edi 0041137C lea edi,[ebp+FFFFFF40h] 00411382 mov ecx,30h 00411387 mov eax,0CCCCCCCCh 0041138C rep stos dword ptr es:[edi] 6: pc = &gc; 0041138E mov dword ptr ds:[00417140h],417144h 7: *pc = 12; 00411398 mov eax,dword ptr ds:[00417140h] 0041139D mov byte ptr [eax],0Ch 8: } 004113A0 xor eax,eax 004113A2 pop edi 004113A3 pop esi 004113A4 pop ebx 004113A5 mov esp,ebp 004113A7 pop ebp 004113A8 ret 0 y E2 ]5 E% W7 ]- v4 @
" C: m+ T3 j! m7 ^3 @8 A; o7 p
可以看出指针的类型信息决定了赋值/读取时读/写多少个字节。
; D7 C, X* D) \8 |$ g0 n2 Z2 A读/写多少字节的信息不是存放在指针变量中,而是放到了与该地址相关的赋值指令中。: z2 ~( N3 f _5 I V( c8 U3 }5 F
|