c - 我如何检查另一个结构中的结构是否为空？

Question

这是我的两个结构:

typedef struct simple_command_t {
    char * in, *out, *err;
    char **tokens;
    int builtin;
} simple_command;

typedef struct command_t {
    struct command_t *cmd1, *cmd2;
    simple_command* scmd;
    char oper[2];
} command;

这是我使用的代码:

int main() {
    command *check1;

    if ((check1 -> scmd -> tokens) == NULL){
        printf("tokens are null");
    }

    return 0;
}

自从我读到您无法检查结构是否为 NULL 后，我尝试检查空结构内部的成员。不幸的是，到目前为止我所尝试的一切都给我带来了段错误。有什么问题？

Answer 1

没有所谓的“空”结构。 (如果 C 允许没有成员的结构，那么短语“空结构”是有意义的，但事实并非如此，而且无论如何这都不是您所指的。)

我想您要做的是检查结构是否已通过初始化程序或赋值初始化。没有办法做到这一点。

这是一个更简单的例子:

#include <stdio.h>
#include <stdlib.h>
int main(void) {
    int *ptr;
    /* code that may or may not initialize ptr */
    if (<ptr has been initialized>) {
        printf("ptr = %p, *ptr = %d\n", (void*)ptr, *ptr);
    }
    else {
        fprintf(stderr, "ptr is uninitialized\n");
        exit(EXIT_FAILURE);
    }
}

没有办法写条件<ptr has been initialized> .自 ptr不是 static对象，它的初始值不一定是空指针或任何其他特定值；这是不确定的垃圾。它可能碰巧包含一个有效地址；无法区分这种可能性和存储在 ptr 中的实际有效值。故意的。

判断是否ptr的唯一可靠方法是否已经初始化就是初始化它:

int *ptr = NULL;

同样的推理也适用于您的示例。您定义一个指针对象:

command *check1;

它是在一个函数中定义的，不是static ，所以它的初始值是不确定的垃圾。只读取指针的值:

if (check1 == NULL) ...

有未定义的行为；即使没有，比较的结果也不会告诉您任何有用的信息。您必须仔细编写代码，以免尝试使用 check1 的值。在为其分配已知值之前。最简单的方法就是对其进行初始化:

command *check1 = NULL;

如果你将它初始化为NULL它没有指向任何东西；没有要测试的结构对象。您可以创建一个结构并将其地址分配给 check1 :

check1 = malloc(sizeof *check1);

现在check1有一个有效值(它仍然可能是 malloc 的空指针失败；始终检查它)。如果malloc成功，check1指向一个结构对象，其值本身是不确定的垃圾。适用于 check1 的相同考虑因素本身现在适用于结构对象 *check1 , 以及它的每个成员。

一种常见的方法是定义一个函数来创建结构对象并正确初始化其所有成员。