从汇编的角度看待变量类型与sizeof的机制

　　1.动机：前段时间，一直有个疑问，就是编译器是从哪里知道数据的类型的，数据的类型是存在内存里面的么，因为自己调试编译器，发现内存中并没有多余的数据，后来在群上发问，才知道数据在编译成汇编的过程就知道数据的类型了，也就是数据的类型识别时在内存代码区里

　　观察代码

#include<stdio.h>
#include<string.h>

struct data{
    short a;
    long b;
    long long c;
    float e;
    double f;
    double g;
    bool h;
    char i;
};

int main(){

    data temp;
    temp.a=;
    temp.b=;
    temp.c=;
    temp.e=;
    temp.f=;
    temp.g=;
    temp.h=;
    temp.i=;
}

在汇编里

    data temp;
    temp.a=;
004113BE  mov         eax,
004113C3  mov         word ptr [temp],ax
    temp.b=;
004113C7  mov         dword ptr [ebp-30h],
    temp.c=;
004113CE  mov         dword ptr [ebp-2Ch],
004113D5  mov         dword ptr [ebp-28h],
    temp.e=;
004113DC  fld         dword ptr [__real@ (41575Ch)]
004113E2  fstp        dword ptr [ebp-24h]
    temp.f=;
004113E5  fld         qword ptr [__real@ (415750h)]
004113EB  fstp        qword ptr [ebp-1Ch]
    temp.g=;
004113EE  fld         qword ptr [__real@ (415740h)]
004113F4  fstp        qword ptr [ebp-14h]
    temp.h=;
004113F7  mov         byte ptr [ebp-0Ch],
    temp.i=;
004113FB  mov         byte ptr [ebp-0Bh],
}

可以明显观察到short是word,int 是dword，long long是dword。。。

但是，问题又来了，int 与float都是dworld,char与bool都是byte，这个咋区分?

2.sizeof

　　本来一直以为sizeof也是个函数，现在才知道sizeof是个关键字

　　在汇编中的时候，sizeof就直接赋值了

    int len=sizeof(temp);
　0041143F  mov         dword ptr [len],30h 

3.sizeof的宏实现

　　可以利用指正ptr 与(ptr+1)的内存偏移量来求类型或是变量的内存占用量

　　

//变量类型类型
#define _sizeof(T) (size_t)((T*)0 + 1)
//变量或是数组名
#define array_sizeof(T)   ( (size_t)(&T+1)  - (size_t)(&T)  )

到了这时，以为问题解决了吗？才不是，继续探究指针重载++符号的原理是什么？