C#语言新特性(6.0-8.0)

只读的自动属性

通过声明只有get访问器的自动属性，实现该属性只读

public string firstname { get; }
public string lastname { get;  }

自动只读属性在能在构造函数中赋值，任何其他地方的赋值都会报编译错误。

自动属性初始化器

在声明自动属性时，还可以给它指定一个初始值。初始值作为整个声明的一部分。

public icollection<double> grades { get; } = new list<double>();

字符串插入

允许你在字符串中嵌入表达式。字符串以$开头，把要嵌入的表达式在相应的位置用{和}包起来。

public string fullname => $"{firstname} {lastname}";

你还可以对表达式进行格式化

public string getgradepointpercentage() =>
    $"name: {lastname}, {firstname}. g.p.a: {grades.average():f2}";

 异常过滤器

public static async task<string> makerequest()
{
    webrequesthandler webrequesthandler = new webrequesthandler();
    webrequesthandler.allowautoredirect = false;
    using (httpclient client = new httpclient(webrequesthandler))
    {
        var stringtask = client.getstringasync("https://docs.microsoft.com/en-us/dotnet/about/");
        try
        {
            var responsetext = await stringtask;
            return responsetext;
        }
        catch (system.net.http.httprequestexception e) when (e.message.contains("301"))
        {
            return "site moved";
        }
    }
}

nameof表达式

获取变量、属性或者成员字段的名称

if (isnullorwhitespace(lastname))
    throw new argumentexception(message: "cannot be blank", paramname: nameof(lastname));

await应用于catch和finally代码块

 这个就不多说了，很简单，看代码吧

public static async task<string> makerequestandlogfailures()
{ 
    await logmethodentrance();
    var client = new system.net.http.httpclient();
    var streamtask = client.getstringasync("https://localhost:10000");
    try {
        var responsetext = await streamtask;
        return responsetext;
    } catch (system.net.http.httprequestexception e) when (e.message.contains("301"))
    {
        await logerror("recovered from redirect", e);
        return "site moved";
    }
    finally
    {
        await logmethodexit();
        client.dispose();
    }
}

通过索引器初始化集合

索引初始化器使得对集合元素的初始化与通过索引访问保持一致。之前对dictionary的初始化使用大括号的方式，如下：

private dictionary<int, string> messages = new dictionary<int, string>
{
    { 404, "page not found"},
    { 302, "page moved, but left a forwarding address."},
    { 500, "the web server can't come out to play today."}
};

现在你可以通过类似索引访问的方式进行初始化，上面的代码可以改为：

private dictionary<int, string> weberrors = new dictionary<int, string>
{
    [404] = "page not found",
    [302] = "page moved, but left a forwarding address.",
    [500] = "the web server can't come out to play today."
};

out变量声明

前要调用一个还有out参数的方法前，你需要先声明一个变量并赋一个初始值，然后才能调用这个方法

int result=0;
if (int.tryparse(input, out result))
    console.writeline(result);
else
    console.writeline("could not parse input");

现在可以在调用方法的同时声明out变量

if (int.tryparse(input, out int result))
    console.writeline(result);
else
    console.writeline("could not parse input");

同时这种方式还支持隐式类型，你可以用var代理实际的参数类型

if (int.tryparse(input, out var answer))
    console.writeline(answer);
else
    console.writeline("could not parse input");

加强型元组(tuple)

在7.0之前，要使用元组必须通过new tuple<t1, t2....>()这种方式，并且元组中的各元素只能通过属性名item1, item2...的方式访问，费力且可读性不强。

现在你可以通过如下方式声明元组，给元组赋值，且给元组中的每个属性指定一个名称

(string alpha, string beta) namedletters = ("a", "b");
console.writeline($"{namedletters.alpha}, {namedletters.beta}");

元组namedletters包含两个字段，alpha和beta。字段名只在编译时有效，在运行时又会变成item1, item2...的形式。所以在反射时不要用这些名字。

你还可以在赋值时，在右侧指定字段的名字，查看下面的代码

var alphabetstart = (alpha: "a", beta: "b");
console.writeline($"{alphabetstart.alpha}, {alphabetstart.beta}");

此外，编译器还可以从变量中推断出字段的名称，例如下面的代码

int count = 5;
string label = "colors used in the map";
var pair = (count: count, label: label);
//上面一行，可以换个写法，字段名自动从变量名中推断出来了
var pair = (count, label);

你还可以对从方法返回的元组进行拆包操作，为元组中的每个成员声明独立的变量，以提取其中的成员。这个操作称为解构。查看如下代码

