C23标准中realloc(ptr, 0)的行为矛盾及相关技术问询

1. 矛盾的规范性文本中哪份效力优先？ #

在ISO标准的层级规则里，针对单个函数的具体条款效力高于通用章节。7.24.3.7是realloc函数的专属定义条款，而7.24.3是内存分配函数的通用说明章节，两者冲突时，应以7.24.3.7中“size为0时行为未定义”的具体规定为准。

另外，附录J属于标准的信息性附录，仅作参考用途（比如汇总常见实现定义行为），不属于强制性的规范性内容，效力远低于正文条款，因此它的不一致表述不影响正文的优先级判定。

2. 包含realloc(ptr, 0)的旧程序移植到C23后，是否仍能保留原实现定义行为？ #

无法保证。C23正式发布后，realloc(ptr, 0)会被明确为未定义行为，编译器实现完全有权自主处理：既可以选择保留原有实现定义的逻辑，也可能直接触发崩溃、返回空指针且不释放原内存，或是做出任何符合未定义行为范畴的操作。

依赖该实现定义行为的旧程序，在C23环境下的行为没有标准层面的保障。若需要稳定行为，建议修改代码：

• 若目的是释放内存，直接调用free(ptr)；
• 若目的是分配0字节内存，改用malloc(0)（C23中malloc(0)仍为实现定义行为，但已和realloc的0参数行为做了明确区分）。

3. 该缺陷是否会在标准发布后留存，需等待技术勘误解决？ #

从当前n3220草案仍未修正的情况来看，这个文本矛盾大概率会随C23正式发布一同留存。ISO C标准的发布流程中，最终草案到正式发布阶段通常仅处理关键错误，这类表述不一致的问题可能被归类为“非关键性缺陷”，留待后续的**技术勘误（Technical Corrigendum）**或标准修订版本来解决。

当然也存在小概率可能：在正式发布前的最后审核阶段，工作组会统一梳理并修正这类矛盾，但如果到n3220阶段仍未处理，基本就要等到发布后的勘误环节了。

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