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

How do i check if a struct inside another struct is empty?

这是我的两个结构:

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 后,我尝试检查空结构内部的成员。不幸的是,到目前为止我所尝试的一切都给我带来了段错误。有什么问题吗?

没有 "empty" 结构这样的东西。 (如果 C 允许没有成员的结构,短语 "empty struct" 就有意义,但事实并非如此,而且这不是您所指的。)

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

这是一个更简单的例子:

#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 及其每个成员。

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