为什么在这种情况下 NULL 取消引用不会导致未定义的行为 [重复]

Question

我遇到了一段代码，其中 NULL 被强制转换为结构指针类型 (foo *) 0，并且该指针取消引用成员 ((foo *)0)->m)，并使用该 &(((foo *)0)->m)) 的地址并将其类型强制转换为整数获取该成员在结构中的内存索引。((unsigned int)(&(((foo *)0)->m)))。

我还看到这个宏具有通过给出索引来给出偏移量的特定行为。请尝试帮助启发我。感谢输入。

#include <stdio.h>
#define  MACRO(m) ((unsigned int)(&(((foo *)0)->m)))

typedef struct
{
int a;
int b;
int c;
int d;
}foo;

int main(void) {
    printf("\n  %d  ", MACRO(c));
    return 0;
}

Answer 1

（正如 cmets 中明确指出的那样，这个答案在技术上并不正确。但是，我保留这个答案是为了让您直观地了解正在发生的事情。）

获取任何变量x 的地址&x 并不实际评估x。

专门针对指针foo *p，&(*p) 不会取消引用p。事实上，&(*p) 就等于 p。

您的示例有点做作，因为它没有获得某些*p（在您的情况下为p = (foo *) 0）的地址，而是其中一个成员的地址。 但是，争论仍然成立：p->m 只是一个变量，获取该地址永远不会评估变量本身。

您可以想象，“在后台”，编译器只计算地址，直到您真正访问数据。通过&x 获取地址永远不会访问该数据。