C语言单次内存分配双向链表是否符合有效类型规则及可移植性问询

有效类型规则的影响 #

该实现完全不会受有效类型规则的负面影响，原因如下：

• calloc 分配的内存本身没有声明类型，你将整块分配的内存拆成了两个完全不重叠的独立区域：
  1. 起始偏移为0、长度为list->offset的区域：用户写入自定义数据时，对应区域的有效类型就同步变成用户写入的类型，后续通过返回的data指针访问该区域完全合规。
  2. 起始偏移为list->offset、长度为sizeof(struct node)的区域：你通过struct node类型的左值写入前后指针，该区域的有效类型就被设置为struct node，后续链表操作通过struct node指针访问该区域也完全合规。
• 两个区域的访问完全独立，不存在用不同类型左值访问同一块内存的情况，完全符合你引用的有效类型规则要求：

若通过非字符类型的左值向无声明类型的对象写入值，则该左值的类型会成为本次访问及后续未修改存储值的访问中该对象的有效类型。

代码的合法性与可移植性 #

整体是合法的C语言实现，绝大多数场景下可移植，仅存在两个边界限制：

合法性说明 #

你的实现完全符合C标准要求：

• 计算offset时已经将用户数据长度向上对齐到struct node的对齐要求，保证了struct node区域的地址满足对齐规则，不会出现未对齐访问的未定义行为。
• 通过uintptr_t做指针偏移的操作符合C标准要求，只要偏移后的地址指向合法分配的内存、满足对齐要求，转换后的指针就是有效的。

可移植性局限 #

仅在极端场景下存在兼容问题：

• uintptr_t是C99标准引入的可选类型，极少数没有对应整数类型可以存储指针地址的极端架构下不提供该类型，此时你的宏定义会无法编译。但当前所有主流通用架构的C实现都支持uintptr_t，这个局限几乎不会影响实际使用。
• 代码依赖C11的stdalign.h头文件的alignof关键字，如果要兼容C99及更早标准，需要替换成编译器对应的对齐计算扩展（比如GCC的__alignof__）。

内容的提问来源于stack exchange，提问作者David Ranieri