当你调用realloc()时，你应该在将返回的指针分配给作为参数传递给函数的指针之前检查函数是否失败......
我一直遵守这条规则。
现在，当您确定内存将被截断而不是增加时，是否有必要遵循此规则？
我从未见过它失败。只是想知道我是否可以保存一些说明。
【问题讨论】：
realloc() 调用。答案是肯定的。实现可以自行决定尝试分配一个新块并将项目移动到该块。新分配可能会失败，因此必须检查。我评论的最后一点指出，假设收缩操作总是返回相同的块是不正确的。
realloc 可以自行决定将块复制到新地址，无论新大小是更大还是更小。如果malloc 实现需要新分配来“缩小”内存块（例如，如果新大小需要将内存块放在不同的分配池中），这可能是必要的。这在glibc documentation 中注明：
在几种分配实现中，有时需要将块变小以复制它，因此如果没有其他可用空间，它可能会失败。
因此，您必须始终检查realloc 的结果，即使在缩小时也是如此。 realloc 可能未能收缩块，因为它不能同时分配一个新的更小的块。
【讨论】：
即使您将realloc（请仔细阅读realloc(3) 和有关Posix realloc）缩小到更小的尺寸，底层实现也相当于malloc（新的更小的尺寸），然后是memcpy（从旧区到新区），然后是free（旧区）。或者它可能什么都不做......（例如，因为一些粗略的malloc 实现维护了一组有限的尺寸——比如 2 的幂或 2 的 3 倍的幂——并且新旧尺寸要求适合相同的尺寸。 ..)
malloc 可能会失败。所以realloc 仍然会失败。
实际上，出于这个原因，我通常不建议使用realloc：只需自己使用malloc、memcpy、free。
确实，像malloc 这样的动态堆内存函数很少会失败。但是当他们这样做时，如果你不处理它，可能会发生混乱。在 Linux 和其他一些 Posix 系统上，您可以使用 setrlimit(2) 和 RLIMIT_AS -e.g.使用 bash ulimit builtin- 降低测试限制。
您可能想研究C memory management 的源代码实现。例如MUSL libc（对于 Linux）是非常易读的代码。在 Linux 上，malloc 通常构建在 mmap(2) 之上（C 库可能会使用 mmap 分配一大块内存，然后在其中管理较小的已用和已释放内存区域）。
【讨论】：
realloc 的POSIX 文档：pubs.opengroup.org/onlinepubs/009695299/functions/realloc.html