F＃中的集合是一种数据结构，用作项目的集合，而不保留插入项目的顺序。 集合不允许将重复条目插入到集合中。
创建集
集可以通过以下方式创建
- 通过创建使用Set.empty空集和添加使用add函数项。
- 转换序列和列表来套。
下面是程序演示
(* creating sets *)let set1 = Set.empty.Add(3).Add(5).Add(7). Add(9)printfn"The new set: %A" set1let weekdays = Set.ofList ["mon"; "tues"; "wed"; "thurs"; "fri"]printfn "The list set: %A" weekdayslet set2 = Set.ofSeq [ 1 .. 2.. 10 ]printfn "The sequence set: %A" set2
当你编译和执行程序，它产生以下输出
The new set: set [3; 5; 7; 9]The list set: set ["fri"; "mon"; "thurs"; "tues"; "wed"]The sequence set: set [1; 3; 5; 7; 9]
集的基本操作
下表显示了集的基本操作
| 值 | 描述 |
|---|---|
| add : 'T → Set<'T> → Set<'T> | 返回添加到集合中的元素的新集合。 如果集合已包含给定元素，则不会引发异常。 |
| contains : 'T → Set<'T> → bool | 如果给定元素在给定集合中，则计算为true。 |
| count : Set<'T> → int | 返回集合中的元素的数量。 |
| difference : Set<'T> → Set<'T> → Set<'T> | 返回一个新的组与第二组从所述第一除去的元素。 |
| empty : Set<'T> | 指定类型的空集。 |
| exists : ('T → bool) → Set<'T> → bool | 测试集合的任何元素是否满足给定谓词。 如果输入函数是谓词并且元素是i0 ... iN，则该函数计算谓词i0或...或谓词iN。 |
| filter : ('T → bool) → Set<'T> → Set<'T> | 返回包含只对给定的谓词返回true的集合中的元素一个新的集合。 |
| fold : ('State → 'T → 'State) → 'State → Set<'T> → 'State | 应用于给定的累积功能所设定的所有要素。 |
| foldBack : ('T → 'State → 'State) → Set<'T> → 'State → 'State | 应用于给定的累积功能所设定的所有要素。 |
| forall : ('T → bool) → Set<'T> → bool | 测试集合的所有元素是否满足给定谓词。 如果输入函数是p并且元素是i0 ... iN，则该函数计算p i0 && ... && p iN。 |
| intersect : Set<'T> → Set<'T> → Set<'T> | 计算这两个集合的交集。 |
| intersectMany : seq | 计算的集合的序列的交集。该序列必须是非空的。 |
| isEmpty : Set<'T> → bool | 返回true如果设置为空。 |
| isProperSubset : Set<'T> → Set<'T> → bool | 如果第一个集合的所有元素都在第二个元素中，并且第二个元素中的至少一个元素不在第一个元素中，则计算为true。 |
| isProperSuperset : Set<'T> → Set<'T> → bool | 如果第二个集合的所有元素都在第一个元素中，并且第一个元素的至少一个元素不在第二个元素中，则计算为true。 |
| isSubset : Set<'T> → Set<'T> → bool | 如果第一个集合的所有元素都在第二个元素中，则计算为true。 |
| isSuperset : Set<'T> → Set<'T> → bool | 如果第二个集合的所有元素都在第一个元素中，则计算为true。 |
| iter : ('T → unit) → Set<'T> → unit | 将给定的函数应用于集合的每个元素，按照比较函数的顺序。 |
| map : ('T → 'U) → Set<'T> → Set<'U> | 返回包含施加给定函数对输入集的每个元素的结果的新的集合。 |
| maxElement : Set<'T> → 'T | 返回被用于该组中按照排序集合中的最高的元素。 |
| minElement : Set<'T> → 'T | 返回被用于集在根据排序的集合中的最低元素。 |
| ofArray : 'T array → Set<'T> | 创建一组包含相同元素作为给定的数组。 |
| ofList : 'T list → Set<'T> | 创建一组包含相同元素作为给定的列表。 |
| ofSeq : seq<'T> → Set<'T> | 创建从给定的枚举对象一个新的集合。 |
| partition : ('T → bool) → Set<'T> → Set<'T> * Set<'T> | 将集合拆分为两个集合，其中包含给定谓词分别返回true和false的元素。 |
| remove : 'T → Set<'T> → Set<'T> | 返回一个新集合，其中删除了给定元素。 如果集合不包含给定元素，则不会引发异常。 |
| singleton : 'T → Set<'T> | 包含给定元素的集合。 |
| toArray : Set<'T> → 'T array | 创建包含在顺序集合的元素的数组。 |
| toList : Set<'T> → 'T list | 创建包含在顺序集合的单元的明细表。 |
| toSeq : Set<'T> → seq<'T> | 返回集合的有序观为枚举对象。 |
| union : Set<'T> → Set<'T> → Set<'T> | 计算两组的联合。 |
| unionMany : seq | 计算的一组序列的结合。 |
下面的例子演示了上述一些功能的使用
例
let a = Set.ofSeq [ 1 ..2.. 20 ]let b = Set.ofSeq [ 1 ..3 .. 20 ]let c = Set.intersect a blet d = Set.union a blet e = Set.difference a bprintfn "Set a: "Set.iter (fun x -> printf "%O " x) aprintfn""printfn "Set b: "Set.iter (fun x -> printf "%O " x) bprintfn""printfn "Set c = set intersect of a and b : "Set.iter (fun x -> printf "%O " x) cprintfn""printfn "Set d = set union of a and b : "Set.iter (fun x -> printf "%O " x) dprintfn""printfn "Set e = set difference of a and b : "Set.iter (fun x -> printf "%O " x) eprintfn""
当你编译和执行程序，它产生以下输出
Set a:1 3 5 7 9 11 13 15 17 19Set b:1 4 7 10 13 16 19Set c = set intersect of a and b :1 7 13 19Set d = set union of a and b :1 3 4 5 7 9 10 11 13 15 16 17 19Set e = set difference of a and b :3 5 9 11 15 17