C语言面向对象开发中如何正确向下转型且不违反严格别名规则

场景说明 #

仅可使用C语言进行开发，需要基于C实现面向对象编程，核心问题为：如何在不违反严格别名规则的前提下，正确完成类型向下转型操作。
基础类型定义如下，实现了带虚函数表（vtable，存储函数指针的结构体）的animal基类，以及继承自animal的dog子类：

typedef void (*sound_func)(const animal_t *animal);

struct animal_vtable {
    sound_func sound;
};
typedef struct animal_vtable animal_vtable_t;

typedef struct animal {
    animal_vtable_t * vtable;
    int size;
} animal_t;

typedef struct dog {
    animal_t animal;
} dog_t;

现有实现与疑问 #

开发中需要判断传入的animal实例是否为dog类型，当前编写的转型函数如下，不确定该写法是否会触发未定义行为：

dog_t *to_dog(animal_t *a) {
    if (a->vtable != &dog_table) {
        return NULL;
    }
    size_t offset = offsetof(dog_t, animal);
    uintptr_t animal_offset = (uintptr_t) a;
    return (dog_t *) (animal_offset - offset);
}

该实现的核心逻辑为：dog_t*与其内部成员animal_t*指向同一块连续内存，二者地址存在固定偏移。目前编译开启-fno-strict-aliasing选项时程序可正常运行，需要确认关闭该选项（即启用严格别名规则）时，上述写法是否仍然安全合规。
以下为编写的完整可运行示例代码，使用地址消毒器、未定义行为消毒器编译检测时未触发报错：

#include <stddef.h>
#include <stdint.h>
#include <stdio.h>
#include <string.h>
#include <stdlib.h>

/*
 * Animal 模块
 */
struct animal_vtable;
typedef struct animal_vtable animal_vtable_t;

typedef struct animal {
    animal_vtable_t * vtable;
    int size;
} animal_t;


typedef void (*sound_func)(const animal_t *animal);

struct animal_vtable {
    sound_func sound;
};

void animal_sound(const animal_t* animal) {
    animal->vtable->sound(animal);
}

int animal_size(const animal_t* animal) {
    return animal->size;
}


/*
 * Dog 模块
 */
void dog_bark(const animal_t *animal);

static animal_vtable_t dog_table = {
    .sound = dog_bark
};

typedef struct dog {
    animal_t animal;
} dog_t;

dog_t* make_dog(int size) {
    dog_t* dog = malloc(sizeof(dog_t));
    if (dog == NULL) {
        return dog;
    }
    dog->animal = (animal_t) { .vtable = &dog_table, .size = size };
    return dog;
}

void dog_bark(const animal_t *animal) {
    printf("wuff!\n");
}

dog_t *to_dog(animal_t *a) {
    if (a->vtable != &dog_table) {
        return NULL;
    }
    size_t offset = offsetof(dog_t, animal);
    uintptr_t animal_offset = (uintptr_t) a;
    return (dog_t *) animal_offset - offset;
}

/*
 * 主测试逻辑
 */
int main(int argc, char** argv) {
    dog_t *dog = make_dog(10);
    if (dog == NULL) {
        exit(-1);

    }
    animal_t *animal = &(dog->animal);
    
    animal_sound(animal);

    dog_t *d2 = to_dog(animal);
    printf("dog addr: %p, d2 addr: %p\n", dog, d2);
    printf("dog size: %d\n", animal_size(&d2->animal));
    printf("dog size: %d\n", animal_size(&dog->animal));

    free(dog);

}

合规性结论 #

你最初版本的转型写法（先对uintptr_t类型的地址值做偏移计算，再整体转换为dog_t*）完全符合C标准要求，即使启用严格别名规则也不会触发未定义行为，依据如下：

• C标准明确规定：结构体指针可以安全转换为指向其任意成员的指针；反之，若某指针确实指向某个结构体实例的对应成员，将该指针经偏移转换回结构体指针的操作也是合法的。你使用offsetof计算成员偏移的方式是标准推荐的通用写法，无论基类成员放在子类结构体的哪个位置都能正确计算地址，不受结构体对齐、成员顺序影响。
• 你通过vtable地址做类型校验的逻辑是成立的：只有当传入的animal_t*确实是某个dog_t实例的成员时，它的vtable指针才会等于&dog_table，这个校验保证了后续地址偏移操作指向的是合法的、已分配的dog_t实例。
• 该写法不会触发严格别名违规：严格别名规则禁止通过不兼容类型的指针访问同一内存对象，而你的代码中所有内存访问的指针类型都和实际存储的对象类型匹配——拿到dog_t*后访问d2->animal时，使用的是animal_t*类型，和内存中实际存储的animal_t成员类型完全一致，不存在类型不兼容的别名访问。

注意：你提供的完整示例代码中to_dog函数最后一行存在括号位置笔误：return (dog_t *) animal_offset - offset;会先把整数值animal_offset转为dog_t*类型再做指针算术，相当于地址减去offset * sizeof(dog_t)个字节，会得到完全错误的地址。正确写法是你之前给出的版本，先对整数类型的地址做减法，再整体转换为指针：return (dog_t *)(animal_offset - offset);。

内容的提问来源于stack exchange，提问作者Alexander Oh