用好F#操作符解決溢出異常 實現高效算術操作
F#高效高產的源頭就在于其構建在久經考驗的函數式編程理念之上。
使用F#進行算術操作
基本類型：
|
類型
|
描述
|
示例
|
.NET 類型
|
|
bool
|
True/false values
|
true,false
|
System.Boolean
|
|
byte
|
8-bit unsigned integers
|
0uy,19uy,0xFFuy
|
System.Byte
|
|
sbyte
|
8-bit signed integers
|
0y, 19y,0xFFy
|
System.SByte
|
|
int16
|
16-bit signed integers
|
0s, 19s,0x0800s
|
System.Int16
|
|
uint16
|
16-bit unsigned integers
|
0us,19us,0x0800us
|
System.UInt16
|
|
int, int32
|
32-bit signed integers
|
0, 19,0x0800,0b0001
|
System.Int32
|
|
uint32
|
32-bit unsigned integers
|
0u, 19u,0x0800u
|
System.UInt32
|
|
int64
|
64-bit signed integers
|
0L, 19L,0x0800L
|
System.Int64
|
|
uint64
|
64-bit unsigned integers
|
0UL,19UL,0x0800UL
|
System.UInt64
|
|
nativeint
|
Machine-sized signed integers
|
0n, 19n,0x0800n
|
System.IntPtr
|
|
unativeint
|
Machine-sized unsigned integers
|
0un,19un,0x0800un
|
System.UIntPtr
|
|
single,float32
|
32-bit IEEE floating-point
|
0.0f,19.7f,1.3e4f
|
System.Single
|
|
double,float
|
64-bit IEEE floating-point
|
0.0,19.7,1.3e4
|
System.Double
|
|
decimal
|
High-precision decimal values
|
0M, 19M,19.03M
|
System.Decimal
|
|
bigint
|
Arbitrarily large integers
|
0I, 19I
|
Math.BigInt
|
|
bignum
|
Arbitrary-precision rationals
|
0N, 19N
|
Math.BigNum
|
|
unit
|
The type with only one value
|
()
|
Core.Unit
|
在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)操作
|
操作符 |
描述 |
舉例 |
結果 |
|
&&& |
與 |
0x65 &&& 0x0F |
0x05 |
|
||| |
或 |
0x65 ||| 0x18 |
0x7D |
|
ˆˆˆ |
異或 |
0x65ˆˆˆ0x0F |
0x6A |
|
~~~ |
求反 |
~~~0x65 |
0xFFFFFF9a |
|
<<< |
左移 |
0x01 <<< 3 |
0x08 |
|
>>> |
右移 |
0x65 >>> 3 |
0x0C |
將一個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]
數字類型轉換
不同數字類型之間不會隱式轉換。必須使用相應的操作符進行顯式的類型轉換：
|
操作符
|
描述
|
用法
|
結果
|
|
sbyte
|
轉換為sbyte
|
sbyte (-17)
|
-17y
|
|
byte
|
轉換為byte
|
byte 255
|
255uy
|
|
int16
|
轉換為int16
|
int16 0
|
0s
|
|
uint16
|
轉換為uint16
|
uint16 65535
|
65535us
|
|
int/int32
|
轉換為int
|
int 17.8
|
17
|
|
uint32
|
轉換為uint32
|
uint32 12
|
12u
|
|
int64
|
轉換為int64
|
int64 (-100.4)
|
-100L
|
|
uint64
|
轉換為uint64
|
uint64 1
|
1UL
|
|
float32
|
轉換為float32
|
float32 65
|
65.0f
|
|
float
|
轉換為float
|
float 65
|
65.0
|
需要注意的是，這些轉換都是不檢查溢出的。不會拋出異常。如需要使用溢出異常，還是需要使用Microsoft.FSharp.Core.Operators.Checked模塊下的操作符。或者也可以使用.NET的System.Convert。但使用System.Convert會帶來一些問題，需要使用類型注釋來幫助類型推導器工作。
數字比較
可以使用的操作符為=，<>,<,<=,>,>=,min和max。全都和字面的意義相同。
需要注意的是，當對浮點數進行操作的時候，這些操作符實現了IEEE的NaN。任何包含NaN的比較操作都會返回false。
原文標題：【F#2.0系列】使用F#進行算術操作
鏈接：http://www.cnblogs.com/pandora/archive/2010/08/26/FSharp_Using_Number.html
【編輯推薦】
