與空字符串斯卡拉變量返回true

Question

當我有一個字符串變量x，由於某種原因是""：

val x = ""

，我做的事： x.forall(_.isDigit)返回true

我有點困惑，爲什麼它是真的，它不應該是假的？ 當我的條件不起作用時，我發現了這個難題。 後來我去看了Scala的源代碼：

private def prefixLengthImpl(p: A => Boolean, expectTrue: Boolean): Int = { 
    var i = 0 
    while (i < length && p(apply(i)) == expectTrue) i += 1 
    i 
    } 

    override /*IterableLike*/ 
    def forall(p: A => Boolean): Boolean = prefixLengthImpl(p, expectTrue = true) == length 

因此很明顯，它所持有的「空洞的真理」的原則，因爲計數器變量i返回爲0和我的字符串的長度也0，它結果是0==0因此true。我發現在執行forall之前不應該有必要執行x.isEmpty。

Answer 1

我沒有看到問題。斯卡拉forall方法遵循basic first-order logic，最大限度地減少驚喜。對於你的具體例子，你應該使用正則表達式"".matches("\\d+")。

Answer 2

您可以用exists結合forall：

str.exists(_.isDigit) && str.forall(_.isDigit) 
// returns true for "123", false for "", false for "1nodigits" 

Answer 3

http://en.wikipedia.org/wiki/Vacuous_truth

這只是一個事實，即在每一個字符 「」 是一個數字。