BT

如何利用碎片时间提升技术认知与能力? 点击获取答案

.NET 4中的模式匹配

| 作者 Jonathan Allen 关注 614 他的粉丝 ,译者 张龙 关注 14 他的粉丝 发布于 2009年6月1日. 估计阅读时间: 15 分钟 | ArchSummit北京2018 共同探讨机器学习、信息安全、微服务治理的关键点

case语句可以看作是if/else语法的特别版。他们的功能和作用是一样的,但有时case语句会令代码看起来更加清爽。考虑下面的C#和VB示例。

double CaclRateByDate(DayOfWeek day)
  {
      if (day == DayOfWeek.Monday)
      {
          return .42;
      }
      else if (day == DayOfWeek.Tuesday)
      {
          return .67;
      }
      else if (day == DayOfWeek.Wednesday)
      {
          return .56;
      }
      else if (day == DayOfWeek.Thursday)
      {
          return .34;
      }
      else if (day == DayOfWeek.Friday)
      {
          return .78;
      }
      else if (day == DayOfWeek.Saturday)
      {
          return .92;
      }
      else if (day == DayOfWeek.Sunday)
      {
          return .18;
      }
      throw new ArgumentOutOfRangeException("Unexpected enum value");
  }
Function CaclRateByDate(ByVal day As DayOfWeek) As Double
    If day = Monday Then
        Return 0.42
    ElseIf day = Tuesday Then
        Return 0.67
    ElseIf day = Wednesday Then
        Return 0.56
    ElseIf day = Thursday Then
        Return 0.34
    ElseIf day = Friday Then
        Return 0.78
    ElseIf day = Saturday Then
        Return 0.92
    ElseIf day = Sunday Then
        Return 0.18
    Else
        Throw New ArgumentOutOfRangeException("Unexpected enum value")
    End If
End Function

