sizeof的实现

最近用sizeof时，对其实现原理有些好奇，查找资料后记录一下

其实sizeof用在数组时，可以理解成下面这个宏定义

#define array_sizeof(T)   ( (size_t)(&T+1)  - (size_t)(&T)  )

假设现在有一个数组a；
事实上a和 &a结果都是数组的首地址。但他们的类型是不一样。 
a表示&a[0],也即对数组首元素取地址。a+1表示首地址+sizeof(元素类型)。
&a尽管值为数组首元素地址。但类型为：类型 (*)[数组元素个数],所以&a+1大小为：首地址+sizeof(a)。

基于上面对数组的理解，&T+1指针将会指到数组的末尾，这样末尾地址减去首地址，得出的正是数组的大小