C#8.0本质论第四章–操作符和控制流程
4.1操作符
有些操作符以符号的形式出现,例如+、-、?.或者??等,而另一些操作符则为关键词,例如default和is。
4.1.1一元正负操作符
一元正操作符(+)对值几乎没有影响,它在C#中是多余的。
4.1.2二元算数操作符
在C++中允许像 4+5; 这样的二元表达式作为独立语句使用,在C#中只有赋值,调用,递增,递减,await和对象创建表达式才能作为独立语句使用。
优先级和结合性只影响操作符自身的执行顺序,不影响操作数的求值顺序。在C#中,操作数总是从左向右求值。而在C++中,C++规范允许不同的实现自行选择操作数求值顺序。
public static int A()
{
Console.WriteLine("A");
return 1;
}
public static int B()
{
Console.WriteLine("B");
return 2;
}
public static int C()
{
Console.WriteLine("C");
return 3;
}
static void Main(string[] args)
{
Console.WriteLine(A() + B() * C());
Console.ReadKey();
}
在C#中上面代码竖着输出ABC7,如果是C++的话就不一定是ABC的顺序了。
避免将二进制浮点数类型用于相等性条件式,要么判断差是否在容差范围内,要么用decimal类型。
C#中浮点0除以0会得到**“Not a Number”(非数字)**。获取负数的平方根也会得到NaN。
浮点数一旦溢出边界,结果会存储为正无穷大(∞)或负无穷大(-∞)。
//输出-∞
Console.WriteLine(-1.0 / 0);
4.1.3复合赋值操作符
4.1.4递增和递减操作符
对于M(x++,x++)这样的调用,假定x初值是1,在C++中既可以是M(1,2),也可以是M(2,1),具体由编译器决定。C#总是调用M(1,2),因为C#做出了两点保证:第一,传给调用的实参总是从左向右计算;第二,总是先将已递增的值赋给变量,再使用表达式的值(第二点我没看懂)。
4.1.5常量表达式和常量符号
常量表达式是编译器能在编译时求值的表达式,而不是在运行时才能求值
4.3代码块
4.4代码块、作用域和声明空间
关于局部变量的作用域:在C++中,对于块中声明的局部变量,它的作用域从声明位置开始,到块尾结束,如果此时有另一个同名的事物在作用域中,C++会将名称解析为对那个事物的引用。C#稍有不同,对于声明局部变量的那个块,局部变量都在作用域中,但声明前引用它属于非法。换言之,此时局部变量合法存在,但使用非法。这是C#防止像C++那样出现不容易察觉之错误的众多规则之一。
4.5布尔表达式
C#要求条件必须是布尔类型,因此它消除了C++的一个常见的编码错误,将==写成=。
4.5.1关系操作符和相等操作符
4.5.2逻辑操作符
4.5.3逻辑求反操作符
4.5.4条件操作符
因为它是唯一的三元操作符,所以通常直接称它为三元操作符。
condition ? consequence : alternative
条件操作符也采用了某种形式的短路求值。如condition为true,则只求值consequence,否则只求值alternative。
C#要求条件操作符consequence和alternative表达式类型一致,而且在判断类型时不会检查表达式的上下文。
4.6关于null的编程
4.6.1检查null值
**==和!=**可以在所有版本的C#中使用,但是它们可以被类覆盖,从而引入轻微的性能影响。
**ReferenceEquals()**方法用于判断两个引用型变量是否指向了内存中的同一个对象,而不是判断是否有相同的数据内容。它不可以被覆盖,因此可以确保它的行为不会被改变。
is模式匹配操作符通过测试一个变量是否是一个对象,来判断其是否不为null值,C#7.0加强了改操作符,专门提供了is null来判断值为null的情形。
is { }模式匹配操作符,也可以用来判断一个变量是否不为null值,但有一个小优点,如果变量为不可空类型,编译器会发出警告
4.6.2空合并操作符与空合并赋值操作符
**空合并操作符??**能简单地表示"如果这个值为空,就使用另一个值"。支持短路求值,能完美链接,可以连写,x??y??z。
C#8.0引入了空合并赋值操作符,如果等号左边的变量不为null。则维持其原值不变,否则将用等于号右侧表达式的值对等于号左侧的变量进行赋值。如name??=“name”;
4.6.3空条件操作符
C#6.0引入了?.操作符,称为空条件操作符,它产生的运算结果永远是可空类型,也可以用于访问数组,如segments?[0]将在数组不为null的前提下获取数组元素。
//C#8.0中数组及其元素均声明为可空
string?[]? segments;
4.6.4空包容操作符
uri = string.Join('/',segments!);
在C#8.0中可以使用空包容操作符(!)来避免警告,告诉编译器程序员可以保证某个变量一定不为null值,但是执行的时候运行时库仍然会检查null值。
4.7按位操作符
4.7.1移位操作符
4.7.2按位操作符
和&&不同,&操作符总是两边求值,即使左边为false,|也一样。
有内建的System.Convert.ToString(value,2)可以转换成二进制。
4.7.3按位复合赋值操作符
4.8控制流程语句
4.8.1while和do/while循环
4.8.2for循环
4.8.3foreach循环
它迭代数据项集合,每一项只迭代一次,不会出现计数错误,可不可能越过集合边界。
foreach(type variable in collection)
statement
variable是只读变量
4.8.4基本switch语句
switch(expression)
{
case constant:
statements
default:
statements
}
statements这组语句的结束点必须“不可到达”,换言之,不能“直通”或“贯穿”到下一个switch小节,所以,锁喉一个语句通常是跳转语句,如break,return或goto。
switch语句应至少有一个switch小节,switch{}合法但会产生一个警告。
在C++中switch小节如不以跳转语句结尾,控制会“贯穿”至下一个switch小节并执行其中的代码,由于在C++中容易出错,所以C#不允许控制从一个switch小节自然贯穿到下一个。但可以使用goto语句来实现贯穿。
C#7.0为switch引入了模式匹配。
4.9跳转语句
4.9.1break语句
4.9.2continue语句
4.9.3goto语句
C#支持goto而且只能利用goto在switch中实现贯穿。C#禁止通过goto跳入代码块,避免了在其他语言中可能遇到的大多数滥用goto的情况。
4.10C#预处理器指令
预处理器指令告诉C#编译器要编译哪些代码,并指出如何处理代码中的特定错误和警告。
C和C++等语言用预处理器对代码进行整理,告诉编译器如何编译文件中的代码,而并不参与实际的编译过程。相反,C#编译器将预处理器指令作为对源代码执行的常规词法分析的一部分。结果就是C#不支持更高级的预处理器宏,最多只允许定义常量。
4.10.1排除和包含代码
预处理器指令可以处理不同平台之间的差异。
4.10.2定义预处理器符号
4.10.3生成错误和警告
4.10.4关闭警告消息
4.10.5nowarn:选项
4.10.6指定行号
4.10.7可视编辑器提示
C#允许用#region指令声明代码区域。
4.10.8启用可空引用类型
预处理器指令可以处理不同平台之间的差异。
4.10.2定义预处理器符号
4.10.3生成错误和警告
4.10.4关闭警告消息
4.10.5nowarn:选项
4.10.6指定行号
4.10.7可视编辑器提示
C#允许用#region指令声明代码区域。