c 语言 if 语句是条件判断语句，程序运行时会先计算括号里面条件表达式的结果，如果结果为真也就是数值非零，就执行大括号内部对应的代码，如果结果为假也就是数值等于零，就直接跳过这部分代码继续往下执行后面的程序，它是分支逻辑最基础的实现方式，能够让程序根据不同情况选择不同执行路径，写代码的时候要注意语法关键字小写，括号和大括号不能漏，条件表达式末尾不要额外加分号，很多新手最容易在这里踩坑。if 语句本质是把布尔判断转换成 c 语言可以识别的数值判断，c 语言没有独立的布尔类型关键字的时候，就是依靠零代表假非零代表真这个规则，就算后续 c99 标准引入 bool 类型，底层依旧沿用这套判断逻辑，理解这个底层规则之后，就能看懂很多特殊写法，比如直接写 if (变量) 而不是 if (变量！=0)。
基础语法结构
if 后面紧跟英文小括号，括号内部填写判断条件，条件之后可以加大括号包裹多条语句，如果只有单条执行语句，大括号可以省略，但是推荐永远写大括号，后续增加代码的时候不容易出现逻辑错误。
基础单分支写法
if 括号条件 大括号 内部要执行代码
双分支搭配 else 写法
if 括号条件
大括号 条件成立执行代码
else
大括号 条件不成立执行代码
多分支 if else if 链式写法
if 条件 1
代码块 1
else if 条件 2
代码块 2
else if 条件 3
代码块 3
else
代码块
嵌套 if 写法
if 外层条件
if 内层条件
内层代码
else
内层对应的 else
条件表达式书写要点
条件里面可以使用比较运算符，等于判断是两个等号，单个等号是赋值操作，这是高频错误点，if (a=5) 是把 5 赋值给 a，表达式结果永远为真，不是判断 a 是否等于 5。
可以使用逻辑运算符组合多个判断条件，逻辑与是同时满足所有条件，逻辑或是满足任意一个条件，逻辑非是把真假结果反转。
条件表达式支持混合运算，算术运算之后再做比较，运算优先级要留意，比较运算符优先级低于算术运算符，高于逻辑运算符。
执行流程说明
程序从上到下运行，走到 if 语句位置，立刻求值条件表达式。条件结果非零，进入代码块，代码块全部执行完毕之后，跳出分支继续执行分支后面的代码。条件结果等于零，直接跳过当前 if 对应的代码块，如果后面有 else if 就继续判断下一个条件，如果没有就直接执行分支之后剩余代码。链式 if else if 只会命中第一个满足的分支，命中之后后面所有 else if 和 else 都不再判断，这个特性非常重要，写多区间判断的时候顺序不能颠倒。嵌套 if 里面的 else 默认和距离它最近还没有配对的 if 进行绑定，这个是 c 语言的就近匹配规则，容易出现逻辑错位，所以嵌套层级建议不要太深。
完整示例代码
单分支示例
include
int main ()
{
int num = 10;
if (num > 5)
{
printf ("数字大于 5");
}
return 0;
}
双分支示例
include
int main ()
{
int num = 3;
if (num > 5)
{
printf ("数字大于 5");
}
else
{
printf ("数字不大于 5");
}
return 0;
}
多分支示例
include
int main ()
{
int score = 78;
if (score >= 90)
{
printf ("优秀");
}
else if (score >= 80)
{
printf ("良好");
}
else if (score >= 60)
{
printf ("及格");
}
else
{
printf ("不及格");
}
return 0;
}
常见易错点汇总
| 错误类型 | 错误描述 | 修正方式 |
|---|---|---|
| 误加分号 | if (条件); 分号让代码块变成空语句，大括号代码永远独立执行 | 删掉 if 括号后面多余分号 |
| 单等号写判断 | if (a=10) 赋值代替相等判断 | 相等判断改成 if (a==10) |
| else 悬空 | 嵌套 if 没有大括号，else 匹配错误 if | 增加大括号明确配对关系 |
| 条件顺序错误 | 多分支区间判断顺序颠倒，提前命中分支 | 从大区间到小区间依次判断 |
| 大括号缺失 | 单语句省略大括号，后续新增代码不再属于 if 内部 | 统一保留大括号 |
拓展说明
if 语句可以和三目运算符做功能替换，简单的二选一赋值场景可以写成三元表达式，但是分支内部有多行复杂业务代码的时候，依旧优先使用 if 语句可读性更好。if 语句也可以搭配 goto，或者和循环语句 for while 配合使用，在循环内部做判断，实现满足条件跳出循环或者跳过本次循环的逻辑。if 判断支持浮点数比较，但是浮点数存在精度误差，不推荐直接使用等于判断，一般改成判断差值是否小于极小值。
【常见问题】
问题 1 c 语言 if 语句里面为什么 if (a=5) 永远成立
回答 1 c 语言 if 语句会计算表达式的值，a=5 是赋值表达式，把数值 5 存入变量 a，整个表达式返回值是 5 属于非零也就是真，所以 if 语句永远执行内部代码，如果想要判断相等，c 语言 if 语句必须写成 if (a==5)。
问题 2 c 语言 if 语句可以同时写多个独立 if 和 if else if 有什么区别
回答 1 多个独立 if 是每一个条件都会依次判断，多个分支有可能同时执行，if else if 链式结构只要命中第一个满足条件，后面所有分支都不再判断，只会执行其中一个分支，使用 c 语言 if 语句的时候要根据业务需求选择两种结构。
问题 3 c 语言 if 语句嵌套太多有什么问题
回答 1 c 语言 if 语句嵌套层级过深会降低代码可读性，后续维护修改容易出现 else 就近匹配错误，一般可以通过提前 return 或者拆分函数，把深层 c 语言 if 语句嵌套改成平铺结构，降低代码复杂度。
问题 4 c 语言 if 语句条件可以写空吗
回答 1 c 语言 if 语句括号里面不能留空，必须填写可以求值的表达式，如果想要写恒成立判断，可以写 if (1)，这个是合法写法，代表条件永远为真，属于 c 语言 if 语句特殊用法，一般不推荐大量使用。
【免责申明】
本文内容仅作为 c 语言 if 语句学习参考，代码示例在不同编译器标准下可能存在细微差异，实际项目开发请结合编译环境和业务规范调整，本文不保证所有场景都完全适配，学习使用产生的相关问题由使用者自行承担。
