C程序条件判断异常：NULL值未被正确识别导致逻辑错误

核心问题 #

你的代码中存在两个关键问题，导致printf显示(null)但next == NULL判断不成立：

1. 指针访问的索引时机不一致 #

• 当你执行printf时，当前节点的pc值是0（刚通过pc++从-1递增到0），此时访问的是memPool[0+1][0]即memPool[1][0]，该位置的值被printf显示为(null)。
• 但进入Z1 == 11的循环后，每个counter对应的节点pc已经被之前的逻辑重置为**-1**（因为处理每个节点时，触发了memPool[pc+1][0] == NULL的判断，执行了pc = -1）。此时pc + 1 = 0，你实际访问的是memPool[0][0]，这个值并非NULL，因此判断next == NULL不成立，输出"not null"。

2. 潜在的类型不匹配问题 #

如果memPool的定义是char类型二维数组而非char*类型二维数组，那么memPool[...][0]是char值，赋值给char* next会导致类型错误：

• 若char值为0，会被强制转换为NULL指针，printf显示(null)；
• 若为其他值，会被当作无效内存地址，printf也可能显示(null)，但实际指针并非NULL。

解决方案 #

1. 修正循环中的索引访问逻辑 #

如果你想检查的是"当前指令的下一条是否存在"，需要明确你要访问的索引：

• 如果你想检查pc=0时的下一条指令（即memPool[1][0]），可以直接指定索引：

char *next = (*globalnodeSet[counter]).memPool[1][0];

• 如果你需要基于当前pc值判断，需确保pc处于你期望的状态（比如在重置pc前完成判断，或重新调整pc值）。

2. 确认memPool的类型定义 #

确保memPool是char*类型的二维数组，例如：

typedef struct {
    int pc;
    int acc;
    char* memPool[12][...]; // 根据你的需求定义第二维大小
} NodeSet;
NodeSet *globalnodeSet;

这样memPool[i][j]才是合法的char*指针，可以和NULL直接比较。

3. 添加调试打印验证指针地址 #

在判断next == NULL前，打印指针的实际地址，确认是否为真正的NULL（地址0）：

char *next = (*globalnodeSet[counter]).memPool[((*globalnodeSet[counter]).pc) + 1][0];
printf("counter=%d, pc=%d, next指针地址: %p\n", counter, (*globalnodeSet[counter]).pc, (void*)next);
if(next == NULL) {
    (*globalnodeSet[counter]).pc = -1;
} else {
    printf("not null\n");               
}

内容的提问来源于stack exchange，提问作者Exiatron00