web-dev-qa-db-ja.com

Scalaで範囲を一致させることはできますか?

Scalaで値の範囲を一致させることは可能ですか?

例えば:

val t = 5
val m = t match {
    0 until 10 => true
    _ => false
}

mは、trueが0〜10の場合はtになりますが、それ以外の場合はfalseになります。もちろん、これはうまくいきませんが、そのようなことを達成する方法はありますか?

49
Justin Poliey

Rangeを使用してガード:

val m = t match {
  case x if 0 until 10 contains x => true
  case _ => false
}
76

ガードを使用できます:

val m = t match {
    case x if (0 <= x && x < 10) => true
    case _ => false
}
32
Alexey Romanov

これらの定義により:

  trait Inspector[-C, -T] {
    def contains(collection: C, value: T): Boolean
  }

  implicit def seqInspector[T, C <: SeqLike[Any, _]] = new Inspector[C, T]{
    override def contains(collection: C, value: T): Boolean = collection.contains(value)
  }

  implicit def setInspector[T, C <: Set[T]] = new Inspector[C, T] {
    override def contains(collection: C, value: T): Boolean = collection.contains(value)
  }

  implicit class MemberOps[T](t: T) {
    def in[C](coll: C)(implicit inspector: Inspector[C, T]) =
      inspector.contains(coll, t)
  }

次のようなチェックを実行できます。

2 in List(1, 2, 4)      // true
2 in List("foo", 2)     // true
2 in Set("foo", 2)      // true
2 in Set(1, 3)          // false
2 in Set("foo", "foo")  // does not compile
2 in List("foo", "foo") // false (contains on a list is not the same as contains on a set)
2 in (0 to 10)          // true

したがって、必要なコードは次のようになります。

val m = x in (0 to 10)
3

範囲を使用して照合する別の方法を次に示します。

val m = t match {
  case x if ((0 to 10).contains(x)) => true
  case _ => false
}
3
swartzrock

別のオプションは、暗黙的にこれを実際に言語に追加することです。intとRangeの2つのバリエーションを追加しました

object ComparisonExt {
  implicit class IntComparisonOps(private val x : Int) extends AnyVal {
    def between(range: Range) = x >= range.head && x < range.last
    def between(from: Int, to: Int) = x >= from && x < to
  }

}

object CallSite {
  import ComparisonExt._

  val t = 5
  if (t between(0 until 10)) println("matched")
  if (!(20 between(0 until 10))) println("not matched")
  if (t between(0, 10)) println("matched")
  if (!(20 between(0, 10))) println("not matched")
}
0
Noam