(int max, int min) = range(numbers);
console.writeline(max);
console.writeline(min);

你可以为任意.net类型提供类似的解构操作。为这个类提供一个deconstruct方法，此方法需要一组out参数，每个要提取的属性对应一个out参数。

    public class user
    {
        public user(string fullname)
        {
            var arr = fullname.split(' ');
            (firstname, lastname) = (arr[0], arr[1]);
        }

        public string firstname { get; }
        public string lastname { get; }

        public void deconstruct(out string firstname, out string lastname) =>
            (firstname, lastname) = (this.firstname, this.lastname);
    }

通过把user赋值给一个元组，就可以提取各个字段了

            var user = new user("rock wang");
            (string first, string last) = user;
            console.writeline($"first name is: {first}, last name is: {last}");

舍弃物

经常会遇到这样的情况：在解构元组或者调用有out参数的方法时，有些变量的值你根本不关心，或者在后续的代码也不打算用到它，但你还是必须定义一个变量来接收它的值。c#引入了舍弃物的概念来处理这种情况。

舍弃物是一个名称为_(下划线)的只读变量，你可以把所有想舍弃的值赋值给同一个舍弃物变量，舍弃物变量造价于一个未赋值的变量。舍弃物变量只能在给它赋值的语句中使用，在其它地方不能使用。

舍弃物可以使用在以下场景中：

• 对元组或者用户定义的类型进行解构操作时

using system;
using system.collections.generic;

public class example
{
    public static void main()
    {
        var (_, _, _, pop1, _, pop2) = querycitydataforyears("new york city", 1960, 2010);

        console.writeline($"population change, 1960 to 2010: {pop2 - pop1:n0}");
    }
   
    private static (string, double, int, int, int, int) querycitydataforyears(string name, int year1, int year2)
    {
        int population1 = 0, population2 = 0;
        double area = 0;
      
        if (name == "new york city")
        {
            area = 468.48; 
            if (year1 == 1960)
            {
                population1 = 7781984;
            }
            if (year2 == 2010)
            {
                population2 = 8175133;
            }
            return (name, area, year1, population1, year2, population2);
        }

        return ("", 0, 0, 0, 0, 0);
    }
}
// the example displays the following output:
//      population change, 1960 to 2010: 393,149

• 调用带有out参数的方法时

using system;

public class example
{
   public static void main()
   {
      string[] datestrings = {"05/01/2018 14:57:32.8", "2018-05-01 14:57:32.8",
                              "2018-05-01t14:57:32.8375298-04:00", "5/01/2018",
                              "5/01/2018 14:57:32.80 -07:00", 
                              "1 may 2018 2:57:32.8 pm", "16-05-2018 1:00:32 pm", 
                              "fri, 15 may 2018 20:10:57 gmt" };
      foreach (string datestring in datestrings)
      {
         if (datetime.tryparse(datestring, out _)) 
            console.writeline($"'{datestring}': valid");
         else
            console.writeline($"'{datestring}': invalid");
      }
   }
}
// the example displays output like the following:
//       '05/01/2018 14:57:32.8': valid
//       '2018-05-01 14:57:32.8': valid
//       '2018-05-01t14:57:32.8375298-04:00': valid
//       '5/01/2018': valid
//       '5/01/2018 14:57:32.80 -07:00': valid
//       '1 may 2018 2:57:32.8 pm': valid
//       '16-05-2018 1:00:32 pm': invalid
//       'fri, 15 may 2018 20:10:57 gmt': invalid

• 在进行带有is和switch语句的模式匹配时（模式匹配下面会讲到)

using system;
using system.globalization;

public class example
{
   public static void main()
   {
      object[] objects = { cultureinfo.currentculture, 
                           cultureinfo.currentculture.datetimeformat, 
                           cultureinfo.currentculture.numberformat,
                           new argumentexception(), null };
      foreach (var obj in objects)
         providesformatinfo(obj);
   }

   private static void providesformatinfo(object obj)         
   {
      switch (obj)
      {
         case iformatprovider fmt:
            console.writeline($"{fmt} object");
            break;
         case null:
            console.write("a null object reference: ");
            console.writeline("its use could result in a nullreferenceexception");
            break;
         case object _:
            console.writeline("some object type without format information");
            break;
      }
   }
}
// the example displays the following output:
//    en-us object
//    system.globalization.datetimeformatinfo object
//    system.globalization.numberformatinfo object
//    some object type without format information
//    a null object reference: its use could result in a nullreferenceexception

• 在任何你想忽略一个变量的时，它可以作为一个标识符使用

