F#提供了一個叫"活動模式"的有趣功能。它把輸入的數據轉換成其他不同的東西。

一個有趣的使用實例就是代替枚舉。但我編程枚舉的時候，我總不高興去鏈接枚舉項到它的定義。例如，下面的枚舉定義了 數字枚舉，

enum Numbers

{

??? Odd,

??? Even,

}

但是它沒有說明什么是Odd，什么是Even。我試著使用特性或簡單的注釋，但是我真正想得到的是在F#中見到枚舉項就獲取定義。當我看見活動模式的時候，我的眼睛一下亮起來了。你真的可以使用非分部模式來解決這個問題，但是你不能放多余8項，所以我選擇使用分部模式，為了我的系統在將來可以容易的擴展。

let ( | Even | _ | ) x =if x % 2 = 0then Some() else None

let( | Odd | _ | ) x = ifx % 2 <> 0 then Some() else None

letf x =

??? matchxwith

??? | Even -> "even"

??? | Odd -> "odd"

letr = f 2 //r = "even"

上面的例子僅僅返回Some()或者None。如果想返回更有趣的東西，

let f0 x = x % 2 = 0

letf1 x = x % 2 <> 0

let ( | Even | _ | ) (x:int) =iff0(x) then Some(signx)else None

let ( | Odd | _ | ) (x:int) =if f1(x)then Some(signx)else None

let f (x:int) =

match x with

| Even sign-> sprintf "even sign=%d" sign

| Odd sign -> sprintf "odd sign=%d" sign

let r = f 2

注意高亮"sign"保存了返回結果? Math.Sign(x)。

我想嘗試的最后一件事情是用 Even(或Odd)模式傳遞給函數。新的代碼是:

let f0 x = x % 2 = 0

let f1 x = x % 2 <> 0

let ( | Even | _ | ) f (x:int) = if f(x) thenSome(sign x) else None

let ( | Odd | _ | ) f (x:int) = if f(x)then Some(signx)else None

let f (x:int) =

match x with

| Even f0 (* you can think x passed in here *) sign -> sprintf "even sign=%d"

sign

| Odd f1 (* you can think x passed in here *) sign-> sprintf "odd sign=%d"

sign

let r = f 2

請注意如果你像下面這樣，取函數f為第二個參數來定義模式Even。

let ( | Even | _ | ) (x:int) f =if f(x)then Some(Math.Sign(x))else None

將會報一個錯誤。所以當你定義模式的時候，參數順序真的很重要。

?

原文鏈接：http://apollo13cn.blogspot.com/2012/01/f-c-active-pattern-enum.html

轉載于:https://www.cnblogs.com/tryfsharp/archive/2012/06/01/2530694.html

總結

以上是生活随笔為你收集整理的F# ≥ C#(活动模式 和枚举)的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。