先看一个模式匹配的Case
2026/7/7 2:41:43
网站开发
public static bool IsPalindrome(ReadOnlySpanchar input) input is not [var first, ..var middle, var last] || (first last IsPalindrome(middle));二、 模式匹配的主要类型1. 类型模式检查表达式的运行时类型2. 声明模式检查表达式的运行时类型如果匹配成功请将表达式结果分配给声明的变量3. 常量模式测试表达式结果是否等于指定的常量4. 关系模式将表达式结果与指定的常量进行比较5. var模式匹配任何表达式并将其结果分配给声明的变量6. 丢弃模式也叫弃元模式匹配任何表达式7. 逻辑模式测试表达式是否与模式的逻辑组合匹配通过not、or及and进行组合8. 带括号模式可在任何模式两边加上括号用来强调或更改 逻辑模式中的优先级9. 列表模式测试元素序列是否与相应的嵌套模式匹配用于数组和集合类型10. 切片模式切片模式只能显示在列表模式中,不能单独使用切片模匹配一个子列表切片模式中可以嵌套子模式11. 属性模式测试表达式的属性或字段是否与嵌套模式匹配12. 位置模式解构表达式结果并测试结果是否与嵌套模式匹配用于元组、record类型或其他定义了Deconstruct的类型其中逻辑模式、列表模式、属性模式和位置模式是可嵌套其他模式的复杂模式三、 在 C# 中以下场景支持模式匹配is 表达式switch 语句switch 表达式四、简单的模式匹配1. 类型模式1.1 类型模式的Caseif(fruit is Apple) return I like Apple!;1.2 EasySyntax语法实现使用IsType扩展方法var fruit SyntaxFactory.IdentifierName(fruit); var appleType SyntaxFactory.IdentifierName(Apple); var statement fruit.IsType(appleType) .If() .Add(SyntaxGenerator.Literal(I like Apple!).Return()) .Build();1.3 Roslyn原始语法使用SyntaxFactory.TypePattern构造类型模式var fruit SyntaxFactory.IdentifierName(fruit); var appleType SyntaxFactory.IdentifierName(Apple); var statement SyntaxFactory.IfStatement( SyntaxFactory.IsPatternExpression(fruit, SyntaxFactory.TypePattern(appleType)), SyntaxFactory.ReturnStatement(SyntaxFactory.LiteralExpression(SyntaxKind.StringLiteralExpression, SyntaxFactory.Literal(I like Apple!))));1.4 参考官方阅读https://learn.microsoft.com/zh-cn/dotnet/csharp/language-reference/operators/patterns#declaration-and-type-patterns2. 声明模式2.1 声明模式的Caseif (fruit is Apple apple) MakeApplePie(apple);2.2 EasySyntax 语法实现使用VariablePattern扩展方法构造声明模式var fruit SyntaxFactory.IdentifierName(fruit); var appleType SyntaxFactory.IdentifierName(Apple); var apple SyntaxFactory.IdentifierName(apple); var makeApplePieMethod SyntaxFactory.IdentifierName(MakeApplePie); var statement fruit.Is(appleType.VariablePattern(apple.Identifier)) .If() .AddPatter(makeApplePieMethod.Invocation([apple])) .Build();2.3 Roslyn原始语法使用SyntaxFactory.DeclarationPattern构造声明模式var fruit SyntaxFactory.IdentifierName(fruit); var appleType SyntaxFactory.IdentifierName(Apple); var apple SyntaxFactory.IdentifierName(apple); var makeApplePieMethod SyntaxFactory.IdentifierName(MakeApplePie); var statement SyntaxFactory.IfStatement( SyntaxFactory.IsPatternExpression(fruit, SyntaxFactory.DeclarationPattern(appleType, SyntaxFactory.SingleVariableDesignation(apple.Identifier))), SyntaxFactory.ExpressionStatement( SyntaxFactory.InvocationExpression(makeApplePieMethod, SyntaxFactory.ArgumentList(SyntaxFactory.SingletonSeparatedList(SyntaxFactory.Argument(apple))))));2.4 参考官方阅读模式 - 使用 is 和 switch 表达式进行模式匹配。 - C# reference | Microsoft Learn3. 常量模式3.1 常量模式的Caseobj is null3.2 EasySyntax 语法实现使用ToPattern扩展方法把表达式转化为常量模式var obj SyntaxFactory.IdentifierName(obj); var expression obj.Is(SyntaxGenerator.NullLiteral.ToPattern();3.3 Roslyn原始语法使用SyntaxFactory.ConstantPattern把表达式转化为常量模式var obj SyntaxFactory.IdentifierName(obj); var expression SyntaxFactory.IsPatternExpression(obj, SyntaxFactory.ConstantPattern( SyntaxFactory.LiteralExpression(SyntaxKind.NullLiteralExpression)));3.4 参考官方阅读模式 - 使用 is 和 switch 表达式进行模式匹配。 - C# reference | Microsoft Learn4. 关系模式4.1 关系模式的Case! 34.2 EasySyntax 语法实现GreaterThanPattern扩展方法GreaterOrEqualPattern扩展方法LessThanPattern扩展方法LessOrEqualPattern扩展方法EqualPattern扩展方法NotEqualPattern扩展方法var pattern SyntaxGenerator.NotEqualPattern(3);4.3 Roslyn原始语法使用SyntaxFactory.RelationalPattern构造关系模式var pattern SyntaxFactory.RelationalPattern( SyntaxFactory.Token(SyntaxKind.ExclamationEqualsToken), SyntaxFactory.LiteralExpression( SyntaxKind.NumericLiteralExpression, SyntaxFactory.Literal(3)));4.4 参考官方阅读模式 - 使用 is 和 switch 表达式进行模式匹配。 - C# reference | Microsoft Learn5. var模式5.1 var模式的CaseGetScores(id) is var scores scores.Average() 605.2 EasySyntax 语法实现使用SyntaxGenerator.VarPattern构造var模式var getScoresMethod SyntaxFactory.IdentifierName(GetScores); var scores SyntaxFactory.IdentifierName(scores); var id SyntaxFactory.IdentifierName(id); var expression getScoresMethod.Invocation([id]) .Is(SyntaxGenerator.VarPattern(scores.Identifier)) .LogicalAnd(scores.Access(Average).Invocation().GreaterOrEqual(SyntaxGenerator.Literal(60)));5.3 Roslyn原始语法使用SyntaxFactory.VarPattern构造var模式var getScoresMethod SyntaxFactory.IdentifierName(GetScores); var scores SyntaxFactory.IdentifierName(scores); var id SyntaxFactory.IdentifierName(id); var expression0 SyntaxFactory.BinaryExpression(SyntaxKind.LogicalAndExpression, SyntaxFactory.IsPatternExpression( SyntaxFactory.InvocationExpression(getScoresMethod, SyntaxFactory.ArgumentList(SyntaxFactory.SingletonSeparatedList( SyntaxFactory.Argument(id)))), SyntaxFactory.VarPattern(SyntaxFactory.SingleVariableDesignation(scores.Identifier))), SyntaxFactory.BinaryExpression(SyntaxKind.GreaterThanOrEqualExpression, SyntaxFactory.InvocationExpression( SyntaxFactory.MemberAccessExpression(SyntaxKind.SimpleMemberAccessExpression, scores, SyntaxFactory.IdentifierName(Average))), SyntaxFactory.LiteralExpression(SyntaxKind.NumericLiteralExpression, SyntaxFactory.Literal(60))));5.4 参考官方阅读模式 - 使用 is 和 switch 表达式进行模式匹配。 - C# reference | Microsoft Learn6. 丢弃模式丢弃模式常用于switch表达式也可用于列表和位置模式6.1 丢弃模式的Casedate.Day switch { 15 今夜是月圆之夜, _ 月圆要等到十五 }6.2 Roslyn原始语法使用SyntaxFactory.DiscardPattern()声明丢弃模式以下case结合了EasySyntax的SwitchExpression语法var date SyntaxFactory.IdentifierName(date); var expression date.Access(Day) .SwitchExpression() .Case(SyntaxGenerator.Literal(15), SyntaxGenerator.Literal(今夜是月圆之夜)) .Case(SyntaxFactory.DiscardPattern(), SyntaxGenerator.Literal(月圆要等到十五)) .Switch.Build();6.3 EasySyntax语法可以进一步简化SwitchExpression中的Default封装了SyntaxFactory.DiscardPattern()Default是最后一个分支,可以安全的直接Buildvar date SyntaxFactory.IdentifierName(date); var expression date.Access(Day) .SwitchExpression() .Case(SyntaxGenerator.Literal(15), SyntaxGenerator.Literal(今夜是月圆之夜)) .Default(SyntaxGenerator.Literal(月圆要等到十五)) .Build();6.4 参考官方阅读模式 - 使用 is 和 switch 表达式进行模式匹配。 - C# reference | Microsoft Learn五、逻辑模式逻辑模式嵌套了其他模式逻辑模式通过and、or及not组装其他模式1. 逻辑模式的Case该Case通过and组装了1个常量模式和1个关系模式0 and 102. EasySyntax 语法实现And扩展方法Or扩展方法Not扩展方法var pattern SyntaxGenerator.GreaterThanPattern(0) .And(SyntaxGenerator.LessThanPattern(10));3. Roslyn原始语法使用SyntaxFactory.BinaryPattern构造逻辑模式var pattern SyntaxFactory.BinaryPattern(SyntaxKind.AndPattern, SyntaxFactory.RelationalPattern(SyntaxFactory.Token(SyntaxKind.GreaterThanToken), SyntaxFactory.LiteralExpression(SyntaxKind.NumericLiteralExpression, SyntaxFactory.Literal(0))), SyntaxFactory.Token(SyntaxKind.AndKeyword), SyntaxFactory.RelationalPattern(SyntaxFactory.Token(SyntaxKind.LessThanToken), SyntaxFactory.LiteralExpression(SyntaxKind.NumericLiteralExpression, SyntaxFactory.Literal(10))));4. 参考官方阅读模式 - 使用 is 和 switch 表达式进行模式匹配。 - C# reference | Microsoft Learn六、带括号模式可在任何模式两边加上括号用来强调或更改逻辑模式中的优先级