using system;
using system.threading.tasks;

public class example
{
   public static async task main(string[] args)
   {
      await executeasyncmethods();
   }

   private static async task executeasyncmethods()
   {    
      console.writeline("about to launch a task...");
      _ = task.run(() => { var iterations = 0;  
                           for (int ctr = 0; ctr < int.maxvalue; ctr++)
                              iterations++;
                           console.writeline("completed looping operation...");
                           throw new invalidoperationexception();
                         });
      await task.delay(5000);                        
      console.writeline("exiting after 5 second delay");
   }
}
// the example displays output like the following:
//       about to launch a task...
//       completed looping operation...
//       exiting after 5 second delay

ref局部化和返回值

此特性允许你对一个在别的地方定义的变量进行引用，并可以把它以引用的形式返回给调用者。下面的例子用来操作一个矩阵，找到一个具有某一特征的位置上的元素，并返回这个元素的引用。

public static ref int find(int[,] matrix, func<int, bool> predicate)
{
    for (int i = 0; i < matrix.getlength(0); i++)
        for (int j = 0; j < matrix.getlength(1); j++)
            if (predicate(matrix[i, j]))
                return ref matrix[i, j];
    throw new invalidoperationexception("not found");
}

你可以把返回值声明成ref并修改保存在原矩阵中的值。

ref var item = ref matrixsearch.find(matrix, (val) => val == 42);
console.writeline(item);
item = 24;
console.writeline(matrix[4, 2]);

为了防止误用，c#要求在使用ref局部化和返回值时，需要遵守以下规则：

• 定义方法时，必须在方法签名和所有的return语句上都要加上ref关键字
• ref返回值可以赋值给一个值变量，可以赋值给引用变量
• 不能把一个普通方法的返回值赋值一个ref的局部变量，像 ref int i = sequence.count() 这样的语句是不允许的。
• 要返回的ref变量，作用域不能小于方法本身。如果是方法的局部变量，方法执行完毕后，其作用域也消失了，这样的变量是不能被ref返回的
• 不能在异步(async)方法中使用

几个提升性能的代码改进

当以引用的方式操作一些值类型时，可用如下几种方式，起到减少内存分配，提升性能的目的。

1. 给参数加上 in 修饰符。in 是对现有的 ref 和 out的补充。它指明该参数以引用方式传递，但在方法内它的值不会被修改。在给方法传递值类型参数量，如果没有指定out, ref和in中的任意一种修饰符，那该值在内存中会被复制一份。这三种修饰符指明参数值以引用方式传递，从而避免被复制。当传递的参数类型是比较大的结构(通过批大于intptr.size)时，对性能的提升比较明显；对于一些小的值类型，其作用并不明显，甚至会降低性能，比如sbyte, byte, short, ushort, int, uint, long, ulong, char, float, double, decimal, bool, enum等。这些修饰行有各自的作用，分别如下：
   • out: 在方法内必须修改参数的值
   • ref: 在方法内可能会修改参数的值
   • in: 在方法内不能修改参数的值
2. 对ref返回值(参见特性ref局部化和返回值)，如果你不想调用方修改返回的值，可以在返回时加上ref readonly，同时调用者也要用ref readonly变量来接收返回值，所以之前的代码可以修改如下：

   public static ref readonly int find(int[,] matrix, func<int, bool> predicate)
   {
       for (int i = 0; i < matrix.getlength(0); i++)
           for (int j = 0; j < matrix.getlength(1); j++)
               if (predicate(matrix[i, j]))
                   return ref matrix[i, j];
       throw new invalidoperationexception("not found");
   }

   ref readonly var item = ref matrixsearch.find(matrix, (val) => val == 42);
   console.writeline(item);
   item = 24;
   console.writeline(matrix[4, 2]);

3. 声明结构体时加上readonly修饰符，用来指明该struct是不可修改的，并且应当以in参数的形式传给方法

非显式命名参数

命名参数是指给方法传参时可以以“参数名：参数值”的形式传参而不用管该参数在方法签名中的位置。

    static void printorderdetails(string sellername, int ordernum, string productname)
    {
        if (string.isnullorwhitespace(sellername))
        {
            throw new argumentexception(message: "seller name cannot be null or empty.", paramname: nameof(sellername));
        }

        console.writeline($"seller: {sellername}, order #: {ordernum}, product: {productname}");
    }

 

printorderdetails(ordernum: 31, productname: "red mug", sellername: "gift shop");

printorderdetails(productname: "red mug", sellername: "gift shop", ordernum: 31);

