指针←丢失的类型信息

kangels

' q( E, W6 F* g# \# w  N丢失的类型信息
+ D% ~+ z! l1 U5 @猜测
: I, G" o5 x2 i( S+ H指针变量应该存储两方面的信息：地址，类型信息
4 |3 t$ `+ G! \& @0 |# k% Y
: F2 e) G4 a! T$ G0 _9 a8 d实证
) h: |2 Y  w$ F; m, n$ H用sizeof()，float *,int*,double *....都是4字节没有存储类型信息只有地址信息
. E% ~* K7 `* r* `9 y# Q5 O1 Z反汇编一段代码来看看
实例1：
$ C7 b# S$ }  R: D$ r& C

#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              
* H$ i+ S/ T4 A
4 `' C$ @5 p+ x实例2：
: ?  L( L, ~% R6 L4 t" {

#include <stdio.h>

short gs;

short * ps;

void main(int argc, char **argv)

{

   ps = &gs;

   *ps = 12;

}

    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            
, q- T1 x* Z* _  S
' ]0 G5 t  c$ E2 t0 t' U实例3：
2 B, I& `" `0 q- [5 }

#include <stdio.h>

char gc;

char * pc;

void main(int argc, char **argv)

{

   pc = &gc;

   *pc = 12;

}

5 n7 Q! B; n# R

    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        

可以看出指针的类型信息决定了赋值/读取时读/写多少个字节。
2 ?* A0 i1 W! t( [8 f$ a( F读/写多少字节的信息不是存放在指针变量中，而是放到了与该地址相关的赋值指令中。
! a) g0 E! s. o$ H$ a

(@_@)

貌似很高深的反汇编

(@_@)

我个人认为：指针存储的只是地址信息，不包括类型，在定义指针之前的类型是给编译器看得，这样编译器就知道处理什麽相同类型的变量，关于类型计算机是不认识的，加入类型这个概念是人为的在设计编译器的时候加入的，类型的引入是一个伟大的创举

kangels

(@_@) 发表于 2013-3-13 01:30

8 G: n; Q$ B' L5 l4 Y2 V8 S! _                               
登录/注册后可看大图

$ U- y2 Y3 R& P0 h) d我个人认为：指针存储的只是地址信息，不包括类型，在定义指针之前的类型是给编译器看得，这样编译器就知道 ...

3 Q2 W0 V6 [) C  z6 _6 O+ z同感！类型只是告诉编译器生成机器指令时对地址读写长度的定义