开发者需要一遍又一遍地编写“ElseIf day =”或“else if (day ==”这种语句,但却并没有增加任何信息。这种语句简直就是一种折磨,不停地分散开发者的注意力,我指的是DayOfWeek和返回值。

在VB和C#中,我们可以通过case语句进行简化。

double CaclRateByDate2(DayOfWeek day)
{
    switch (day)
    {
        case DayOfWeek.Monday:
            return .42;
        case DayOfWeek.Tuesday:
            return .67;
        case DayOfWeek.Wednesday:
            return .56;
        case DayOfWeek.Thursday:
            return .34;
        case DayOfWeek.Friday:
            return .78;
        case DayOfWeek.Saturday:
            return .92;
        case DayOfWeek.Sunday:
            return .18;
        default:
            throw new ArgumentOutOfRangeException("Unexpected enum value");
    }
}
Function CalcRateByDate2(ByVal day As DayOfWeek) As Double
    Select Case day
        Case Monday
            Return 0.42
        Case Tuesday
            Return 0.67
        Case Wednesday
            Return 0.56
        Case Thursday
            Return 0.34
        Case Friday
            Return 0.78
        Case Saturday
            Return 0.92
        Case Sunday
            Return 0.18
        Case Else
            Throw New ArgumentOutOfRangeException("Unexpected enum value")
    End Select
End Function

即便如此还是有不少的重复代码。为什么总是不断地说需要一个返回值呢?像下面这样写岂不更好?

double CaclRateByDate2(DayOfWeek day)
{
    return switch (day)
    {
        DayOfWeek.Monday: .42;
        DayOfWeek.Tuesday: .67;
        DayOfWeek.Wednesday: .56;
        DayOfWeek.Thursday: .34;
        DayOfWeek.Friday: .78;
        DayOfWeek.Saturday: .92;
        DayOfWeek.Sunday: .18;
        default:
            throw new ArgumentOutOfRangeException("Unexpected enum value");
    }
}
Function CalcRateByDate2(ByVal day As DayOfWeek) As Double
    Return Select Case day
        Monday: 0.42
        Tuesday: 0.67
        Wednesday: 0.56
        Thursday: 0.34
        Friday: 0.78
        Saturday: 0.92
        Sunday: 0.18
        Case Else
            Throw New ArgumentOutOfRangeException("Unexpected enum value")
    End Select
End Function

在消除了那些不必要的重复后,你会发现C#和VB代码看起来是如此的接近。剩下的代码就是寻找的模式以及与模式所匹配的结果了。这就是众所周知的模式匹配

遗憾的是,在C# 4和VB 10中并没有提供该特性,但却有一门新语言提供了对模式匹配的支持。看看下面这个由 Mathew Podwysocki编写的F#示例(需要说明的是,在下面这些示例中都创建了相应的函数)。

let calcRateByDay2 (day:System.DayOfWeek) = 
  match day with 
  | System.DayOfWeek.Monday -> 0.42 
  | System.DayOfWeek.Tuesday -> 0.67 
  | System.DayOfWeek.Wednesday -> 0.56 
  | System.DayOfWeek.Thursday -> 0.34 
  | System.DayOfWeek.Friday -> 0.78 
  | System.DayOfWeek.Saturday -> 0.92 
  | System.DayOfWeek.Sunday -> 0.18 
  | _ -> failwith "Unexpected enum value"

接下来Mathew又介绍了同时检查多个参数的方式。下面这个示例将下划线当作通配符。

let allowUrl url port =
  match (url, port) with
  | "http://www.microsoft.com/", 80 -> true
  | "http://example.com/", 8888 -> true
  | _, 80 -> true
  | _ -> false

遗憾的是,F#的语法并不简洁。如果想要操纵某个值,那就不得不通过名称或占位符来指定了。

let calcRateByDay3 (day:System.DayOfWeek) = 
  match day with 
  | x when x >= System.DayOfWeek.Monday && x <= System.DayOfWeek.Friday -> 0.42
  | System.DayOfWeek.Saturday -> 0.92 
  | System.DayOfWeek.Sunday -> 0.18 
  | _ -> failwith "Unexpected enum value"

let calcRateByDay3 (day:System.DayOfWeek) = 
  match day with 
  | _ when day >= System.DayOfWeek.Monday && day <= System.DayOfWeek.Friday -> 0.42
  | System.DayOfWeek.Saturday -> 0.92 
  | System.DayOfWeek.Sunday -> 0.18 
  | _ -> failwith "Unexpected enum value"

下面的代码用VB的case语句实现同样的功能。

Function CaclRateByDate3(ByVal day As DayOfWeek) As Double
    Select Case day
        Case Monday To Friday : Return 0.42
        Case Saturday : Return 0.92
        Case Sunday : Return 0.18
        Case Else
            Throw New ArgumentOutOfRangeException("Unexpected enum value")
    End Select
End Function

如你所见,.NET平台上的每种语言都有自己的一些语法优势,可以将他们应用到其他语言上而无需改变语言的核心。

查看英文原文:Pattern Matching in .NET 4

评价本文

专业度
风格

您好,朋友!

您需要 注册一个InfoQ账号 或者 才能进行评论。在您完成注册后还需要进行一些设置。

获得来自InfoQ的更多体验。

告诉我们您的想法

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

标题党 by Jeffrey Zhao

F#又不是for .NET 4的。
C# 4和VB 10根本没有模式匹配。

标题党1 by Sun Peng

说白了想函数式语言或函数式编程方式代替if或switch

double num = (day == DayOfWeek.Monday) ? .42 :
(day == DayOfWeek.Tuesday) ? .67 :
(day == DayOfWeek.Wednesday) ? .56 :
(day == DayOfWeek.Thursday) ? .34 :
(day == DayOfWeek.Friday) ? .78 :
(day == DayOfWeek.Saturday) ? .92 :
(day == DayOfWeek.Sunday) ? .18 : throw new ArgumentOutOfRangeException("Unexpected enum value");

标题党 by Ye Ying

说了半天还是C# 4还是没有支持模式匹配,不过可以混合编程,应该还算不错的选择吧

当年没有选择.net的原因之一 by Chane Michael

RT,就是因为MS似乎喜欢创造很多不同的关键字/词法/语法...,应用于不同的C#,VB.NET等语言中(当然还包括其他一些原因,例如偏见)。但始终觉得,.net平台支持所谓多种编程语言,在初期可以理解为推广策略。但现在,就是累赘。
如你所见,.NET平台上的每种语言都有自己的一些语法优势
换言之,就是每种语言似乎都有自己的语法劣势。IMHO为什么不综合成一种更优秀的语言(哪怕是全新的),而是用支持多种编程语言,允许混合编程等方式徒增程序员负担。

最简单易懂的搞法是搞一个类似宏和元编程的玩意出来,比如可以这样搞 by zhang 3

def simplecase(switchi,cases,rts)
casei in cases;
rtsi in rts;
switch(switchi)
{
[
case casei: return rtsi;
]
throw new ArgumentOutOfRangeException("...");
}
end


使用的时候这样写就OK了:
simplecase(day,[Monday,Tuesday,...],[0.42,0.67,... ])

该向oracle学习了 by Top Gun

Oracle中间的一个Decode就搞定了:
DECODE(value,if1,then1,if2,then2,if3,then3,...,else),表示如果value等于if1时,DECODE函数的结果返回then1,...,如果不等于任何一个if值,则返回else。
另外,微软应该在一门语言中集成多种优点,而不是不断创造语言来增加程序员的负担。

Re: 该向oracle学习了 by Chen Qi

你这是一个函数。任何高级语言都能实现这样的函数。

跟Erlang语言的模式匹配一样 by li yiqun

.NET 4的模式匹配怎么学Erlang语言的呀

Re: 当年没有选择.net的原因之一 by im Kevin

不同意你的意见。
全世界最优秀的程序员都在想着如何一统江湖,但是至今没有一个人能做到。百花争鸣才是未来的主流。微软不至于那么啥,又想干这种蠢事,他聪明的选择了多语言的互操作性作为未来的方向。
至于你说的累赘,没看出来,大多数Dotnet应用,C#已经能够很好的完成了。你要出于性能考虑,你可以将其中一个组件使用另外一门语言去实现,目前哪一个平台能够做到这一点呢

例子举得真不好 by im Kevin

像这种例子,我会怎么做呢?
如果只是简单的返回一个固定的值,那么我肯定先定义一个字典,然后查字典返回;
如果中间会经过简单的运算,那么我会使用上述的switch-case方式,没感到什么复杂的;
如果中间经过复杂的运算,那么我重新定义一个函数,然后使用switch-case+函数的方式实现。
这种场景根本不是函数式编程的强项

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

10 讨论

登陆InfoQ,与你最关心的话题互动。


找回密码....

Follow

关注你最喜爱的话题和作者

快速浏览网站内你所感兴趣话题的精选内容。

Like

内容自由定制

选择想要阅读的主题和喜爱的作者定制自己的新闻源。

Notifications

获取更新

设置通知机制以获取内容更新对您而言是否重要

BT