如何用好F#操作符解決溢出異常及實現高效算術操作

本篇文章給大家分享的是有關如何用好F#操作符解決溢出異常及實現高效算術操作，小編覺得挺實用的，因此分享給大家學習，希望大家閱讀完這篇文章后可以有所收獲，話不多說，跟著小編一起來看看吧。

F#高效高產的源頭就在于其構建在久經考驗的函數式編程理念之上。

使用F#進行算術操作

基本類型：

在F#中，對數字的加減乘除操作均是不檢查的(unchecked)；就是說如果超出范圍，不會得到異常。例如，2147483647是***的32位整數：

> 2147483647+1;;  val it : int = -2147483648

同時，我們也提供了檢查溢出的實現：Microsoft.FSharp.Core.Operators.Checked。這個模塊(module)中實現的操作將在移除發生時拋出System.OverflowException異常。

如果希望避免溢出，可以使用decimal，bigint和bignum類型。

除零將會得到System.DivideByZeroException，但浮點數(floating-point number)除外，浮點數除零將會返回Infinity和-Infinity。

通過類型推導(type inference)來確定操作符重載—如果沒有重載則F#約定使用32位整數的操作符。

如果希望使用指定類型的操作符，則必須使用類型注釋(type annotation)來幫助類型推導器推導出正確的結果：

> let squareAndAdd a b = a * a + b;;  val squareAndAdd : int -> int -> int

如果我們需要指定使用float的操作符，只需：

> let squareAndAdd (a:float) b = a * a + b;;  val squareAndAdd : float -> float -> float

這就是類型推導器發揮的作用。

位(bitwise)操作

將一個32位整數編碼成(encode) 1,2,或5個字節，并用一個數字列表返回。

let encode (n: int32) =      if   (n >= 0    && n <= 0x7F)   then [ n ]  elif (n >= 0x80 && n <= 0x3FFF) then [ (0x80 ||| (n >>> 8)) &&& 0xFF;                                             (n &&& 0xFF) ]      else  [ 0xC0; ((n >>> 24) &&& 0xFF);                    ((n >>> 16) &&& 0xFF);                    ((n >>> 8)  &&& 0xFF);                     (n         &&& 0xFF) ]

調用：

> encode 32;;  val it : int32 list = [32]     > encode 320;;  val it : int32 list = [129; 64]     > encode 32000;;  val it : int32 list = [192; 0; 0; 125; 0]

數字類型轉換

不同數字類型之間不會隱式轉換。必須使用相應的操作符進行顯式的類型轉換：

需要注意的是，這些轉換都是不檢查溢出的。不會拋出異常。如需要使用溢出異常，還是需要使用Microsoft.FSharp.Core.Operators.Checked模塊下的操作符。或者也可以使用.NET的System.Convert。但使用System.Convert會帶來一些問題，需要使用類型注釋來幫助類型推導器工作。

數字比較

可以使用的操作符為=，<>,<,<=,>,>=,min和max。全都和字面的意義相同。

需要注意的是，當對浮點數進行操作的時候，這些操作符實現了IEEE的NaN。任何包含NaN的比較操作都會返回false。

以上就是如何用好F#操作符解決溢出異常及實現高效算術操作，小編相信有部分知識點可能是我們日常工作會見到或用到的。希望你能通過這篇文章學到更多知識。更多詳情敬請關注億速云行業資訊頻道。