如何执行多种样式的模式匹配?

时间:2013-05-21 21:08:18

标签: f# pattern-matching

刚开始玩F#。就像我现在一样可怕,我也不知道要搜索类似的线程。

这就是我要做的事情:

let test animal =
    if animal :? Cat //testing for type
    then "cat" 
    elif animal :? Dog //testing for type
    then "dog" 
    elif animal = unicorn //testing value equality
    then "impossible"
    else "who cares"

基本上它涉及类型测试模式匹配以及其他条件检查。我可以像这样完成第一部分(类型检查):

let test(animal:Animal) =
    match animal with
    | :? Cat as cat -> "cat"
    | :? Dog as dog -> "cat"
    | _ -> "who cares"

1. 有没有办法可以在上面的类型测试模式匹配中包含相等性检查(如第一个例子中所示)?

2. 在F#圈中通常不赞成在单个模式匹配构造中执行多种检查吗?

1 个答案:

答案 0 :(得分:5)

这是使用模式匹配的等价物:

let test (animal:Animal) =
  match animal with
  | :? Cat as cat -> "cat"
  | :? Dog as dog -> "dog"
  | _ when animal = unicorn -> "impossible"
  | _ -> "who cares"

我不会说这是不赞成的。它有时需要使用OOP,它已经比C#等价物更好(更简洁,更清晰)。