Clojure - 斷言



斷言是評估條件並提供真或假值的函式。我們在數字章節的示例中已經看到了斷言函式。我們已經看到了諸如“even?”之類的函式,用於測試數字是否為偶數,或者“neg?”,用於測試數字是否大於零。所有這些函式都返回真或假值。

以下是 Clojure 中斷言的一個示例。

(ns clojure.examples.example
   (:gen-class))

;; This program displays Hello World
(defn Example []
   (def x (even? 0))
   (println x)
   
   (def x (neg? 2))
   (println x)
   
   (def x (odd? 3))
   (println x)
   
   (def x (pos? 3))
   (println x))
(Example)

上述程式產生以下輸出。

true
false
true
true

除了普通的斷言函式外,Clojure 還提供了更多斷言函式。以下方法可用於斷言。

序號 方法和描述
1 every-pred

接受一組斷言,並返回一個函式“f”,如果其所有組成斷言對所有引數返回邏輯真值,則返回真,否則返回假。

2 every?

如果斷言對每個值都為真,則返回真,否則返回假。

3 some

返回集合中任何斷言值 x 的第一個邏輯真值。

4 not-any?

如果集合中值的任何斷言邏輯為真,則返回假,否則返回真。

廣告
© . All rights reserved.