F# - 集合

F# 中的集合是一种数据结构,它充当项目的集合,但不保留项目插入的顺序。 集合不允许将重复条目插入到集合中。

创建集合

可以通过以下方式创建集合 −

  • 通过使用 Set.empty 创建一个空集并使用 add 函数添加项目。
  • 将序列和列表转换为集合。

以下程序演示了这些技术 −

(* creating sets *)
let set1 = Set.empty.Add(3).Add(5).Add(7). Add(9)
printfn"The new set: %A" set1

let weekdays = Set.ofList ["mon"; "tues"; "wed"; "thurs"; "fri"]
printfn "The list set: %A" weekdays

let 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<Set<'T>> → Set<'T> 计算集合序列的交集。 该序列必须非空。
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<Set<'T>> → Set<'T> 计算集合序列的并集。

以下示例演示了上述部分功能的使用 −

示例

let a = Set.ofSeq [ 1 ..2.. 20 ]
let b = Set.ofSeq [ 1 ..3 .. 20 ]
let c = Set.intersect a b
let d = Set.union a b
let e = Set.difference a b

printfn "Set a: "
Set.iter (fun x -> printf "%O " x) a
printfn""

printfn "Set b: "
Set.iter (fun x -> printf "%O " x) b
printfn""

printfn "Set c = set intersect of a and b : "
Set.iter (fun x -> printf "%O " x) c
printfn""

printfn "Set d = set union of a and b : "
Set.iter (fun x -> printf "%O " x) d
printfn""

printfn "Set e = set difference of a and b : "
Set.iter (fun x -> printf "%O " x) e
printfn""

当您编译并执行该程序时,它会产生以下输出 −

Set a:
1 3 5 7 9 11 13 15 17 19
Set b:
1 4 7 10 13 16 19
Set c = set intersect of a and b :
1 7 13 19
Set d = set union of a and b :
1 3 4 5 7 9 10 11 13 15 16 17 19
Set e = set difference of a and b :
3 5 9 11 15 17