clojure-根本语法-集合（三）

clojure-基本语法-集合（三）
操作集合的通用语句
1、count：
count函数返回集合中元素的个数，如果count参数为nil，则返回0

user=> (count nil)0user=> (count [])0user=> (count [1 2 3])3user=> (count '(1 "a"))2user=> (count {:one 1 :two 2})2user=> (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 [])niluser=> (not-empty '(1 2 3))(1 2 3)

4、into：
into接受两个集合参数，并且将第二个集合参数元素全部插入到第一个集合参数中，再返回。

user=> (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)trueuser=> (contains? {:a nil} :a)trueuser=> (contains? {:a 1} :b)falseuser=> (contains? [:a :b :c] :b)falseuser=> (contains? [:a :b :c] 2)trueuser=> (contains? "f" 0)trueuser=> (contains? "f" 2)falseuser=> (contains? '(1 2 3) 1)falseuser=> (contains? #{"a" "b" "v"} "a")trueuser=> (contains? #{"a" "b" "c"} "z")false

6、distinct?：
如果传递的参数列表中有值相同的，返回false，否则返回true。

user=> (distinct? 1 2 3)trueuser=> (distinct? 1 1 2 3)falseuser=> (distinct? "a" "b" "a")false

7、empty?：
接受一个集合参数，如果该集合没有元素，则返回true，否则返回false。

user=> (empty? ())trueuser=> (empty? '(1 2 3))falseuser=> (empty? [])trueuser=> (empty? {})trueuser=> (empty? #{})true

8、every?：
every?接受两个参数，第一个参数为检查函数，第二个参数为集合。如果该检查函数对集合所有元素都通过，则返回true，否则返回false。

user=> (every? even? '(2 4 6))trueuser=> (every? odd? '(1 3 9))trueuser=> (every? true? '())trueuser=> (every? false? '())true

9、not-every?：
not-every?与every作用相反。参照every介绍。

user=> (not-every? odd? '(1 2 3))trueuser=> (not-every? odd? '(1 3))false

10、some：
some与every?作用类似，区别是some要求集合中只要有一个元素检查为true，则返回true。所有检查都不通过，则返回nil。

user=> (some even? '(1 2 3 4))trueuser=> (some even? '(1 3 5 7))niluser=> (some true? [false false false])niluser=> (some true? [false true false])true

11、not-any?：
not-any?与some函数作用也相反（定义为comp not some），可参考some描述。

user=> (not-any? odd? '(2 4 6))trueuser=> (not-any? odd? '(1 2 3))false

12、sequential?：
sequential?检查集合是否实现Sequential接口（不是排序，而是顺序存储），是则返回true，否则返回false。

user=> (sequential? '(2 1 3))trueuser=> (sequential? {:a 1 :d 2 :b 3})falseuser=> (sequential? 1)false

13、associative?：
associative?检查集合是否实现Associative接口，是则返回true，否则返回false。

user=> (associative? [1 2 3])trueuser=> (associative? '(1 2 3))false

14、sorted?：
sorted?检查集合是否实现Sorted接口，是则返回true，否则返回false。

user=> (sorted? (sorted-set 5 3 1 2 4))trueuser=> (sorted? (sorted-map :a 1 :c 3 :b 2))trueuser=> (sorted? [1 2 3 4 5])false

15、counted?：
如果集合参数以常量时间内返回元素总和时，返回true，否则返回false。

user=> (sorted? [1 2 3 4 5])falseuser=> (counted? [:a :b :c])trueuser=> (counted? '(:a :b :c))trueuser=> (counted? {:a 1 :b 2 :c 3})trueuser=> (counted? "asdf")false

16、reversible?：
reversible?检查集合参数是否实现Reversible接口，是则返回true，否则返回false。

user=> (reversible? [])trueuser=> (reversible? '())falseuser=> (reversible? #{})false

类型检查
1、coll?：
如果给定的参数实现IPersistentCollection接口（集合都会实现该接口），则返回true，否则返回false。

user=> (coll? {}) true user=> (coll? #{}) true user=> (coll? []) true user=> (coll? ()) true user=> (coll? 4) falseuser=> (coll? "fred") falseuser=> (coll? true) falseuser=> (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

查看更多 下一篇