如上面的调用，是对同一方法的调用，而非重载方法，可见参数位置可以不按方法签名中的位置。如果某一参数出现的位置同它在方法签名中的位置相同，则可以省略参数名，只传参数值。如下所示：

printorderdetails(sellername: "gift shop", 31, productname: "red mug");

上面的例子中ordernum在正确的位置上，只传参数值就可以了，不用指定参数名；但如果参数没有出现丰正确的位置上，就必须指定参数名，下面的语句编译器会抛出异常

// this generates cs1738: named argument specifications must appear after all fixed arguments have been specified.
printorderdetails(productname: "red mug", 31, "gift shop");

 

表达式体成员

有些函数或者属性只有一条语句，它可能只是一个表达式，这时可以用表达式体成员来代替

// 在构造器中使用
public expressionmembersexample(string label) => this.label = label;

// 在终结器中使用
~expressionmembersexample() => console.error.writeline("finalized!");

private string label;

// 在get, set存取器中使用
public string label
{
    get => label;
    set => this.label = value ?? "default label";
}

//在方法中使用
public override string tostring() => $"{lastname}, {firstname}";

//在只读属性中使用
public string fullname => $"{firstname} {lastname}";

throw表达式

在7.0之前，throw只能作为语句使用。这使得在一些场景下不支持抛出异常，这些场景包括：

• 条件操作符。如下面的例子，如果传入的参数是一个空的string数组，则会抛出异常，如果在7.0之前，你需要用到 if / else语句，现在不需要了

private static void displayfirstnumber(string[] args)
{
   string arg = args.length >= 1 ? args[0] : 
                              throw new argumentexception("you must supply an argument");
   if (int64.tryparse(arg, out var number))
      console.writeline($"you entered {number:f0}");
   else
      console.writeline($"{arg} is not a number.");                            
}

• 在空接合操作符中。在下面的例子中，throw表达式跟空接合操作符一起使用。在给name属性赋值时，如果传入的value是null, 则抛出异常

public string name
{
    get => name;
    set => name = value ?? 
        throw new argumentnullexception(paramname: nameof(value), message: "name cannot be null");
}

• 在lambda表达式或者具有表达式体的方法中

datetime todatetime(iformatprovider provider) => 
         throw new invalidcastexception("conversion to a datetime is not supported.");

数值写法的改进

数值常量常常容易写错或者读错。c#引入了更易读的写法

public const int sixteen =   0b0001_0000;
public const int thirtytwo = 0b0010_0000;
public const int sixtyfour = 0b0100_0000;
public const int onehundredtwentyeight = 0b1000_0000;

开头的 0b 表示这是一个二进制数，_(下划线) 表示数字分隔符。分隔符可以出现在这个常量的任意位置，只要能帮助你阅读就行。比如在写十进制数时，可以写成下面的形式

public const long billionsandbillions = 100_000_000_000;

分隔符还可以用于 decimal, float, double类型

public const double avogadroconstant = 6.022_140_857_747_474e23;
public const decimal goldenratio = 1.618_033_988_749_894_848_204_586_834_365_638_117_720_309_179m;

从7.2开始，二进制和十六进制的数组还可以 _ 开头

int binaryvalue = 0b_0101_0101;
int hexvalue = 0x_ffee_eeff;

private protected访问修饰符

private protected指明一个成员只能被包含类（相对内部类而言）或者在同一程序集下的派生类访问

注：protected internal指明一个成员只能被派生类或者在同一程序集内的其他类访问

条件的ref表达式

现在条件表达式可以返回一个ref的结果了，如下：

ref var r = ref (arr != null ? ref arr[0] : ref otherarr[0]);

 

 

异步main方法

async main 方法使你能够在main方法中使用 await。之前你可能需要这么写：

static int main()
{
    return doasyncwork().getawaiter().getresult();
}

现在你可以这么写：

static async task<int> main()
{
    // this could also be replaced with the body
    // doasyncwork, including its await expressions:
    return await doasyncwork();
}

如果你的程序不需要返回任何退出码，你可以让main方法返回一个task:

static async task main()
{
    await someasyncmethod();
}

default字面的表达式

default字面的表达式是对defalut值表达式的改进，用于给变量赋一个默认值。之前你是这么写的：

func<string, bool> whereclause = default(func<string, bool>);

现在你可以省略右边的类型

func<string, bool> whereclause = default;

 

using static

using static语句允许你把一个类中的静态方法导出进来，在当前文件中可以直接使用它的静态方法，而不用带上类名

using static system.math
//旧写法
system.math.abs(1, 2, 3);

