结构体双向指针互相引用是否存在潜在问题或未定义行为？

合法性结论 #

这种结构体互相持有指针引用的用法完全合法，不会触发未定义行为（UB），只要满足两个前提：

• 所有结构体实例（one、two本身）都已正确分配内存并完成初始化，不是空指针或指向无效内存的指针；
• 指针赋值时，双方都指向有效的、存活的结构体对象。

你提到的one->two_ptr->one_ptr->two_ptr->...这种链式访问，本质只是反复读取已经存在的有效指针值，只要代码逻辑中没有无限循环去执行这种访问（比如写了死循环遍历），就不会有运行时问题。

模拟多态的设计考量 #

你用这种双向引用结构模拟多态的思路是可行的，但确实需要评估是否属于过度设计：

• 很多C语言模拟多态的场景，只需要通用接口对象持有具体类型的指针，具体类型不需要反向引用通用对象，就能满足“通过通用接口操作具体类型”的需求，这种单向依赖的结构更简单，也减少了内存占用和维护成本。
• 如果你的业务逻辑中，具体类型确实需要反向访问通用接口的状态（比如通用对象里存了全局配置、类型标记等），那双向引用就是合理的设计。

注意事项 #

• 内存分配与空指针检查：使用malloc等函数分配内存后，必须检查返回值是否为NULL，避免空指针解引用导致崩溃。
• 内存释放顺序：释放时要先解除双向引用关系（比如把one->two_ptr = NULL、two->one_ptr = NULL），再依次释放结构体实例，否则会出现悬空指针，后续如果误访问会触发未定义行为。
• 线程安全（若涉及多线程）：如果在多线程环境中操作这些指针，需要加锁保护，避免出现指针赋值或读取的竞态条件。

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