深入理解C语言的逻辑控制

本文对C语言的逻辑控制做一番较为深入的探讨，一般来说C语言的逻辑控制语句主要有如下的7种:

1、 goto 最强大，但一般只在特殊环境下使用。
2、 if else
3、 ?:
4、 switch case
5、 for
6、 while
7、 do while

自从dijkstra的论文Go To Statement Considered Harmful以后，C语言代码很少看到goto了。（一般用在多次资源分配的错误处理上）
但，从计算机的角度来说，缺少goto（jmp指令）还真没法干活。其实，goto是最符合我们的设计流程图的。
将一个流程图用goto来实现也最直观。goto能真正让我们做到心之所动，剑之所至。

接下来，分别考虑将2-7转化为对应的goto语言版本（等价于转化为对应汇编版本）。

2、if语句

if (条件1)//代码块1else//代码块2

对应goto：

t = 条件1；if (t为真）goto true；//代码块2goto finishtrue：//代码块1finish：

3、?: 和if else是等价的。

只不过if语句为代码块，？：为表达式。

变量= (条件1)? 表达式1：表达式2；

goto版本：

t = 条件1；if (t为真)goto true；//变量=表达式2goto finish；true：//变量=表达式1finish：

注意：?:里面的表达式尽量简单，过于复杂的话，改用if语句实现，这样方便调试。

4、switch-case

switch (条件取值变量)case 元素1 ：//语句块1；break；case 元素2：//语句块2；break；...case 元素N//语句块N；break；default：//默认处理。break；}

goto版本：

跳转表={标签1，标签2，...,标签N }goto 跳转表[元素index]//标签1：//语句块1goto Finish//标签2：//语句块2goto Finish...//标签N：//语句块Ngoto Finishdefault：//默认处理。Finish:

5、for语句

for (初始化语句；判断语句；迭代语句)//循环语句块

goto版本：

//初始化语句；if (判断语句为否)goto Finish；loop：//循环语句块//迭代语句if (判断语句为真)goto loop；Finish：

6、while语句

while(条件为真)//代码块//迭代块

对应goto版本：

loop：t = 条件if (不为真) goto Finish；//代码块//迭代块Finish：

7、do-while语句

do {//语句块1//迭代块1} while (条件为真)

goto版本：

loop：//语句块1//迭代块1if (条件为真) goto loop；

C语言的goto同汇编语句jmp系列指令逻辑上是完全一致的。

注意：

1、 关于条件，有个经典的逻辑代数公式：
摩根公式：
!(A && B) = (!A) || (!B)
建议，对复杂逻辑，手动画代数运算表
A B 结果
0 0 ?
0 1 ?
1 0 ?
1 1 ?
并保证单体测试的全覆盖。

2、 逻辑操作和位操作是2组，需要区分开来。
与 或 反
逻辑： && || !
位： & | ~ ^ (异或)

3 强烈推荐在写代码前，在纸上画完整的流程图，梳理自己的设计思路。