C语言中如何区分变量值为0和未初始化的状态？

问题核心说明 #

C语言原生没有提供判断变量是否已初始化的能力，局部未初始化的自动变量值是不确定的，可能刚好是0、也可能是任意垃圾值，你现有代码的逻辑本身存在问题：

• 条件里的points>0是判断数组首地址是否大于0，结果永远为真，你应该是想写points[i]>0
• 对int类型来说，!points[i]已经覆盖了所有值为0的情况，最后的else分支永远不会执行，完全无法区分0值和未初始化的垃圾值

可行解决方案 #

方案1：使用业务不存在的哨兵值标记未初始化状态 #

如果你的业务场景中points数组存储的值有明确的范围，比如只存非负整数，可以选一个业务永远不会用到的值作为「未初始化」的标记，示例：

// 假设业务中points只会存>=0的值，用-1作为未初始化标记
int points[3];
// 先全部初始化为哨兵值
for(int i=0; i<3; i++) points[i] = -1;

points[0] = 1;
points[1] = 0;

for(int i=0;i<sizeof(points)/sizeof(*points);i++){
    if(points[i] == -1){
        printf("Not set/provided\n");
    }else if(points[i] > 0){
        printf("Value is %d\n",points[i]);
    }else{
        printf("Value is zero\n");
    }
}

该方案的局限性是必须存在业务不会用到的预留值，如果int的所有取值都可能是业务有效值就不适用。

方案2：封装结构体绑定状态标记（最通用，兼容性最好） #

额外加一个字段记录变量是否已经被赋值，和实际值绑定存储，不需要依赖业务值的范围，是最常用的方案：

#include <stdio.h>

typedef struct {
    int val;
    int is_init; // 1表示已赋值，0表示未初始化
} IntWithFlag;

int main(){
    IntWithFlag points[3] = {0}; // 初始化所有is_init为0
    points[0].val = 1;
    points[0].is_init = 1;
    points[1].val = 0;
    points[1].is_init = 1;

    for(int i=0; i<sizeof(points)/sizeof(*points); i++){
        if(!points[i].is_init){
            printf("Not set/provided\n");
        }else if(points[i].val > 0){
            printf("Value is %d\n", points[i].val);
        }else{
            printf("Value is zero\n");
        }
    }
    return 0;
}

方案3：使用C23标准的可选类型 #

如果你使用的编译器支持C23标准，可以用标准库的Optional<int>类型直接表示「可能未赋值」的整数，不过该方案兼容性较差，旧版本编译器不支持。

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