#define FIELD_SIZE(t,f)（sizeof(((t*)0)->f)) 为什么没有错误

[依山不傍水]

如标题：
#define FIELD_SIZE(t,f)（sizeof(((t*)0)->f))
这个宏为什么用起来没有问题？
我的理解是
（t*）0 将地址强转类型， ->f 只是取址，并没有访问内存，所以没有问题。
那么sizeof 是如何计算数据类型占用多少内存的呢？

[fly_dragon_fly]

sizeof是编译时确定，如果连编译器都无法确定语句的类型，又怎么生成执行代码呢？

[一根烂笔头]

怎么像内核的代码

 84 #define container_of(ptr, type, member) ({                      \
 85         const typeof( ((type *)0)->member ) *__mptr = (ptr);    \
 86         (type *)( (char *)__mptr - offsetof(type,member) );})

自己搜container_of宏的解析 其实这个工作是编译器的做的

[赵4老师]

想完全彻底弄懂sizeof，请参考gcc源代码中实现sizeof函数部分。