//新写法
abs(1, 2, 3);

 空条件操作符(null-conditional operator)

空条件操作符使判空更加容易和流畅。把成员访问操作符 . 换成 ?.

var first = person?.firstname;

在上述代码中，如果person为null，则把null赋值给first，并不会抛出nullreferenceexception；否则，把person.firstname赋值给first。你还可以把空条件操作符应用于只读的自动属性

通过声明只有get访问器的自动属性，实现该属性只读

 

public string firstname { get; }

public string lastname { get; }

 

自动只读属性在能在构造函数中赋值，任何其他地方的赋值都会报编译错误。

 

自动属性初始化器

在声明自动属性时，还可以给它指定一个初始值。初始值作为整个声明的一部分。

public icollection<double> grades { get; } = new list<double>();

局部函数(local functions)

有些方法只在一个地方被调用，这想方法通常很小且功能单一，没有很复杂的逻辑。局部函数允许你在一个方法内部声明另一个方法。局部函数使得别人一眼就能看出这个方法只在声明它的方法内使用到。代码如下：

int m()
{
    int y;
    addone();
    return y;

    void addone() => y += 1;
}

上面的代码中, addone就是一个局部函数，它的作用是给y加1。有时候你可能希望这些局部函数更“独立”一些，不希望它们直接使用上下文中的变量，这时你可以把局部函数声明成静态方法，如果你在静态方法中使用了上下文中的变量，编译器会报错cs8421。如下代码所示：

int m()
{
    int y;
    addone();
    return y;

    static void addone() => y += 1;
}

这时你的代码要做相应的修改

int m()
{
    int y;
    y=addone(y);
    return y;

    static intaddone(int toadd) =>{ toadd += 1; return toadd;}
}

序列的下标和范围

在通过下标取序列的元素时，如果在下面前加上 ^ 表示从末尾开始计数。操作符 .. 两边的数表示开始下标和结束下标，假设有如下数组

var words = new string[]
{
                // index from start    index from end
    "the",      // 0                   ^9
    "quick",    // 1                   ^8
    "brown",    // 2                   ^7
    "fox",      // 3                   ^6
    "jumped",   // 4                   ^5
    "over",     // 5                   ^4
    "the",      // 6                   ^3
    "lazy",     // 7                   ^2
    "dog"       // 8                   ^1
};              // 9 (or words.length) ^0

你可以通过 ^1下标来取最后一个元素(注意：^0相当于words.length，会抛出异常)

console.writeline($"the last word is {words[^1]}");
// writes "dog"

下面的代码会取出一个包含"quick", "brown"和"fox"的子集，分别对应words[1], words[2], words[3]这3个元素，words[4]不包括

var quickbrownfox = words[1..4];

下面的代码会取出"lazy"和"dog"的子集体，分别对应words[^2]和words[^1]。wrods[^0]不包括。

var lazydog = words[^2..^0];

空联合赋值

先回忆一下空联合操作符 ??

它表示如果操作符左边不为null，则返回它。否则，返回操作符右边的计算结果

int? a = null;
int b = a ?? -1;
console.writeline(b);  // output: -1

空联合赋值：当??左边为null时，把右边的计算结果赋值给左边

list<int> numbers = null;
int? a = null;

(numbers ??= new list<int>()).add(5);
console.writeline(string.join(" ", numbers));  // output: 5

numbers.add(a ??= 0);
console.writeline(string.join(" ", numbers));  // output: 5 0
console.writeline(a);  // output: 0

内插值替换的string的增强

$@现在等价于@$

var text1 = $@"{a}_{b}_{c}";
var text2 = @$"{a}_{b}_{c}";

只读成员(readonly members)

可以把 readonly 修饰符应用于struct的成员上，这表明该成员不会修改状态。相对于在 struct 上应用readonly显示更加精细化。

考虑正面这个可变结构体：

public struct point
{
    public double x { get; set; }
    public double y { get; set; }
    public double distance => math.sqrt(x * x + y * y);

    public override string tostring() =>
        $"({x}, {y}) is {distance} from the origin";
}

通常tostring()方法不会也不应该修改状态，所以你可以通过给它加上一个 readonly 修饰符来表明这一点。代码如下：

public readonly override string tostring() =>
    $"({x}, {y}) is {distance} from the origin";

由于tostring()方法中用到了 distance属性，而distance并非只读的，所以当编译时会收到如下警告：

warning cs8656: call to non-readonly member 'point.distance.get' from a 'readonly' member results in an implicit copy of 'this'

要想消除这个警告，可以给distance添加 readonly 修饰符

