马上注册,结交更多好友,享用更多功能^_^
您需要 登录 才可以下载或查看,没有账号?立即注册
x
本帖最后由 kangels 于 2013-3-19 10:23 编辑
- n% Z8 i( W! Q$ n9 o6 H4 K: g& Y) s; _' \1 ]/ Z- o& o
丢失的类型信息
0 X6 E8 I m, e8 h. l; S猜测. U p$ w4 F @: P/ I4 X
指针变量应该存储两方面的信息:地址,类型信息# ^0 O7 w4 M9 x) ]/ y, v
3 D1 n! B/ v( c6 r! g7 M
实证
: J. R6 {# F( K4 j) r8 [4 j用sizeof(),float *,int*,double *....都是4字节没有存储类型信息只有地址信息
! T( |4 s* Z2 |& k; J8 \" a反汇编一段代码来看看& N2 \: S9 F! I; I$ R' E d1 Y# V
实例1:
, p& K- _" z# o( D$ p/ P d: E#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 ! n1 Y( q2 s/ l: W+ g
4 W8 C- y J1 _8 B' u# C7 ]
实例2:; B" A; }% {2 S/ n' l; y0 z8 W
#include <stdio.h> short gs; short * ps; void main(int argc, char **argv) { ps = &gs; *ps = 12; } 1 C/ O, G1 q$ |+ T) N* P5 y
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 1 Y6 ^1 ]; G$ r+ g1 |
5 T2 h( y* b1 \2 [' e4 L
实例3:) p9 J3 l2 p1 J0 m7 s$ q$ Z
#include <stdio.h> char gc; char * pc; void main(int argc, char **argv) { pc = &gc; *pc = 12; } ; q2 L5 t' [' @* w- U( V
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
6 S9 K' i! x, v' |/ X% ^* y7 L1 m- x$ W8 I- ?9 z! t; R
可以看出指针的类型信息决定了赋值/读取时读/写多少个字节。
/ s' ]% j* N% \% _& ~2 N- ^* A3 G7 O读/写多少字节的信息不是存放在指针变量中,而是放到了与该地址相关的赋值指令中。$ h" ^! \( n9 \) c/ A* b
|