如何用好F#操作符解決溢出異常及實(shí)現(xiàn)高效算術(shù)操作

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

創(chuàng)新互聯(lián)公司成立以來不斷整合自身及行業(yè)資源、不斷突破觀念以使企業(yè)策略得到完善和成熟，建立了一套“以技術(shù)為基點(diǎn)，以客戶需求中心、市場(chǎng)為導(dǎo)向”的快速反應(yīng)體系。對(duì)公司的主營(yíng)項(xiàng)目，如中高端企業(yè)網(wǎng)站企劃 / 設(shè)計(jì)、行業(yè) / 企業(yè)門戶設(shè)計(jì)推廣、行業(yè)門戶平臺(tái)運(yùn)營(yíng)、成都APP應(yīng)用開發(fā)、手機(jī)網(wǎng)站制作、微信網(wǎng)站制作、軟件開發(fā)、綿陽服務(wù)器托管等實(shí)行標(biāo)準(zhǔn)化操作，讓客戶可以直觀的預(yù)知到從創(chuàng)新互聯(lián)公司可以獲得的服務(wù)效果。

F#高效高產(chǎn)的源頭就在于其構(gòu)建在久經(jīng)考驗(yàn)的函數(shù)式編程理念之上。

使用F#進(jìn)行算術(shù)操作

基本類型：

類型	描述	示例	.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#中，對(duì)數(shù)字的加減乘除操作均是不檢查的(unchecked)；就是說如果超出范圍，不會(huì)得到異常。例如，2147483647是***的32位整數(shù)：

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

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

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

除零將會(huì)得到System.DivideByZeroException，但浮點(diǎn)數(shù)(floating-point number)除外，浮點(diǎn)數(shù)除零將會(huì)返回Infinity和-Infinity。

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

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

> 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

這就是類型推導(dǎo)器發(fā)揮的作用。

位(bitwise)操作

操作符	描述	舉例	結(jié)果
&&&	與	0x65 &&& 0x0F	0x05
|||	或	0x65 ||| 0x18	0x7D
ˆˆˆ	異或	0x65ˆˆˆ0x0F	0x6A
~~~	求反	~~~0x65	0xFFFFFF9a
<<<	左移	0x01 <<< 3	0x08
>>>	右移	0x65 >>> 3	0x0C

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

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) ]

調(diào)用：

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

數(shù)字類型轉(zhuǎn)換

不同數(shù)字類型之間不會(huì)隱式轉(zhuǎn)換。必須使用相應(yīng)的操作符進(jìn)行顯式的類型轉(zhuǎn)換：

操作符	描述	用法	結(jié)果
sbyte	轉(zhuǎn)換為sbyte	sbyte (-17)	-17y
byte	轉(zhuǎn)換為byte	byte 255	255uy
int16	轉(zhuǎn)換為int16	int16 0	0s
uint16	轉(zhuǎn)換為uint16	uint16 65535	65535us
int/int32	轉(zhuǎn)換為int	int 17.8	17
uint32	轉(zhuǎn)換為uint32	uint32 12	12u
int64	轉(zhuǎn)換為int64	int64 (-100.4)	-100L
uint64	轉(zhuǎn)換為uint64	uint64 1	1UL
float32	轉(zhuǎn)換為float32	float32 65	65.0f
float	轉(zhuǎn)換為float	float 65	65.0

需要注意的是，這些轉(zhuǎn)換都是不檢查溢出的。不會(huì)拋出異常。如需要使用溢出異常，還是需要使用Microsoft.FSharp.Core.Operators.Checked模塊下的操作符?；蛘咭部梢允褂?NET的System.Convert。但使用System.Convert會(huì)帶來一些問題，需要使用類型注釋來幫助類型推導(dǎo)器工作。

數(shù)字比較

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

需要注意的是，當(dāng)對(duì)浮點(diǎn)數(shù)進(jìn)行操作的時(shí)候，這些操作符實(shí)現(xiàn)了IEEE的NaN。任何包含NaN的比較操作都會(huì)返回false。

以上就是如何用好F#操作符解決溢出異常及實(shí)現(xiàn)高效算術(shù)操作，小編相信有部分知識(shí)點(diǎn)可能是我們?nèi)粘９ぷ鲿?huì)見到或用到的。希望你能通過這篇文章學(xué)到更多知識(shí)。更多詳情敬請(qǐng)關(guān)注創(chuàng)新互聯(lián)行業(yè)資訊頻道。

當(dāng)前文章：如何用好F#操作符解決溢出異常及實(shí)現(xiàn)高效算術(shù)操作
當(dāng)前網(wǎng)址：http://muchs.cn/article4/gdspoe.html

成都網(wǎng)站建設(shè)公司_創(chuàng)新互聯(lián)，為您提供App設(shè)計(jì)、外貿(mào)網(wǎng)站建設(shè)、網(wǎng)站設(shè)計(jì)、網(wǎng)站改版、域名注冊(cè)、品牌網(wǎng)站制作

廣告

聲明：本網(wǎng)站發(fā)布的內(nèi)容（圖片、視頻和文字）以用戶投稿、用戶轉(zhuǎn)載內(nèi)容為主，如果涉及侵權(quán)請(qǐng)盡快告知，我們將會(huì)在第一時(shí)間刪除。文章觀點(diǎn)不代表本網(wǎng)站立場(chǎng)，如需處理請(qǐng)聯(lián)系客服。電話：028-86922220；郵箱：631063699@qq.com。內(nèi)容未經(jīng)允許不得轉(zhuǎn)載，或轉(zhuǎn)載時(shí)需注明來源： 創(chuàng)新互聯(lián)