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