C#8.0本质论第四章--操作符和控制流程

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指令声明代码区域。

4.10.8启用可空引用类型