- Clojure 教程
- Clojure - 首頁
- Clojure - 概述
- Clojure - 環境
- Clojure - 基本語法
- Clojure - REPL
- Clojure - 資料型別
- Clojure - 變數
- Clojure - 運算子
- Clojure - 迴圈
- Clojure - 決策
- Clojure - 函式
- Clojure - 數字
- Clojure - 遞迴
- Clojure - 檔案 I/O
- Clojure - 字串
- Clojure - 列表
- Clojure - 集合
- Clojure - 向量
- Clojure - 對映
- Clojure - 名稱空間
- Clojure - 異常處理
- Clojure - 序列
- Clojure - 正則表示式
- Clojure - 斷言
- Clojure - 解構
- Clojure - 日期和時間
- Clojure - 原子
- Clojure - 元資料
- Clojure - StructMaps
- Clojure - 代理
- Clojure - 觀察者
- Clojure - 宏
- Clojure - 引用值
- Clojure - 資料庫
- Clojure - Java 介面
- Clojure - 併發程式設計
- Clojure - 應用
- Clojure - 自動化測試
- Clojure - 庫
- Clojure 有用資源
- Clojure - 快速指南
- Clojure - 有用資源
- Clojure - 討論
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?
如果集合中值的任何斷言邏輯為真,則返回假,否則返回真。 |
廣告