本文对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语句
|
1
2
3
4
|
if (条件1)//代码块1else//代码块2 |
对应goto：
|
1
2
3
4
5
6
7
|
t = 条件1；if (t为真）goto true；//代码块2goto finishtrue：//代码块1finish： |
3、?: 和if else是等价的。
只不过if语句为代码块，？：为表达式。
|
1
|
变量= (条件1)? 表达式1：表达式2； |
goto版本：
|
1
2
3
4
5
6
7
8
|
t = 条件1；if (t为真)goto true；//变量=表达式2goto finish；true：//变量=表达式1finish： |
注意：?:里面的表达式尽量简单，过于复杂的话，改用if语句实现，这样方便调试。
4、switch-case
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
switch (条件取值变量)case 元素1 ：//语句块1；break；case 元素2：//语句块2；break；...case 元素N//语句块N；break；default：//默认处理。break；} |
goto版本：
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
跳转表={标签1，标签2，...,标签N }goto 跳转表[元素index]//标签1：//语句块1goto Finish//标签2：//语句块2goto Finish...//标签N：//语句块Ngoto Finishdefault：//默认处理。Finish: |
5、for语句
|
1
2
|
for (初始化语句；判断语句；迭代语句)//循环语句块 |
goto版本：
|
1
2
3
4
5
6
7
8
9
|
//初始化语句；if (判断语句为否)goto Finish；loop：//循环语句块//迭代语句if (判断语句为真)goto loop；Finish： |
6、while语句
|
1
2
3
|
while(条件为真)//代码块//迭代块 |
对应goto版本：
|
1
2
3
4
5
6
|
loop：t = 条件if (不为真) goto Finish；//代码块//迭代块Finish： |
7、do-while语句
|
1
2
3
4
|
do {//语句块1//迭代块1} while (条件为真) |
goto版本：
|
1
2
3
4
|
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 强烈推荐在写代码前，在纸上画完整的流程图，梳理自己的设计思路。
