所有控制流程语句都具有相同的基本特征：根据一组条件选择要执行的语句。这些语句分三大类，并通过其主要行为进行描述。选择语句和跳转语句最接近，它们选择的语句都只执行一次，而迭代语句重复执行语句。跳转语句无条件地进行跳转，选择语句根据条件选择要执行的语句，而迭代语句根据条件决定执行语句多少次。
一、选择语句
1.1 if语句
if语句是最基本的选择语句，它根据一个布尔表达式的结果选择执行一条语句。
if语句的基本语法如下：
if ( boolean-expression )
embedded-statement
稍微复杂一点的语法如下：
if(boolean-expression)
consequence-statement
else
alternative-statement
如果boolean-expression的结果为true，就执行consequence-statement；如果boolean-expression的结果为false，且有else部分，就执行alternative-statement。到达被执行的语句末尾后，将执行if语句后面的语句。
被执行的语句可以是任何有效的语句，包括另一条if语句。在这种情况下，这条if语句称为嵌套if语句。
ps:else语句不匹配
编写 if 语句时，一种常见的问题是 else 语句不匹配，即代码的缩进格式与实际的控制流程不匹配。为帮助避免这种问题，最好使用大括号清楚地指出 else 语句对应的 if语句。检查一系列互斥的条件时，可级联if语句，即在else部分使用另一个if语句。在这种情况下，将按顺序检查条件，直到遇到结果为true的条件。
1.2 switch语句
可将switch语句视为级联if语句的自然进化结果，其功能与级联if语句类似，但更简洁、更灵活。switch语句执行与表达式值相等的标签指定的语句列表。
switch语句的语法如下：
switch ( expression )
{
case constant-expression :
statement-list
break;
default :
statement-list
break;
}
switch语句体称为switch块，包含一个或多个switch段。每个switch段至少包含一个标签，标签后面是一个语句列表。
expression的类型称为 switch语句的支配类型（governing type），可以是 sbyte、byte、short、ushort、int、uint、long、ulong、char及其可以为null的版本，还可以为string或枚举类型。expression只计算一次。
switch段的标签必须是常量表达式、在switch块中是唯一的且可显式地转换为支配类型。如果switch语句的支配类型为string或可以为null的类型，就可包含case标签null。
ps:支配类型为string的switch语句
expression 的结果是区分大小写，因此仅当标签与 expression 完全匹配时，才会执行相应的switch段。
如果expression的值与case标签中的常量匹配，就将首先执行该标签后面的第一条语句。如果没有匹配的case标签，且有default标签，就将执行该标签后的第一条语句；否则将执行switch语句后面的语句。
ps：连续执行
不同于 C 和 C++等编程语言，C# switch 语句不允许连续执行（fall through）switch段，即从一个switch段执行到下一个switch段。
为禁止连续执行，C#要求所有switch段都以有不可达终点（unreachable endpoint）的语句结束。一条这样的语句是无条件跳转语句，但最常用的是break语句。
通过禁止连续执行，C#消除了C和C++程序中一种常见的错误，并使得调整swith段的顺序不会影响switch语句的行为。
ps：作用域
在switch语句中，整个switch块是一个作用域，而每个switch段不形成作用域。这意味着在 switch 段中声明变量或常量时，其作用域为整个switch块，而不是当前switch段。
如果要将变量或常量的作用域限定为当前 switch 段，可用大括号将该switch段的语句列表括起。
二、迭代语句
选择语句是根据表达式的值选择语句并执行一次，而迭代语句（也叫循环语句）重复执行语句多次。在循环的每次迭代中，迭代语句都计算表达式的值。开始测试循环（top-tested loop）在执行语句前计算表达式的值，而结束测试循环（bottom-tested loop）在执行语句后计算表达式的值。
要提前结束循环，而不重新计算表达式的值，可使用下述跳转语句之一：break、goto、return和throw。continue语句直接进行下一次迭代。
2.1 while语句
while语句属于开始测试循环，它不断执行嵌套的语句，直到boolean-expression为false。由于每次迭代前都计算表达式的值，因此嵌套的语句将执行零次或多次。
while语句的语法如下：
while ( boolean-expression )
embedded-statement
如果boolean-expression为true，就将执行embedded-statement；执行完毕后，将重新回到循环开头，并再次计算表达式的值。
如果 boolean-expression 为 false ，就将接着执行 while 语句后面的语句。如果boolean-expression一开始就为false，那么embedded-statement一次也不会执行。
2.2 do语句
do语句也重复执行嵌套的语句，直到boolean-expression为false。不同于while语句，do语句属于结束测试循环，因此在计算boolean-expression前，embedded-statements已执行一次。这意味着嵌套的语句至少会执行一次。
do语句的语法如下：
do
embedded-statement
while ( boolean-expression );
如果boolean-expression为true，就将转到循环开头再次执行embedded-statements；否则，将跳转到do语句后面的语句处继续执行。
2.3 for语句
for语句可能是被人误解最深的迭代语句，因为它看起来最复杂，但其基本行为与其他迭代语句相同。它也不断执行嵌套的语句，直到指定的表达式为false。
for语句的语法如下：
for ( initializer ; condition ; iterator )
embedded-statement
for语句最常用于顺序处理数组。
导致for语句看起来很复杂的原因是它包含3个表达式，这些表达式都是可选的。表达式之间必须用分号分隔，即使表达式省略了也必须如此。
初始化表达式可初始化一个局部变量，也可初始化多个局部变量，在后一种情况下，必须用逗号将变量初始化语句分开。对于在初始化表达式中声明的局部变量，其作用域为条件、迭代器和嵌套语句。
ps：初始化表达式声明空间
可将整个for语句视为是在一对看不到的大括号内定义的，这对大括号为初始化表达式定义了局部变量声明空间。
条件（condition）必须是布尔表达式，如果省略了它，就认为该表达式为true。
最后，迭代器（iterator）可以是单个表达式，也可以是用逗号分隔的表达式列表，这些表达式的值通常取决于初始化表达式中声明的局部变量。
ps：无限循环
就像使用while语句可能创建无限循环一样，也可使用for语句创建不断运行的循环，方法是省略全部3个表达式：
for ( ; ; ; )
{
Console.WriteLine(“line”);
}
while语句和for语句可互换，但是for语句更简洁。
在for语句中，发生的事件与while语句相同
- 如果有初始化表达式，就执行它。如果有多个表达式，就将按顺序执行它们。初始化表达式只在开始执行for语句时执行一次。
- 如果条件为true，就跳转到嵌套的语句。
- 执行嵌套的语句。
- 执行迭代器语句并重新判断条件。如果条件为false，就跳转到for语句后面的语句。
2.4 foreach语句
foreach语句对数组或集合中的每个元素执行指定的语句一次。不同于for语句，foreach语句不能用于在集合中添加或删除元素。
foreach语句的语法如下：
foreach ( type identifier in expression )
embedded-statement
如果expression的类型为数组，就将执行到IEnumberable的隐式转换；如果是集合，它要么实现了IEnumberable或IEnumberable<T>，要么提供了合适的GetEnumerator方法。
ps：迭代变量
foreach语句中的type和identifier声明了一个迭代变量，这是一个只读的局部变量，其作用域为嵌套的语句。
遍历集合中的元素时，迭代变量指向当前元素。
在所有的迭代语句中，只有 foreach 语句没有包含条件。除非有跳转语句结束循环，否则将对集合中的每个元素重复执行嵌套语句一次。对于集合和一维数组，将从索引零开始按升序遍历元素。如果 expression 是多维数组，就将从最右边的那维开始按升序遍历，并逐渐移到最左边的那维。
如果集合没有任何元素，就将不执行嵌套的语句。
如下代码显示字符串中的每个字符，每个字符占一行
string s = “This is a test.”;
foreach (char c in s)
{
Console.WriteLine(c);
}
三、跳转语句
跳转语句与选择语句、迭代语句的不同之处在于，它们无条件地跳转到指定位置—跳转语句的目标（target）位置。
ps：goto语句
虽然goto语句不常用，但是C#确实提供了，它跳转到用标签标记的地方。goto语句还可跳转到switch语句中特定的case标签或default标签处。
goto语句的语法如下：
goto identifier;
goto case constant-expression;
goto default;
与break和continue语句一样，goto语句也将导致当前语句块中的后续语句不被执行。
强烈建议在任何情况下都不要使用 goto 语句，因为它很容易滥用，导致代码难以理解和维护。大量使用 goto 语句的代码常被称为“意大利面条式”代码，因为程序流程就像是一盘意大利面条。
3.1 break语句
break语句用于退出最近的switch、while、do、for或foreach语句。如果多条这样的语句相互嵌套，就将只退出最里面的那条语句。
3.2 continue语句
continue语句进入最近的while、do、for或foreach语句的下一次迭代。如果多条这样的语句相互嵌套，continue 语句将只用于最里面的语句，跳过 continue 语句和循环体末尾之间的所有语句。
continue语句导致for语句的表达式和迭代器被重新计算，明白这一点很重要。
3.3 return语句
该语句返回到其所属成员的调用方。在return语句中可包含一个表达式，这种return语句只能用于返回类型不是void的类成员中。return语句也可不包含表达式，这种return语句只能用于返回类型为void的类成员中，这包括构造函数和终结器（finalizer）。
