除了在上一節介紹的基本的針對常量進行的模式匹配之外,F#中還存在着各種各樣的模式匹配。
這裏對其他模式匹配進行介紹。
■ Discriminated Union模式
在OCaml中稱爲valiant,在c語言中相當於union的一種模式。類型名稱的首字母必須爲大寫字母。
Discriminated Union模式
type VARIABLE =
| INT of int
| FLOAT of float;;
let var1 = INT(10);;
let var2 = FLOAT(20.);;
let double var =
match var with
| INT(x) -> x * 2
| FLOAT(x) -> Int32.of_float (x * 2.);;
print_int <| double var1;;
print_int <| double var2;;
|
■ As模式
給模式加上別名的模式。當模式是複合型的,而且需要反覆使用時使用該模式,使用As模式可以使代碼更簡潔清楚。
As模式
let t1 = (1,2)
let (x,y) as t2 = t1
printfn "%d-%d-%A" x y t2 // 1-2-(1,2)
|
■ Union模式
對多個模式一次進行匹配的模式。
Union模式
let rec fib n =
match n with
| 1 | 2 -> 1
| x -> (fib <| n - 1) + (fib <| n - 2) in
print_int <| fib 10;;
|