C#的模式匹配
随着 C# 语言的不断发展，模式匹配作为一种新兴的编程特性，为代码的可读性、可维护性和效率带来了显著提升。它不仅简化了类型检查与转换的复杂流程，还为数据处理、算法实现等场景提供了更高效、更灵活的解决方案。本文将深入探讨模式匹配在 C# 程序设计中的应用，通过丰富的案例和详细的解析，帮助读者全面了解模式匹配的强大功能，掌握其在实际开发中的最佳实践，从而提升编程技能，优化代码质量，让 C# 开发工作更加得心应手。
1. 概述
1.1 模式匹配的定义与作用
模式匹配是一种强大的编程技术，用于检查数据是否符合特定的结构或模式，并根据匹配结果执行相应的操作。在C#中，模式匹配允许开发者以更简洁、更直观的方式编写代码，从而提高代码的可读性和可维护性。它通常用于处理复杂的类型转换、条件判断以及数据提取等场景。
类型匹配：模式匹配可以检查一个对象是否兼容于某个类型。例如，当处理一个未知类型的对象时，可以使用模式匹配来判断它是否是某个特定的类型，并直接将其转换为该类型进行操作。这避免了冗长的类型检查和显式转换代码。例如，if(obj is string str)，如果obj是string类型，那么str变量就会被赋值为obj的字符串表示，可以直接对str进行字符串相关的操作。
条件匹配：除了类型匹配，模式匹配还可以结合条件表达式，进一步增强其功能。例如，if(obj is string str && str.Length > 10)，这不仅检查obj是否为字符串类型，还检查字符串的长度是否大于10。这种组合使用方式使得代码更加灵活和强大。
数据提取：模式匹配还可以用于从复杂的数据结构中提取有用的信息。例如，当处理一个包含多个字段的对象时，可以使用模式匹配直接提取出需要的字段值，而无需编写复杂的访问代码。这种数据提取功能在处理复杂的数据模型时非常有用，可以简化代码逻辑。
1.2 支持模式匹配的 C# 版本
模式匹配是C#语言在较新版本中引入的功能，从C# 7.0开始，模式匹配逐渐被引入并不断完善。
C# 7.0：引入了is表达式与模式匹配的初步支持。在C# 7.0中，is表达式可以与模式匹配结合使用，允许开发者在检查类型的同时声明一个新的变量来存储转换后的值。例如，if(obj is MyClass myInstance)，如果obj是MyClass类型的实例，那么myInstance变量就会被赋值为obj的MyClass类型表示，可以直接对myInstance进行操作。
C# 8.0：进一步扩展了模式匹配的功能，引入了位置模式和递归模式。位置模式允许开发者根据对象的结构来匹配和提取数据。例如，对于一个包含多个字段的元组，可以使用位置模式直接提取出需要的字段值。递归模式则允许在模式匹配中嵌套使用模式，从而实现更复杂的匹配逻辑。这些新功能使得模式匹配在处理复杂数据结构时更加灵活和强大。
C# 9.0：继续增强模式匹配的功能，引入了关系模式和逻辑模式。关系模式允许使用比较运算符来匹配值，例如if(x is > 10)，这使得模式匹配可以用于更广泛的场景。逻辑模式则允许使用逻辑运算符（如&&、||）组合多个模式，从而实现更复杂的条件判断。这些改进进一步提升了模式匹配的表达能力和灵活性。
2. 模式匹配的语法结构
2.1 is 表达式中的模式匹配
is表达式是C#中实现模式匹配的重要方式之一。在C# 7.0及更高版本中，is表达式与模式匹配结合使用，提供了强大的类型检查和数据提取功能。
语法格式：if (expression is pattern)。其中expression是要进行匹配的表达式，pattern是模式。
类型模式：这是最基础的模式匹配形式。例如if (obj is string str)，如果obj是string类型，str变量就会被赋值为obj的字符串表示。这种类型模式使得类型检查和变量声明可以在一个语句中完成，避免了冗长的as或is与强制类型转换的组合代码。在实际开发中，当需要对一个未知类型的对象进行类型特定的操作时，类型模式非常方便。比如处理一个从外部接口获取的对象，可能是一个字符串、数字或其他自定义类型，使用类型模式可以快速判断并进行相应的操作。
当模式：从C# 8.0开始，is表达式支持当模式，允许在模式匹配时添加条件。例如if (obj is string str when (str.Length > 10))，这不仅检查obj是否为字符串类型，还检查字符串的长度是否大于10。当模式使得模式匹配可以结合更复杂的条件，增强了代码的灵活性和表达能力。在处理数据验证等场景时，当模式可以方便地将类型检查和条件判断结合在一起，减少嵌套的if语句。
位置模式：位置模式是C# 8.0引入的另一种模式匹配方式，主要用于从具有特定结构的对象中提取数据。例如对于一个元组(int, string) tuple，可以使用if (tuple is (int x, string y))来提取元组中的两个字段值x和y。位置模式使得从复杂的数据结构中提取数据变得更加简洁和直观，避免了复杂的访问代码。在处理包含多个字段的对象或元组时，位置模式可以大大简化代码逻辑，提高代码的可读性和可维护性。
2.2 switch 语句中的模式匹配
从C# 8.0开始，switch语句也支持模式匹配，这使得switch语句的功能得到了极大的扩展，可以处理更复杂的逻辑。
语法格式：switch(expression) { case pattern: ... }。其中expression是要进行匹配的表达式，pattern是模式。
类型模式：在switch语句中使用类型模式可以对不同类型的对象执行不同的操作。例如：
switch (obj)
{
case string str:
Console.WriteLine("It's a string: " + str);
break;
case int num:
Console.WriteLine("It's an integer: " + num);
break;
default:
Console.WriteLine("Unknown type");
break;
}
这段代码根据obj的类型执行不同的分支，如果obj是string类型，就执行第一个分支，如果是int类型，就执行第二个分支。这种类型模式使得switch语句可以处理多态类型的情况，而无需使用冗长的if-else if语句。
当模式：switch语句中的当模式与is表达式中的当模式类似，允许在模式匹配时添加条件。例如：
switch (obj)
{
case string str when (str.Length > 10):
Console.WriteLine("It's a long string: " + str);
break;
case string str:
Console.WriteLine("It's a short string: " + str);
break;
default:
Console.WriteLine("Unknown type");
break;
}
这段代码不仅检查obj是否为字符串类型，还根据字符串的长度执行不同的分支。当模式使得switch语句可以处理更复杂的条件判断，增强了代码的灵活性和表达能力。
位置模式：switch语句中的位置模式可以用于从具有特定结构的对象中提取数据并执行相应的操作。例如对于一个元组(int, string) tuple：
switch (tuple) { case (int x, string y): Console.WriteLine("Tuple: " + x + ", " + y); break; default: Console.WriteLine("Unknown type"); break; }
这段代码使用位置模式提取元组中的两个字段值x和y，并执行相应的操作。位置模式使得switch语句可以处理复杂的数据结构，简化了代码逻辑，提高了代码的可读性和可维护性。
3. 常见的模式类型
3.1 声明模式
声明模式是模式匹配中的一种重要形式，主要用于在匹配过程中声明一个新的变量来存储匹配后的值。这种模式使得开发者可以在一个语句中完成类型检查和变量声明，从而简化代码逻辑。
语法格式：if(expression is PatternVariable)。其中PatternVariable是一个新的变量声明，用于存储匹配后的值。例如if(obj is MyClass myInstance)，如果obj是MyClass类型的实例，那么myInstance变量就会被赋值为obj的MyClass类型表示，可以直接对myInstance进行操作。
应用场景：声明模式广泛应用于处理未知类型的对象。例如，在处理从外部接口获取的数据时，可能不确定数据的具体类型，使用声明模式可以快速判断类型并声明相应的变量，从而进行类型特定的操作。这种模式避免了冗长的类型检查和显式转换代码，提高了代码的可读性和可维护性。
示例代码：
object obj = "Hello, World!";
if(obj is string str)
{
Console.WriteLine(str.ToUpper()); // 输出：HELLO, WORLD!
}
在这个示例中，obj是一个object类型的变量，使用声明模式if(obj is string str)，如果obj是string类型，那么str变量就会被赋值为obj的字符串表示，可以直接对str进行字符串相关的操作，如调用ToUpper方法。
3.2 类型模式
类型模式用于检查一个对象是否兼容于某个特定的类型，并在匹配成功时将对象转换为该类型。这是模式匹配中最基础且常用的形式之一。
语法格式：if(expression is Type)。其中Type是要检查的目标类型。例如if(obj is string)，用于检查obj是否是string类型。
应用场景：类型模式广泛应用于多态类型处理和类型转换场景。例如，在处理一个包含多种类型对象的集合时，可以使用类型模式来区分不同类型的对象并进行相应的操作。这种模式避免了冗长的as或is与强制类型转换的组合代码，使得类型检查和操作更加简洁直观。
示例代码：
object obj = 123;
if(obj is int)
{
Console.WriteLine(obj + 10); // 输出：133
}
在这个示例中，obj是一个object类型的变量，使用类型模式if(obj is int)，如果obj是int类型，可以直接对obj进行整数相关的操作，如加法运算。
3.3 常量模式
常量模式用于检查一个值是否等于某个特定的常量值。这种模式在处理简单的值比较时非常有用，可以简化代码逻辑。
语法格式：if(expression is ConstantValue)。其中ConstantValue是一个常量值。例如if(x is 10)，用于检查变量x是否等于常量10。
应用场景：常量模式广泛应用于简单的值比较和条件判断场景。例如，在处理枚举类型或简单的数值比较时，可以使用常量模式来快速判断值是否符合预期。这种模式使得代码更加简洁直观，避免了冗长的==比较操作。
示例代码：
int x = 20;
if(x is 10)
{
Console.WriteLine("x is 10");
}
else
{
Console.WriteLine("x is not 10");
}
在这个示例中，变量x的值为20，使用常量模式if(x is 10)进行值比较，由于x不等于10，因此会执行else分支，输出x is not 10。
4. 高级模式类型
4.1 关系模式
关系模式是C# 9.0引入的一种模式匹配方式，它允许使用比较运算符来匹配值，这使得模式匹配可以用于更广泛的场景。
语法格式：if (expression is relationalOperator constantValue)。其中relationalOperator是比较运算符（如>、<、>=、<=），constantValue是一个常量值。例如if (x is > 10)，用于检查变量x是否大于10。
应用场景：关系模式广泛应用于数值范围判断和条件筛选场景。例如，在处理用户输入的年龄、分数等数值时，可以使用关系模式来快速判断数值是否符合特定的范围或条件。这种模式使得代码更加简洁直观，避免了冗长的if语句和比较运算符的组合。
示例代码：
int age = 25;
if (age is > 18)
{
Console.WriteLine("You are an adult.");
}
else
{
Console.WriteLine("You are a minor.");
}
在这个示例中，变量age的值为25，使用关系模式if (age is > 18)进行数值范围判断，由于age大于18，因此会执行第一个分支，输出You are an adult.。
4.2 逻辑模式
逻辑模式也是C# 9.0引入的一种模式匹配方式，它允许使用逻辑运算符（如&&、||）组合多个模式，从而实现更复杂的条件判断。
语法格式：if (expression is pattern1 logicalOperator pattern2)。其中logicalOperator是逻辑运算符（如&&、||），pattern1和pattern2是模式。例如if (obj is string str && str.Length > 10)，这不仅检查obj是否为字符串类型，还检查字符串的长度是否大于10。
应用场景：逻辑模式广泛应用于复杂的条件判断和多模式匹配场景。例如，在处理用户输入的数据时，可能需要同时满足多个条件，如类型检查和值范围判断等。使用逻辑模式可以将多个条件组合在一起，简化代码逻辑，提高代码的可读性和可维护性。
示例代码：
object obj = "Hello, World!";
if (obj is string str && str.Length > 5)
{
Console.WriteLine("The string is long enough.");
}
else
{
Console.WriteLine("The string is too short.");
}
在这个示例中，obj是一个object类型的变量，使用逻辑模式if (obj is string str && str.Length > 5)进行多条件判断，由于obj是字符串类型且长度大于5，因此会执行第一个分支，输出The string is long enough.。
4.3 属性模式
属性模式是C# 9.0引入的一种模式匹配方式，它允许直接访问对象的属性并进行匹配，而无需先将对象转换为特定的类型。这种模式使得代码更加简洁和直观，特别是在处理复杂的数据结构时。
语法格式：if (expression is { PropertyName: pattern })。其中PropertyName是对象的属性名称，pattern是模式。例如if (obj is { Length: > 10 })，用于检查对象的Length属性是否大于10。
应用场景：属性模式广泛应用于复杂数据结构的属性访问和条件判断场景。例如，在处理自定义类的对象时，可以直接访问对象的属性并进行匹配，而无需先进行类型转换。这种模式简化了代码逻辑，提高了代码的可读性和可维护性。
示例代码：
public class Person
{
public string Name { get; set; }
public int Age { get; set; }
}
Person person = new Person { Name = "John", Age = 30 };
if (person is { Age: > 25 })
{
Console.WriteLine("The person is older than 25.");
}
else
{
Console.WriteLine("The person is 25 or younger.");
}
在这个示例中，person是一个Person类的对象，使用属性模式if (person is { Age: > 25 })直接访问对象的Age属性并进行匹配，由于person的Age属性值为30，大于25，因此会执行第一个分支，输出The person is older than 25.。
5. 特殊模式类型
5.1 位置模式
位置模式是C# 8.0引入的一种模式匹配方式，主要用于从具有特定结构的对象中提取数据。它允许开发者根据对象的字段或属性的位置来匹配和提取数据，而无需显式地访问这些字段或属性。这种模式使得代码更加简洁和直观，特别是在处理元组或具有多个字段的自定义类型时。
语法格式：if(expression is (Pattern1, Pattern2, ...))。例如，对于一个元组var tuple = (1, "Hello")，可以使用if(tuple is (int x, string y))来提取元组中的两个字段值x和y。
应用场景：位置模式广泛应用于处理元组和自定义数据结构。例如，在处理一个包含多个字段的元组时，可以使用位置模式直接提取出需要的字段值，而无需编写复杂的访问代码。这种模式大大简化了代码逻辑，提高了代码的可读性和可维护性。
示例代码：
var tuple = (1, "Hello");
if(tuple is (int x, string y))
{
Console.WriteLine($"x: {x}, y: {y}"); // 输出：x: 1, y: Hello
}
在这个示例中，tuple是一个包含两个字段的元组，使用位置模式if(tuple is (int x, string y))，可以直接提取出元组中的两个字段值x和y，并进行相应的操作。
5.2 var 模式
var模式是一种特殊的模式匹配方式，它允许开发者在模式匹配中声明一个新的变量，而无需指定具体的类型。这种模式使得代码更加灵活，特别是在处理未知类型的数据时。
语法格式：if(expression is var variable)。例如if(obj is var x)，无论obj是什么类型，都会将obj的值赋给变量x。
应用场景：var模式广泛应用于处理未知类型的对象或需要快速声明变量的场景。例如，在处理从外部接口获取的数据时，可能不确定数据的具体类型，使用var模式可以快速声明一个变量来存储数据，从而进行后续的操作。
示例代码：
object obj = "Hello, World!";
if(obj is var x)
{
Console.WriteLine(x); // 输出：Hello, World!
}
在这个示例中，obj是一个object类型的变量，使用var模式if(obj is var x)，无论obj是什么类型，都会将obj的值赋给变量x，并进行相应的操作。
5.3 弃元模式
弃元模式是一种特殊的模式匹配方式，它允许开发者在模式匹配中忽略某些不需要的值。这种模式使得代码更加简洁，特别是在处理复杂的数据结构时，可以避免不必要的变量声明。
语法格式：if(expression is (_, _, ...))。例如，对于一个元组var tuple = (1, "Hello", 3.14)，可以使用if(tuple is (_, string y, _))来提取元组中的第二个字段值y，而忽略其他字段。
应用场景：弃元模式广泛应用于处理复杂的数据结构，特别是在只需要部分字段值时。例如，在处理一个包含多个字段的元组或自定义类型时，可以使用弃元模式忽略不需要的字段，从而简化代码逻辑。
示例代码：
var tuple = (1, "Hello", 3.14);
if(tuple is (_, string y, _))
{
Console.WriteLine(y); // 输出：Hello
}
在这个示例中，tuple是一个包含三个字段的元组，使用弃元模式if(tuple is (_, string y, _))，可以直接提取出元组中的第二个字段值y，而忽略其他字段。
6. 列表模式
6.1 列表模式的语法与应用
列表模式是C# 8.0引入的一种模式匹配方式，用于匹配和操作列表或数组等集合类型的数据。它允许开发者根据集合中的元素及其位置进行匹配和提取，从而简化对集合的处理逻辑。
语法格式：列表模式的基本语法为if(expression is [Pattern1, Pattern2, ...])。其中expression是要匹配的集合表达式，Pattern1、Pattern2等是用于匹配集合中元素的模式。例如，对于一个整数数组int[] array = { 1, 2, 3 };，可以使用if(array is [int x, int y, int z])来提取数组中的前三个元素，并分别赋值给变量x、y和z。
应用场景：列表模式广泛应用于处理集合类型的数据，特别是在需要对集合中的特定元素进行操作或验证时。例如，在处理用户输入的多个值时，可以使用列表模式快速提取并验证这些值是否符合预期。此外，列表模式还可以与条件模式等其他模式结合使用，实现更复杂的集合处理逻辑。
示例代码：
int[] array = { 1, 2, 3, 4, 5 };
if(array is [int first, int second, ..int rest])
{
Console.WriteLine($"First element: {first}"); // 输出：First element: 1
Console.WriteLine($"Second element: {second}"); // 输出：Second element: 2
Console.WriteLine($"Remaining elements: {string.Join(", ", rest)}"); // 输出：Remaining elements: 3, 4, 5
}
在这个示例中，array是一个整数数组，使用列表模式if(array is [int first, int second, ..int rest])，提取了数组中的第一个元素first、第二个元素second，并将剩余的元素存储在rest数组中。通过这种方式，可以方便地对数组中的元素进行分类处理。
6.2 切片模式的使用
切片模式是列表模式的一种扩展，它允许开发者对集合进行切片操作，提取集合中的特定子集。切片模式使得对集合的处理更加灵活，可以方便地获取集合中的连续元素或特定范围的元素。
语法格式：切片模式的语法为if(expression is [Pattern1, ..Pattern2, Pattern3])。其中Pattern1表示匹配集合中的起始元素，..Pattern2表示匹配集合中的中间切片部分，Pattern3表示匹配集合中的结束元素。例如，对于一个字符串数组string[] names = { "Alice", "Bob", "Charlie", "David" };，可以使用if(names is [string first, ..string[] middle, string last])来提取数组中的第一个元素first、中间的切片部分middle以及最后一个元素last。
应用场景：切片模式广泛应用于需要对集合进行分段处理的场景。例如，在处理分页数据时，可以使用切片模式快速提取当前页的数据范围。此外，切片模式还可以用于数据的分组、排序等操作，提高代码的可读性和可维护性。
示例代码：
string[] names = { "Alice", "Bob", "Charlie", "David" };
if(names is [string first, ..string[] middle, string last])
{
Console.WriteLine($"First name: {first}"); // 输出：First name: Alice
Console.WriteLine($"Middle names: {string.Join(", ", middle)}"); // 输出：Middle names: Bob, Charlie
Console.WriteLine($"Last name: {last}"); // 输出：Last name: David
}
在这个示例中，names是一个字符串数组，使用切片模式if(names is [string first, ..string[] middle, string last])，提取了数组中的第一个元素first、中间的切片部分middle以及最后一个元素last。通过这种方式，可以方便地对数组进行分段处理，满足不同的业务需求。
7. 模式匹配的应用案例
7.1 类型检查与转换
模式匹配在类型检查与转换方面具有显著优势，能够以更简洁的方式替代传统的类型检查和转换代码。
简化代码结构：使用模式匹配可以将类型检查和变量声明合并到一个语句中。例如，传统的类型检查和转换代码可能需要先使用is关键字判断类型，再通过强制类型转换或as关键字将对象转换为目标类型。而模式匹配可以直接在is表达式中声明一个新的变量来存储转换后的值，如if(obj is string str)，如果obj是string类型，str变量就会被赋值为obj的字符串表示，然后可以直接对str进行操作。这种写法不仅减少了代码量，还提高了代码的可读性。
提高代码安全性：在处理未知类型的对象时，模式匹配可以避免因类型转换错误而导致的运行时异常。例如，当不确定一个对象是否可以安全地转换为某个特定类型时，使用模式匹配可以在转换失败时不执行任何操作，而不会抛出异常。这使得代码更加健壮，减少了潜在的错误风险。
支持复杂类型结构：模式匹配不仅适用于简单的类型检查，还可以处理复杂的类型结构。例如，对于一个包含多个字段的自定义类，可以使用属性模式直接访问对象的属性并进行匹配，而无需先将对象转换为特定的类型。这使得在处理复杂的数据模型时，类型检查和转换变得更加灵活和高效。
7.2 数据处理与匹配
模式匹配在数据处理与匹配方面提供了强大的功能，能够帮助开发者更高效地处理复杂的数据结构。
提取元组数据：位置模式使得从元组中提取数据变得非常简单。例如，对于一个包含多个字段的元组，可以使用位置模式直接提取出需要的字段值，而无需编写复杂的访问代码。例如if(tuple is (int x, string y))，可以直接提取出元组中的两个字段值x和y，并进行相应的操作。这在处理包含多个相关数据的元组时非常有用，可以大大简化代码逻辑，提高代码的可读性和可维护性。
处理集合数据：列表模式和切片模式为处理集合类型的数据提供了强大的支持。列表模式允许根据集合中的元素及其位置进行匹配和提取，例如if(array is [int first, int second, ..int rest])，可以提取数组中的第一个元素first、第二个元素second，并将剩余的元素存储在rest数组中。切片模式则允许对集合进行切片操作，提取集合中的特定子集，例如if(names is [string first, ..string[] middle, string last])，可以提取数组中的第一个元素first、中间的切片部分middle以及最后一个元素last。这些模式使得对集合的处理更加灵活和高效，可以方便地实现各种复杂的集合操作。
结合条件进行筛选：当模式可以与条件表达式结合使用，进一步增强数据处理的能力。例如if(obj is string str when (str.Length > 10))，这不仅检查obj是否为字符串类型，还检查字符串的长度是否大于10。这种组合使用方式使得代码更加灵活和强大，在处理数据筛选和验证等场景时非常有用，可以将类型检查和条件判断结合在一起，减少嵌套的if语句，提高代码的简洁性和可读性。
7.3 算法实现
模式匹配在算法实现中也有广泛的应用，能够使算法的逻辑更加清晰和简洁。
简化分支逻辑：在实现算法时，经常需要根据不同的条件执行不同的操作。模式匹配可以将这些条件以更直观的方式表达出来，从而简化分支逻辑。例如，在实现一个根据对象类型执行不同操作的算法时，可以使用switch语句结合模式匹配，根据对象的类型执行不同的分支。与传统的if-else if语句相比，这种方式更加简洁和清晰，易于理解和维护。
处理复杂数据结构：对于一些涉及复杂数据结构的算法，模式匹配可以帮助开发者更方便地访问和操作数据。例如，在处理树形结构或图结构的算法中，可以使用属性模式直接访问节点的属性并进行匹配，而无需先将节点转换为特定的类型。这使得在处理复杂的数据结构时，算法的实现更加灵活和高效，可以减少代码的复杂度，提高算法的可读性和可维护性。
提高算法效率：模式匹配的高效性可以提高算法的整体效率。由于模式匹配可以在一个语句中完成类型检查、变量声明和条件判断等操作，因此可以减少代码的执行步骤，提高代码的执行效率。在一些对性能要求较高的算法中，使用模式匹配可以显著提升算法的运行速度，从而满足实际应用的需求。
————————————————
原文链接：https://blog.csdn.net/caifox/article/details/146727242
用C#模式匹配取代复杂条件语句：写出更简洁高效的.NET代码
重构你的C#代码正当时
"是否厌倦了C#代码中无穷无尽的if-else链？这不只是你的困扰——全球开发者每天都在面对这个挑战。如果有一种优雅的方案能同时提升性能、可读性和可维护性，替换那些臃肿的条件判断呢？C#模式匹配正是实现简洁高效代码的现代解决方案。"
本指南将带您探索C#模式匹配如何通过简化复杂逻辑来革新.NET开发。准备好学习实用技巧、探索真实案例，并掌握能帮助您编写更快、更清晰、更易维护代码的最佳实践吧！
模式匹配为何成为.NET开发者的颠覆性技术
C#已从早期重复的类型检查中大幅进化。现代开发者需要清晰、简洁且可维护的代码——模式匹配正是为此而生。以下是其核心优势：
减少样板代码，提升性能
• 减少类型转换：合并类型检查和变量赋值为单一操作
• 优化逻辑结构：简化的条件判断降低认知负担和运行时错误
• 提升可维护性：
• 更清晰的代码结构：用简洁表达式替代冗长的if-else链
• 更便捷的更新流程：独立的条件模块使逻辑修改轻而易举
• 增强可读性：
• 自文档化特性：属性和位置模式清晰展现设计意图
• 直观的代码流：结构映射业务逻辑，实现即时理解
• 扩展应用规模：
• 管理复杂性：随着项目增长，模式匹配能有效处理复杂分支场景
模式选择决策指南
在集成模式匹配时，请考虑这些关键因素：
类型与值检查对比
// 类型模式示例
if (obj is SomeType x) { /* 使用转换后的对象 */ }
// 常量模式示例
if (number is 10) { /* 处理特定数值 */ }属性模式革命
// 传统冗长检查
if (user != null
&& user.IsActive
&& user.Permissions != null
&& user.Permissions.Contains("Admin"))
{
// 提供管理员功能
}
// 优雅的属性模式匹配
if (user is { IsActive: true, Permissions: { } perms }
&& perms.Contains("Admin"))
{
// 提供管理员功能
}这里通过单一表达式实现了非空校验和权限验证，同时将权限集合直接赋值给变量使用。
Switch表达式与传统语句对比
• Switch表达式：适合单行返回值的简洁场景
• 传统Switch：适用于多行复杂操作的分支处理
关系模式示例
static string CategorizeTemp(double tempCelsius) => tempCelsius switch
{
< 0 => "Freezing",
< 15 => "Cold",
< 30 => "Mild",
< 40 => "Hot",
_ => "Scorching"
};这种基于模式的比较简化了数值区间的判断逻辑。
.NET实战应用场景
1. 属性模式深度应用
// 传统多条件检查
if (user != null
&& user.IsActive
&& user.Permissions != null
&& user.Permissions.Contains("Admin"))
{
// 权限验证逻辑
}
// 重构后的属性模式
if (user is { IsActive: true, Permissions: { } perms }
&& perms.Contains("Admin"))
{
// 权限验证逻辑
}2. 元组与记录类型的位置模式
public record Point(int X, int Y);
// 传统坐标判断
var point = new Point(1, 2);
if (point.X == 0 && point.Y == 0) { /*...*/ }
// 模式匹配重构版
var result = point switch
{
(0, 0) => "Origin",
(var x, var y) when x == y => "Diagonal Line",
_ => "Another Point"
};3. Switch表达式最佳实践
public static string MapStatusCode(int code) => code switch
{
200 => "OK",
400 => "Bad Request",
404 => "Not Found",
500 => "Internal Server Error",
_ => "Unknown Status"
};现代.NET开发者必备实践
- 1. 升级语言版本
<PropertyGroup>
<LangVersion>latest</LangVersion>
</PropertyGroup>- 2. 空值安全处理
if (user is not null and { IsActive: true })
{
// 安全使用user对象
}- 3. 性能基准测试
[MemoryDiagnoser]
publicclassPatternMatchingBenchmarks
{
privateobject _testObj = new SomeType();
[Benchmark]
public void TraditionalCast()
{
if (_testObj is SomeType)
{
var typed = (SomeType)_testObj;
// 执行操作
}
}
[Benchmark]
public void PatternMatch()
{
if (_testObj is SomeType typed)
{
// 执行相同操作
}
}
}
浙公网安备 33010602011771号