带有流的scala中的惰性评估

Question

我是否正确假设 s1.toStream 将避免在以下函数的第二行中创建不需要的元组？

  def areEqual(s1: String, s2: String): Boolean = {
    if (s1.length != s2.length) false
    else (s1.toStream zip s2).forall { case (c1, c2) => c1 == c2 }
  }
             ^^^^^^^^

谢谢

Answer 1

您是对的，因为forAll 将在第一对 c1, c2 不等于时立即返回 false，因此不会生成以下组合。