스칼라 변수는 진정한 반환

Question

나는 문자열이있는 경우 변수 x 어떤 이유로 ""입니다 :

val x = ""

내가 할 : 그것이 true

을 반환 x.forall(_.isDigit)

나는 왜 그것이 사실인지 조금 당황한가? if 조건이 작동하지 않을 때 어려운 방법을 발견했습니다. 는 다음 나는 스칼라 소스 코드를 보러 갔다 :

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

문제가 표시되지 않습니다. scala 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

입니다.