c - 取消引用 malloc(0)

Question

这个问题已经有答案了:

malloc(0) actually works? [duplicate] (3 个回答)

What's the point of malloc(0)? (18 个回答)

Following pointer returned by malloc(0) (2 个回答)

已关闭 5 年前。

malloc(0) 的行为C11 标准中引用了以下内容*:

void* malloc( size_t size );

---

If size is zero, the behavior is implementation defined (null pointer may be returned, or some non-null pointer may be returned that may not be used to access storage, but has to be passed to free).

---

_{*(Quoted from cppreference.com rather than the official ISO/IEC 9899:2011 standard, as the former needs to be purchased.)}

根据这个定义，我不会期望以下内容能够工作(用 icc 18.0.0 编译):

#include <stdlib.h>
#include <stdio.h>

int main(int argc, char **argv)
{
    double *u = malloc(0);
    u[0] = 3.0;
    printf("The value of u[0] is %lf", u[0]);
    free(u);
    return 0;
}

令人惊讶的是它有效并给出了输出:

The value of u[0] is 3.000000
Process finished with exit code 0

出现u[0] = 3.0;访问存储。有malloc返回NULL相反，这会导致段错误。

我是否误解了访问存储的概念，或者是否发生了其他情况？

更新/澄清

我的问题的关键似乎在于“可能不用于访问存储”的措辞，以及“可能不”是否意味着不应该或不能。我读到这意味着无论返回什么指针都不能被取消引用(除非 realloc 'd)。

我已经找到了I can use more memory than how much I've allocated with malloc(), why?的答案非常适用于这个问题。主要的一点是，在分配的内存之外进行写入是未定义的行为，虽然这无疑是错误的，但不能保证抛出错误。

问题what's the point in malloc(0) ?有几个答案提到返回的指针。

Answer 1

您调用了malloc并请求一个指向可以存储一些数据的内存的指针。您 promise 在那里存储的数据不超过 0 字节。然后你作弊了，违反了你的 promise 和规则，并在那里存储了 sizeof(double) 字节数。

也许您预计，由于您严重违反了规则，因此会出现一些糟糕且明显的问题。但事实证明，向 malloc 指针写入超出允许的内容是未定义行为的一个例子，这意味着任何事情 - 绝对任何事情 - 都可能发生。而且，至关重要的是，可能发生的事情之一是您的程序似乎可以工作，即使它不是“应该”的。

有点像这样:假设你半夜开车沿着一条荒芜的街道行驶，遇到红灯。由于没有十字路口，周围也没有其他人，当然也没有警察，所以你决定作弊，不等绿灯就开车穿过十字路口。但这是什么？没有汽车撞到你。你不会撞倒任何行人。没有警察给你罚单。怎么会这样？闯红灯是错误，对吗？

嗯，当然，这并不奇怪。你已经观察到，没有十字路口，没有行人，也没有警察。但如果这些事情中的任何一个在最后一刻突然出现，并且发生了事故或令人不舒服的警察采访，那么你就大错特错了。

情况和你的代码是一样的。您很“幸运”，显然没有任何问题 - 但代码是错误的。

未定义的行为很棘手，而且很难思考。但需要理解的一件重要事情是，您通常不会期望收到错误消息。事实上，未定义行为的定义方面之一是编译器不需要向您提供任何有关它的错误消息。

如果您好奇，请在this answer查看有关未定义行为的更多信息。 .