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;;