字符串字面量与整数比较触发指针与整数比较警告的原因及字符串字面量指针特性问询

先看你给出的测试代码：

int main() { 
    int c; 
    c=getchar(); 
    if(c=="a") { 
        printf("fizz"); 
    } else 
        printf("buzz"); 
    return 0; 
}

编译后得到的警告：

test.c: In function 'main':
test.c:8:8: warning: comparison between pointer and integer
if(c=="a")

下面来逐个解答你的问题：

问题1：为什么将字符串字面量与整数进行比较会触发“指针与整数比较”的警告？ #

这个警告的核心就是类型不匹配：

• 变量c是int类型，getchar()返回的是输入字符的ASCII码值（比如输入字符'a'，c就会被赋值为97），本质是个整数。
• 而字符串字面量"a"可不是单个字符，它是一个以\0结尾的匿名字符数组——程序编译后，它会被存在内存的只读数据段里。C语言有个硬性规定：在表达式中使用字符串字面量时，它会自动隐式转换成指向数组首元素的char*指针，也就是指向那个'a'字符所在的内存地址。

所以你写c == "a"的时候，实际上是在拿一个整数（字符的ASCII值）和一个内存地址（指针）做比较，这两种类型完全不搭边，编译器一眼就看出这大概率是个逻辑错误，所以抛出了这个警告。

问题2：未赋值给变量时，字符串字面量"a"是如何被当作指针处理的？编译器是否会为它分配指针？ #

这得从C语言对字符串字面量的处理逻辑说起：

1. 存储阶段：编译时，编译器会把所有字符串字面量（比如"a"）都放到程序的只读数据区域（通常叫.rodata段），"a"会被存成两个字节：'a'的ASCII值加上字符串结束符'\0'。
2. 表达式中的转换：当你在代码里直接用"a"的时候，它并不是“被分配了一个新指针”，而是编译器直接把它解析为指向这个只读区域中该字符串首字符的指针——这是C语言的语法规则，字符串字面量作为匿名数组，在大多数表达式语境下都会自动退化为指向首元素的char*指针（只有当它是sizeof或者&运算符的操作数时，才会保持数组类型）。

你提到的数组变量名退化为指针的情况，和这个是同一个逻辑：数组名在表达式里大多时候都会变成指向首元素的指针，而字符串字面量本身就是匿名数组，所以自然遵循这个规则。比如你写char* p = "a";，这里的"a"直接就转换成指针赋值给p了，和你代码里if(c=="a")的处理方式完全一样。

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