clojure-基本语法-集合（三）
程序员文章站
2022-07-14 14:37:16
...
[b][color=red]操作集合的通用语句[/color][/b]
1、count：
count函数返回集合中元素的个数，如果count参数为nil，则返回0
2、empty：
返回一个空的集合，集合类型不变，如果empty参数为nil，则返回nil
3、not-empty：
如果集合为空，返回nil，其它直接返回参数指向的集合
4、into：
into接受两个集合参数，并且将第二个集合参数元素全部插入到第一个集合参数中，再返回。
5、contains?：
如果当前给定的集合（第一个参数）存在key（第二个参数），则返回true，否则返回false。特别指出，对于数组、vector以索引标识的集合，如果key在索引返回内，则返回true，否则返回false，对于列表类型，总是返回false。
6、distinct?：
如果传递的参数列表中有值相同的，返回false，否则返回true。
7、empty?：
接受一个集合参数，如果该集合没有元素，则返回true，否则返回false。
8、every?：
every?接受两个参数，第一个参数为检查函数，第二个参数为集合。如果该检查函数对集合所有元素都通过，则返回true，否则返回false。
9、not-every?：
not-every?与every作用相反。参照every介绍。
10、some：
some与every?作用类似，区别是some要求集合中只要有一个元素检查为true，则返回true。所有检查都不通过，则返回nil。
11、not-any?：
not-any?与some函数作用也相反（定义为comp not some），可参考some描述。
12、sequential?：
sequential?检查集合是否实现Sequential接口（不是排序，而是顺序存储），是则返回true，否则返回false。
13、associative?：
associative?检查集合是否实现Associative接口，是则返回true，否则返回false。
14、sorted?：
sorted?检查集合是否实现Sorted接口，是则返回true，否则返回false。
15、counted?：
如果集合参数以常量时间内返回元素总和时，返回true，否则返回false。
16、reversible?：
reversible?检查集合参数是否实现Reversible接口，是则返回true，否则返回false。
[b][color=red]类型检查[/color][/b]
1、coll?：
如果给定的参数实现IPersistentCollection接口（集合都会实现该接口），则返回true，否则返回false。
2、seq?：
如果给定的参数实现ISeq接口（序列实现该接口，序列内容在下篇讲解），则返回true，否则返回false
3、vector?：
如果给定的参数实现IPersistentVector接口（向量Vector实现该接口），则返回true，否则返回false
4、list?：
如果给定的参数实现IPersistentList接口（列表List实现该接口），则返回true，否则返回false
5、map?：
如果给定的参数实现IPersistentMap接口（映射Map实现该接口），则返回true，否则返回false
6、set?：
如果给定的参数实现IPersistentSet接口（set集合实现该接口），则返回true，否则返回false
实际上本篇介绍的各种检查语句，都是检查底层实现类所实现的接口（具有对应接口的功能），比如说列表List的实现类定义为：
1、count：
count函数返回集合中元素的个数，如果count参数为nil，则返回0
user=> (count nil)
0
user=> (count [])
0
user=> (count [1 2 3])
3
user=> (count '(1 "a"))
2
user=> (count {:one 1 :two 2})
2
user=> (count "string")
6
2、empty：
返回一个空的集合，集合类型不变，如果empty参数为nil，则返回nil
user=> (empty [1 2 3])
[]
user=> (empty (list 1 2 3))
()
user=> (empty {:key1 1})
{}
user=> (empty nil)
nil
3、not-empty：
如果集合为空，返回nil，其它直接返回参数指向的集合
user=> (not-empty [])
nil
user=> (not-empty '(1 2 3))
(1 2 3)
4、into：
into接受两个集合参数，并且将第二个集合参数元素全部插入到第一个集合参数中，再返回。
[1 2][3 4]])
{1 2, 3 4}
user=> (into [] {:a 1 :b 2})
[[:a 1] [:b 2]]
user=> (into () '(1 2 3))
(3 2 1)
user=> (into ["a" "b"] '(1 2 3))
["a" "b" 1 2 3]
5、contains?：
如果当前给定的集合（第一个参数）存在key（第二个参数），则返回true，否则返回false。特别指出，对于数组、vector以索引标识的集合，如果key在索引返回内，则返回true，否则返回false，对于列表类型，总是返回false。
user=> (contains? {:a 1} :a)
true
user=> (contains? {:a nil} :a)
true
user=> (contains? {:a 1} :b)
false
user=> (contains? [:a :b :c] :b)
false
user=> (contains? [:a :b :c] 2)
true
user=> (contains? "f" 0)
true
user=> (contains? "f" 2)
false
user=> (contains? '(1 2 3) 1)
false
user=> (contains? #{"a" "b" "v"} "a")
true
user=> (contains? #{"a" "b" "c"} "z")
false
6、distinct?：
如果传递的参数列表中有值相同的，返回false，否则返回true。
user=> (distinct? 1 2 3)
true
user=> (distinct? 1 1 2 3)
false
user=> (distinct? "a" "b" "a")
false
7、empty?：
接受一个集合参数，如果该集合没有元素，则返回true，否则返回false。
user=> (empty? ())
true
user=> (empty? '(1 2 3))
false
user=> (empty? [])
true
user=> (empty? {})
true
user=> (empty? #{})
true
8、every?：
every?接受两个参数，第一个参数为检查函数，第二个参数为集合。如果该检查函数对集合所有元素都通过，则返回true，否则返回false。
user=> (every? even? '(2 4 6))
true
user=> (every? odd? '(1 3 9))
true
user=> (every? true? '())
true
user=> (every? false? '())
true
9、not-every?：
not-every?与every作用相反。参照every介绍。
user=> (not-every? odd? '(1 2 3))
true
user=> (not-every? odd? '(1 3))
false
10、some：
some与every?作用类似，区别是some要求集合中只要有一个元素检查为true，则返回true。所有检查都不通过，则返回nil。
user=> (some even? '(1 2 3 4))
true
user=> (some even? '(1 3 5 7))
nil
user=> (some true? [false false false])
nil
user=> (some true? [false true false])
true
11、not-any?：
not-any?与some函数作用也相反（定义为comp not some），可参考some描述。
user=> (not-any? odd? '(2 4 6))
true
user=> (not-any? odd? '(1 2 3))
false
12、sequential?：
sequential?检查集合是否实现Sequential接口（不是排序，而是顺序存储），是则返回true，否则返回false。
user=> (sequential? '(2 1 3))
true
user=> (sequential? {:a 1 :d 2 :b 3})
false
user=> (sequential? 1)
false
13、associative?：
associative?检查集合是否实现Associative接口，是则返回true，否则返回false。
user=> (associative? [1 2 3])
true
user=> (associative? '(1 2 3))
false
14、sorted?：
sorted?检查集合是否实现Sorted接口，是则返回true，否则返回false。
user=> (sorted? (sorted-set 5 3 1 2 4))
true
user=> (sorted? (sorted-map :a 1 :c 3 :b 2))
true
user=> (sorted? [1 2 3 4 5])
false
15、counted?：
如果集合参数以常量时间内返回元素总和时，返回true，否则返回false。
user=> (sorted? [1 2 3 4 5])
false
user=> (counted? [:a :b :c])
true
user=> (counted? '(:a :b :c))
true
user=> (counted? {:a 1 :b 2 :c 3})
true
user=> (counted? "asdf")
false
16、reversible?：
reversible?检查集合参数是否实现Reversible接口，是则返回true，否则返回false。
user=> (reversible? [])
true
user=> (reversible? '())
false
user=> (reversible? #{})
false
[b][color=red]类型检查[/color][/b]
1、coll?：
如果给定的参数实现IPersistentCollection接口（集合都会实现该接口），则返回true，否则返回false。
user=> (coll? {})
true
user=> (coll? #{})
true
user=> (coll? [])
true
user=> (coll? ())
true
user=> (coll? 4)
false
user=> (coll? "fred")
false
user=> (coll? true)
false
user=> (coll? nil)
false
2、seq?：
如果给定的参数实现ISeq接口（序列实现该接口，序列内容在下篇讲解），则返回true，否则返回false
user> (seq? 1)
false
user> (seq? [1])
false
user> (seq? (seq [1]))
true
3、vector?：
如果给定的参数实现IPersistentVector接口（向量Vector实现该接口），则返回true，否则返回false
user=> (vector? [1 2 3])
true
user=> (vector? '(1 2 3))
false
user=> (vector? (vec '(1 2 3)))
true
4、list?：
如果给定的参数实现IPersistentList接口（列表List实现该接口），则返回true，否则返回false
user=> (list? '(1 2 3))
true
user=> (list? (list 1 2))
true
user=> (list? 0)
false
user=> (list? {})
false
user=> (list? [])
false
5、map?：
如果给定的参数实现IPersistentMap接口（映射Map实现该接口），则返回true，否则返回false
user=> (map? {:a 1 :b 2 :c 3})
true
user=> (map? '(1 2 3))
false
6、set?：
如果给定的参数实现IPersistentSet接口（set集合实现该接口），则返回true，否则返回false
user> (set? #{1 2 3})
true
user> (set? [1 2 3])
false
user> (set? {:a 1 :b 2})
false
实际上本篇介绍的各种检查语句，都是检查底层实现类所实现的接口（具有对应接口的功能），比如说列表List的实现类定义为：
public class PersistentList extends ASeq
implements IPersistentList, IReduce, List, Counted