在之前的C# 7 新特性博客中，我们谈到了Tuples，Record Type和Pattern Matching。这些都是C#新特性中最可能出现的。在本博客中，我们会提到更多的一些特性，虽然这些特性不像之前的有那么多的关注，但也是很有用的特性。
来源https://www.kenneth-truyers.net/2016/01/25/new-features-in-c-sharp-7-part-2/?utm_campaign=C%23%2BWeekly&utm_medium=email&utm_source=C%23_Weekly_44
Non-nullable引用类型##
What###
c#2.0中引入了可空值类型，本质上它是Nullable
Why###
空引用一直被称之为"The billion dollar mistake"(Tony Hoare)。NullReference异常太常见了。问题是有两方面的，要么你没有检测null值，造成运行时异常；要么你检查了他们，你的的代码变成了垃圾堆，充斥着检测null的代码，而却缺少真正需要的语句。声明一个不可为null的引用类型可以克服这个问题。
How###
注意：下面的语法是尚未确定下来的，仍可能变动。目前有各种各样的提议，所以不清楚具体的形式会是什么样子。当我提到"error"时，尚不清楚是兼容性错误还是只是warning。
首先，最理想的做法是，引用类型默认为Non-nullable的，这样可以和值类型的默认也是Non-nullable相对应，如下。
int a; //non-nullable value type
int? b; //nullable value type
string c; //non-nullable reference type
string? d; //nullable reference type
然而，这种做法兼容性非常不好。之前存在的数百万千万行代码，会因为引用类型默认为Non-nullable而break。所以必须使用不同的方式，以满足向前兼容。目前提议的做法如下。
int a; //non-nullable value type
int? b; //nullable value type
string! c; //non-nullable reference type
string d; //nullable reference type
使用nullbale类型和Non-nullable类型会影响编译器。
MyClass a; // Nullable reference type
MyClass! b; // Non-nullable reference type
a = null; // OK, this is nullable
b = null; // Error, b is non-nullable
b = a; // Error, n might be null, s can't be null
WriteLine(b.ToString()); // OK, can't be null
WriteLine(a.ToString()); // Warning! Could be null!
if (a != null) { WriteLine(a.ToString); } // OK, you checked
WriteLine(a!.Length); // Ok, if you say so
这种语法兼容性是没问题的，但是对于泛型却会有问题。
/ The Dictionary is non-nullable but string, List and MyClass aren't
Dictionary<string, List<MyClass>>! myDict;
// Proper way to declare all types as non-nullable
Dictionary<string!, List<MyClass!>!>! myDict;
如上，却不便于阅读。一种简便的形式如下。
// Typing ! in front of the type arguments makes all types non-nullable
Dictionary!<string, List<MyClass>> myDict;
局域函数local functions##
What###
允许你在区域作用域内声明方法和类型。
Why###
通过Func和Action匿名方法在一定程度上可以这么做。但是这样缺少一些特性，如下
- 泛型
- **ref和out参数
- params
How###
public int Calculate(int someInput)
{
int Factorial(int i)
{
if (i <= 1)
return 1;
return i * Factorial(i - 1);
}
var input = someInput + ... // Other calcs
return Factorial(input);
}
不可变类型##
What###
不可变对象是在对象创建之后，其状态不能被修改。
Why###
不可变对象有如下好处：
- 天生的线程安全
- 更容易使用和推测代码
- 更方便并行编程
- 不可变类型可以缓存，因为他们不会改变
目前，也是有可能去声明不可变对象的，如下
public class Point
{
public Point(int x, int y)
{
x = x;
Y = y;
}
public int X { get; }
public int Y { get; }
}
如上虽然声明定义了不可变对象，但是其意图却是不明显的。也许某一天有人对其添加了setter，那对其他的使用者来说，就会有不一样的结果。
How###
注意：再一次说明，如下语法是尚未固定的。初始的提案是添加immutable关键字。
public immutable class Point
{
public Point(int x, int y)
{
x = x;
Y = y;
}
public int X { get; }
public int Y { get; }
}
当有了不可变类型之后，在语言上就可以支持基于不同的一个实例来创建一个新的实例，如下。
var a = new Point(2, 5);
var b = a with { X = 1};
总结##
如上所述，仍是C# 7的早期阶段，如上语法很有可能会变。但是这些特性非常令人exciting的，也会使C#编程变得更愉悦。鼓励大家去Github上去看有关特性的目前的讨论情形。