嵌套结构和c中的严格别名

Question

请考虑以下代码:

typedef struct {
  int type;
} object_t;

typedef struct {
  object_t object;
  int age;
} person_t;

int age(object_t *object) {
  if (object->type == PERSON) {
    return ((person_t *)object)->age;
  } else {
    return 0;
  }
}

这是合法代码还是违反了C99严格别名规则？请解释为何合法/非法.

Answer 1

严格别名规则是指引用内存中相同位置的两个不同类型的指针(ISO/IEC9899/TC2).虽然您的示例将地址重新解释object_t object为地址person_t,但它不会object_t通过重新解释的指针引用内部位置,因为age它位于的边界之外object_t.由于通过指针引用的内存位置不相同,我会说它没有违反严格的别名规则.FWIW,gcc -fstrict-aliasing -Wstrict-aliasing=2 -O3 -std=c99似乎同意该评估,并没有产生警告.

但这还不足以确定它是合法代码:您的示例假设嵌套结构的地址与其外部结构的地址相同.顺便提一下,根据C99标准,这是一个安全的假设:

6.7.2.1-13.指向适当转换的结构对象的指针指向其初始成员

上面两个考虑使我认为您的代码是合法的.