F#入門-第二章 F#基礎-第二十節 模式匹配（二）

    除了在上一節介紹的基本的針對常量進行的模式匹配之外，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;;