public readonly double distance => math.sqrt(x * x + y * y);

由于x和y属性的getter是自动实现的，编译器默认它们是readonly的，所以不会给出警告。

带有 readonly的成员并非一定不能修改状态, 说白了它只起到对程序员的提示作用，没有强制作用，以下代码仍然能编译通过：

public readonly void translate(int xoffset, int yoffset)
{
    x += xoffset;
    y += yoffset;
}

默认接口方法

你可以在接口定义中给成员添加一个默认实现，如果在实现类中没有重写该成员，则实现类继承了这个默认实现。此时该成员并非公共可见的成员。考虑如下代码：

public interface icontrol
{
    void paint() => console.writeline("default paint method");
}
public class sampleclass : icontrol
{
    // paint() is inherited from icontrol.
}

在上面的代码中，sampleclass默认继承了iconrol的paint()方法，但不会向外显露，即你不能通过sampleclass.paint()来访问，你需要先把sampleclass转成icontrol再访问。代码如下：

var sample = new sampleclass();
//sample.paint();// "paint" isn't accessible.
var control = sample as icontrol;
control.paint();

模式匹配

模式匹配是对现有 is 和 switch 语句的扩展和增强。它包括检验值和提取值两部分功能。

假设我们有如下图形类, square(正方形), circle(圆形), rectangle(矩形), triangle(三角形):

public class square
{
    public double side { get; }

    public square(double side)
    {
        side = side;
    }
}
public class circle
{
    public double radius { get; }

    public circle(double radius)
    {
        radius = radius;
    }
}
public struct rectangle
{
    public double length { get; }
    public double height { get; }

    public rectangle(double length, double height)
    {
        length = length;
        height = height;
    }
}
public class triangle
{
    public double base { get; }
    public double height { get; }

    public triangle(double @base, double height)
    {
        base = @base;
        height = height;
    }
}

对于这些图形，我们写一个方法用来计算它们的面积，传统的写法如下：

public static double computearea(object shape)
{
    if (shape is square)
    {
        var s = (square)shape;
        return s.side * s.side;
    } 
    else if (shape is circle)
    {
        var c = (circle)shape;
        return c.radius * c.radius * math.pi;
    }
    // elided
    throw new argumentexception(
        message: "shape is not a recognized shape",
        paramname: nameof(shape));
}

现在对 is表达式进行一下扩展，使它不仅能用于检查，并且如果检查通过的话，随即赋值给一个变量。这样一来，我们的代码就会变得非常简单，如下：

public static double computeareamodernis(object shape)
{
    if (shape is square s)
        return s.side * s.side;
    else if (shape is circle c)
        return c.radius * c.radius * math.pi;
    else if (shape is rectangle r)
        return r.height * r.length;
    // elided
    throw new argumentexception(
        message: "shape is not a recognized shape",
        paramname: nameof(shape));
}

在这个更新后的版本中，is表达式不仅检查变量的类型，还赋值给一个新的拥有合适的类型的变量。另外，这个版本中还包含了 rectangel 类型，它是一个struct, 也就是说 is表达式不仅能作用于引用类型，还能作用于值类型。上面这种模式匹配称为类型模式。

语法如下：

expr is type varname

如果expr是type类型或者其派生类，则把expr转成type类型并赋值给变量varname.

常量模式

string aaa="abc";
if(aaa.length is 3)
{
   //当长度为3时的处理逻辑  
}

if(aaa is null)
{
  //为null时的逻辑
}

从上述代码可以看出is还能判断是否为null。

var模式

语法如下：

expr is var varname

var模式总是成功的，上面的代码主要是为了把expr赋值给变量varname，考虑如下代码

int[] testset = { 100271, 234335, 342439, 999683 };

var primes = testset.where(n => factor(n).tolist() is var factors
                                    && factors.count == 2
                                    && factors.contains(1)
                                    && factors.contains(n));

 

上述代码中的变量s, c, r遵循如下规则：

• 只有所在的if条件满足时才会被赋值
• 只有在相应的if分支中可用，在别的地方不可见

上述代码中的if可以用switch语句替换，如下所示

public static double computeareamodernswitch(object shape)
{
    switch (shape)
    {
        case square s:
            return s.side * s.side;
        case circle c:
            return c.radius * c.radius * math.pi;
        case rectangle r:
            return r.height * r.length;
        default:
            throw new argumentexception(
                message: "shape is not a recognized shape",
                paramname: nameof(shape));
    }
}

