Chapter3 - 列表 - List

F#的列表是一种简单的内置集合类型。F#的列表可以是一个空的列表([]),或者是一些值的集合

你可以用 :: 来连接许多的项

 

let emptyList = []

let oneItem = "one" :: []

let twoItem = "one" :: "two" :: []

 

你也可以在初始化列表的时候使用;来分隔列表里的项

 

let shortHand = ["apples" ; "pairs"]

 

F#还提供了 @ ，你可以用这个操作符来连接两个列表

 

let twoLists = ["one" ; "two"] @ ["buckle" ; "my" ; "shoe"]

 

在同一个列表里的项都必须是同一个类型的，如果你想在里面塞一些不一样的东西进去的华。

编译器将会报出一个错误。当然，你可以强制的使用 box 关键字将列表的类型都处理为object，

但这样就少不了一些装箱、拆箱的消耗。

 

let objList = [box 1; box 2.0; box "three"]

 

当你在 F# Interactive 中输入上面这行代码的时候会返回：

val objList : obj list = [1; 2.0; "three"]

//很明显的，这里就是一个obj 的 list

 

在F#里面，列表是不可改变的(immutable)，也就是说，一旦这个列表给创建了，他就不能

在接受更改，之前提到的函数跟操作符，事实上并没有对其做任何修改，他只是创建了一个新的列表出来

 

let one = ["one "]

//one为 ["one"]

let two = "two " :: one

//two为 ["two","one"]

let three = "three" : two

//three为 ["three","two","one"]

let rightWayRound = List.rev three

// ["one","two","three"]

 

以上的操作并没有对每个列表做修改，他只是复制了一份，然后又生成了一份新的列表

 

递归是最普通的使用列表的方式。如以下的代码，链接多个列表

 

let listOfList = [[2;3;5]; [7;11;13]; [17;19;23;29]]

let rec concatList l =

　　if List.nonempty l then
　　　　let head = List.hd l in //让head等于列表中的第一个元素
　　　　let tail = List.tl l in //让tail等于列表中的剩余元素
　　　　head @ (concatList tail) //head 跟 concatList的下一个返回结果链接
　　else
　　　　[] //如果传递进来的是空列表，则返回空列表

concatList listOfList

//结果 [2;3;5;7;11;13;17;19;23;29]