在C语言里，==是一个关系运算符，作用是比较它左边和右边的两个操作数是否相等。很多初学者容易把它和赋值符号=弄混，结果写出逻辑完全错误的程序。要明确==的含义，得先从运算符的分类和表达式的返回值说起。
一、==运算符的基本语义
==属于双目关系运算符，要求两个操作数类型兼容（整型、浮点、指针等均可，但比较规则不同）。它不参与任何数据写入，仅仅做一次等值判断。当左右两边的值相等时，表达式的求值结果是整型常量1；不相等时结果是整型常量0。这一点和数学里的等号完全不同，C语言中的=才是真正的赋值。
由于C语言没有独立的布尔类型（C99之前），关系运算的结果统一用int表示。在条件判断语境中，非零即真、零即假，所以if(a==b)等价于判断表达式a==b的结果是不是1。下面这段代码展示了基本用法：
#include <stdio.h>
int main(void) {
int x = 5;
int y = 5;
// == 进行比较，相等返回1
if (x == y) {
printf("x和y相等n");
}
// 不等返回0
printf("比较结果：%dn", x == 3);
return 0;
}
上面的程序会输出“x和y相等”以及“比较结果：0”。可以清楚看到，==只是求值，不改变任何变量。与之相对，=会把右侧表达式的值写入左侧对象，两者在语法树层面就是不同的节点类型。
二、==与=的核心差异
从语义上讲，=是赋值运算符，左侧必须是可修改的左值（比如变量名），右侧是任意右值。执行后左值被改写，整个表达式的值就是赋进去的那个值。而==两侧都必须是右值表达式，它不产生副作用。混淆二者最典型的错误发生在控制语句中。
例如本意是判断变量a是否等于0，却写成if(a=0)，这时0被赋给a，整个if表达式的值也是0，分支永远不执行，且a被意外修改。反过来if(a=1)则永远为真，且a变成1。这类问题在复杂表达式里极难肉眼排查。以下代码演示了误用带来的逻辑偏移：
#include <stdio.h>
int main(void) {
int score = 80;
// 错误写法：把==写成=，先赋值再判断
if (score = 60) {
printf("误以为及格，其实score已被改成60n");
}
printf("score现在是：%dn", score);
return 0;
}
编译时部分编译器只会给警告，程序照常运行，输出内容和开发者预期背道而驰。因此理解=与==的本质区别，是写出正确C程序的前提。
三、常见误用场景与避坑办法
最危险的误用就是在if、while、for的条件括号里少写一个点。由于赋值表达式本身也有值，C语法允许while((ch=getchar())!=EOF)这种合法写法，但也让while(ch=getchar())这类错误变得隐蔽。要避免，可以养成常量写在左边的习惯，例如if(0==a)，一旦误写成if(0=a)编译器会直接报错，因为常量不能做左值。
另外，开启编译器警告非常关键。GCC使用-Wall -Wextra就能捕获大部分可疑赋值。现代IDE也会做静态检查。对于指针比较，还要注意NULL的判断应写成if(ptr==NULL)而非if(ptr=NULL)。下面的表格归纳了主要区别：
| 运算符 | 类别 | 返回值 | 是否改值 | 典型错误 |
|---|---|---|---|---|
| == | 关系运算符 | 1或0 | 否 | 少写导致变赋值 |
| = | 赋值运算符 | 所赋的值 | 是 | 在判断里误用 |
掌握这些规则后，建议在团队代码规范里强制要求开启警告并把警告视为错误，从工程层面消灭==和=混用的空间。
四、浮点与指针比较的补充注意
使用==比较浮点数时要格外小心，因为二进制无法精确表示很多十进制小数，两个理论上相等的float可能因计算误差而不等。正确做法是判断两者差值的绝对值是否小于某个极小量，而不是直接用==。指针比较则要求指向同一数组或同一对象，否则结果是未定义行为。
示例：比较两个double是否“足够接近”应当写成if(fabs(a-b) < 1e-9)，而不是if(a==b)。这些细节进一步说明，==虽是简单运算符，但用错场景照样引发严重bug。理清概念、配合工具，才能稳妥使用。
#include <stdio.h>
#include <math.h>
int main(void) {
double a = 0.1 + 0.2;
double b = 0.3;
// 不推荐直接用==
if (fabs(a - b) < 1e-9) {
printf("浮点数在误差范围内相等n");
}
return 0;
}