这跟传统的switch语句有所不同，传统的swich语句，case后面只能跟常量，所以也限制了swich只能用于检测数值型和string型的变量，而新的语法中switch后面不再限制类型，并且case表达式也不再限制为常量。这意味着之前只有一个case会匹配成功，现在会出现多个case都匹配的情况，这样一来，各case的顺序不同，程序的运行结果也就不同。

接下再说swich表达式，跟switch语句不同，switch语句是一段代码块，而switch表达式是一个表达式，严格来说它表示为一个值。把上面的代码改用swich表达式来写，代码如下

public static double computeareamodernswitch(object shape) => shape switch
{
    square s    => s.side * s.side,
    circle c    => c.radius * c.radius * math.pi,
    rectangle r => r.height * r.length,
    _           => throw new argumentexception(
            message: "shape is not a recognized shape",
            paramname: nameof(shape))
};

这跟swich语句不同的地方有：

• 变量出现在switch前面，从这个顺序上一眼就能看出这个是switch语句，还是switch表达式
• case 和 :(冒号) 被 => 代替，更加简洁和直观
• default 被 _(忽略符) 代替
• 每个case的body都是一个表达式，而不是语句

接下来的例子中一般会写出两种写法，以做比较。

 在case表达式中使用when语句

当正方形边长为0时，其面积为0；当矩形任一边长为0时，其面积为0；当圆形的半径为0时，其面积为0；当三角形的底或者高为0时，其面积为0；为了检测这些情况，我们需要进行额外的条件判断，代码如下：

//switch语句
public static double computearea_version4(object shape)
{
    switch (shape)
    {
        case square s when s.side == 0:
        case circle c when c.radius == 0:
        case triangle t when t.base == 0 || t.height == 0:
        case rectangle r when r.length == 0 || r.height == 0:
            return 0;

        case square s:
            return s.side * s.side;
        case circle c:
            return c.radius * c.radius * math.pi;
        case triangle t:
            return t.base * t.height / 2;
        case rectangle r:
            return r.length * r.height;
        case null:
            throw new argumentnullexception(paramname: nameof(shape), message: "shape must not be null");
        default:
            throw new argumentexception(
                message: "shape is not a recognized shape",
                paramname: nameof(shape));
    }
}

 

//switch表达式
public static double computearea_version4(object shape) => shape switch
{
     square s when s.side == 0                       => 0,
     circle c when c.radius == 0                     => 0,
     triangle t when t.base == 0 || t.height == 0    => 0,
     rectangle r when r.length == 0 || r.height == 0 => 0,
     square s                                        => s.side * s.side,
     circle c                                        => c.radius * c.radius * math.pi,
     triangle t                                      => t.base * t.height / 2,
     rectangle r                                     => r.length * r.height,
     null                                            => throw new argumentnullexception(paramname: nameof(shape), message: "shape must not be null"),
     _                                               => throw new argumentexception( message=> "shape is not a recognized shape", paramname=> nameof(shape)) 
}

 

在case表达式中使用when语句，可以进行额外的条件判断。

在case表达式中使用var

使用var情况下，编译器会根据switch前的变量推断出类型，该类型是编译时的类型而不是运行时的真正类型。即如果有接口实例或者继承关系，var后面的变量不会是形参的实际类型。

 

递归模式匹配

所谓递归模式匹配是指一个表达式可以作为另一个表达式的输出，如此反复，可以无限级嵌套。

swich表达式相当于是一个值，它可以作为另一个表达式的输出，当然也可以作为另一个switch表达式的输出，所以可以递归使用

考虑如下场景：中国的地方省、市、县三级，都实现iarea接口，要求给出一个iarea，返回其所在省的名称，其中如果是市的话，要考虑直辖市和地级市。代码如下：

public interface iarea
{
    string name { get; }
    iarea parent { get; }
}

public class county: iarea
{
    
}

public class city: iarea
{
}

public class province: iarea
{
}

public string getprovincename(iarea area) => area switch
{
    province p => p.name,
    city c => c switch
    {
        var c when c.parent == null => c.name,//直辖市
        var c                       => c.parent.name,
    },
    county ct => ct switch
    {
        var ct when ct.parent.parent ==null => ct.parent.name,//直辖市下面的县
        var ct                          => ct.parent.parent.name
    }
};

这段代码只是为了演示递归模式，不是解决该问题的最优写法。 

属性模式匹配

就是对被检测对象的某些属性做匹配。比如一个电商网站要根据客户所在地区实现不同的税率，直接上代码，很好理解

