如何判断是否未分配多维数组？

Question

如果我有两个这样的数组：

short** x;
short** y = functionThatReturnsAnArray();

在这种情况下sizeof(x) == sizeof(y)。 两者都是 4，我认为这是因为外部数组只是一个指针数组，因此实际上没有分配任何 RAM。

我怎样才能知道 x 没有被赋值？

谢谢，

乔

Answer 1

从您原始帖子中的评论中，您的意思是您是否可以判断一个值是否已分配给变量。我们称之为初始化。当一个值没有被存储到一个变量时，它未初始化，这很糟糕，因为你永远不知道里面可能有什么，不，你不能检查它是否已经被初始化，所以初始化它当你声明它时。

---

sizeof(x) == sizeof(y) 因为它们被声明为同一类型 (short**);它们的内容无关紧要（sizeof 实际上是由编译器决定的，所以它通常不知道里面有什么）。

如果您想知道每个指向的内存区域是否为零，则需要手动进行（并且您需要知道每个数组的长度）：

int x_empty = 1;

for(int i = 0; i < x_length_d1 && x_empty; i++) {
    if(x[i] == NULL) {
        // Handle a missing row however you want.
    }
    for(int j = 0; j < x_length_d2 && x_empty; j++) {
        if(x[i][j] != 0) x_empty = 0;
    }
}

Answer 2

sizeof 返回short**（指向short 指针的指针）的大小，在您的系统中看起来是4 个字节。如果你分配内存，你应该知道你分配了多少字节，并传递这个值。

例如：

size_t size_allocated = 0;
short** y = functionThatReturnsAnArray(&size_allocated);

---

short ** functionThatReturnsAnArray(size_t * size) {
    short ** buff;
    size_t size_to_allocate = 5 * sizeof(short *);
    buff = malloc(size_to_allocate);
    if (!buff) {
        *size = size_to_allocate;
    }
    else {
        *size = 0;
    }
    return buff;
}

Answer 3

您无法检查是否已分配变量。未初始化变量的值是未定义的 IIRC。根据Assigning pointer to uninitialized variable changes it value?（由 Seth Carnegie 发现），即使访问它也会导致未定义的行为。

解决方案？显式分配一个哨兵值并检查它。对于指针，NULL 通常是有意义的。