内容简介:F#开发教程(12):函数化编程(十一)
异常和异常处理
F#中定义异常和定义联合类似,异常处理类似于模式匹配。定义异常使用excpetion关键字,然后是异常的名称,再次为可选的异常数据类型。多个类型使用*分隔(其实是元组类型)
例如
exception WrongSecond of int
使用raise来抛出异常。F#中还有一个failwith函数可以抛出异常。
> exception WrongSecond of int - let primes = [ 2; 3; 5; 7; 11; 13; 17; 19; 23; 29; 31; 37; 41; 43; 47; 53; 59 ];; exception WrongSecond of int val primes : int list = [2; 3; 5; 7; 11; 13; 17; 19; 23; 29; 31; 37; 41; 43; 47; 53; 59] > let testSecond() = - try - let currentSecond = System.DateTime.Now.Second - if List.exists (fun x -> x = currentSecond) primes then - failwith "A prime second" - else - raise (WrongSecond currentSecond) - with - WrongSecond x -> - printf "The current was %i,which is not prime" x;; val testSecond : unit -> unit > testSecond();; The current was 1,which is not primeval it : unit = ()
try 和 with 用来处理异常,将可能会出现异常的表达式放在try 和 with 之间。with之后定义一个或多个异常类型的模式匹配。和普通的模式匹配最大的差异在于异常的模式匹配在没有没有完全定义所有异常模式处理时编译器不会给出警告,这是因为任何没有处理的异常都会逐步向上传播。
F#也支持finally,它和try一起使用。但finally不能和with一同使用。
// function to write to a file
let writeToFile() =
// open a file
let file = System.IO.File.CreateText("test.txt")
try
// write to it
file.WriteLine("Hello F# users")
finally
// close the file, this will happen even if
// an exception occurs writing to the file
file.Dispose()
// call the function
writeToFile()
以上所述就是小编给大家介绍的《F#开发教程(12):函数化编程(十一)》,希望对大家有所帮助,如果大家有任何疑问请给我留言,小编会及时回复大家的。在此也非常感谢大家对 码农网 的支持!
本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们。
乔布斯离开了,马斯克来了
[日]竹内一正 / 干太阳 / 中信出版社 / 2015-11
在电动汽车的创新上,特斯拉抓住了一个群体的独特需求,外形很酷,不烧油,智能化控制。所有的颠覆式创新都不是敲锣打鼓来的,而是隐藏在一片噪声里,马斯克给我们带来的特斯拉虽然不尽完美,但他做产品的思维和执着于未来的勇气,值得学习。埃隆•马斯克创办公司也不是为了赚钱,而是为了拯救人类和地球,电动汽车、太阳能发电、宇宙火箭,不管是哪一项都足以令一个国家付出巨大的代价去研究开发,但埃隆•马斯克却一个人在做这些......一起来看看 《乔布斯离开了,马斯克来了》 这本书的介绍吧!