public static decimal computesalestax(address location, decimal saleprice) =>
    location switch
    {
        { state: "wa" } => saleprice * 0.06m,
        { state: "mn" } => saleprice * 0.75m,
        { state: "mi" } => saleprice * 0.05m,
        // other cases removed for brevity...
        _ => 0m
    };

 

元组(tuple)模式

 有些算法需要多个输入参数以进行检测，此时可能使用一个tuple作为switch表达的检测对象，如下代码，显示剪刀、石头、布游戏，输入两个的出的什么，根据输入输出结果

public static string rockpaperscissors(string first, string second)
    => (first, second) switch
    {
        ("rock", "paper") => "rock is covered by paper. paper wins.",
        ("rock", "scissors") => "rock breaks scissors. rock wins.",
        ("paper", "rock") => "paper covers rock. paper wins.",
        ("paper", "scissors") => "paper is cut by scissors. scissors wins.",
        ("scissors", "rock") => "scissors is broken by rock. rock wins.",
        ("scissors", "paper") => "scissors cuts paper. scissors wins.",
        (_, _) => "tie"
    };

 位置模式

有些类型带有解构(deconstruct)方法，该方法可以把属性解构到多个变量中。基于这一特性，可以把利用位置模式可以对对象的多个属性应用匹配模式。

比如下面的point类中含有deconstruct方法，可以把它的 x 和 y 属性分解到变量中。

public class point
{
    public int x { get; }
    public int y { get; }

    public point(int x, int y) => (x, y) = (x, y);

    public void deconstruct(out int x, out int y) =>
        (x, y) = (x, y);
}

下面的枚举表示坐标系统中的不同区域

public enum quadrant
{
    unknown,
    origin,
    one,
    two,
    three,
    four,
    onborder
}

下面这个方法使用位置模式提取x, y 的值，并用when语句确定某个点在坐标系中所处的区域

static quadrant getquadrant(point point) => point switch
{
    (0, 0) => quadrant.origin,
    var (x, y) when x > 0 && y > 0 => quadrant.one,
    var (x, y) when x < 0 && y > 0 => quadrant.two,
    var (x, y) when x < 0 && y < 0 => quadrant.three,
    var (x, y) when x > 0 && y < 0 => quadrant.four,
    var (_, _) => quadrant.onborder,
    _ => quadrant.unknown
};

 using声明

using声明是为了声明一个变量，在超出其作用域时，将其销毁(dispose)，如下面的代码：

static int writelinestofile(ienumerable<string> lines)
{
    using var file = new system.io.streamwriter("writelines2.txt");
    // notice how we declare skippedlines after the using statement.
    int skippedlines = 0;
    foreach (string line in lines)
    {
        if (!line.contains("second"))
        {
            file.writeline(line);
        }
        else
        {
            skippedlines++;
        }
    }
    // notice how skippedlines is in scope here.
    return skippedlines;
    // file is disposed here
}

之前的语法需要用到大括号，当遇到结束大括号时，对象被销毁，代码如下：

static int writelinestofile(ienumerable<string> lines)
{
    // we must declare the variable outside of the using block
    // so that it is in scope to be returned.
    int skippedlines = 0;
    using (var file = new system.io.streamwriter("writelines2.txt"))
    {
        foreach (string line in lines)
        {
            if (!line.contains("second"))
            {
                file.writeline(line);
            }
            else
            {
                skippedlines++;
            }
        }
    } // file is disposed here
    return skippedlines;
}

写法比以前相对简洁了，另外当该方法中有多个需要即时销毁的对象时，你不需要使用using嵌套的写法。考虑如下代码：

static void writelinestofile(ienumerable<string> lines)
{
    using (var file1 = new system.io.streamwriter("writelines1.txt"))
    {
        using (var file2 = new system.io.streamwriter("writelines1.txt"))
        {
            foreach (string line in lines)
            {
                if (!line.contains("second"))
                {
                    file1.writeline(line);
                }
                else
                {
                    file2.writeline(line);
                }
            }            
        }// file2 is disposed here
    } // file1 is disposed here
    
    //
    // some other statements
    //
}

使用新语法代码如下：

static void writelinestofile(ienumerable<string> lines)
{
    using var file1 = new system.io.streamwriter("writelines1.txt")；
    using (var file2 = new system.io.streamwriter("writelines1.txt")；
    
    foreach (string line in lines)
    {
        if (!line.contains("second"))
        {
            file1.writeline(line);
        }
        else
        {
            file2.writeline(line);
        }
    }            
    
    //
    // some other statements
    //
    
    
    // file2 is disposed here
    // file1 is disposed here
}

转自：https://www.cnblogs.com/xclw/p/12653428.html