Scalaはリストを関数としてどのように扱いますか？

Question

intのリストがあるとします。 lift関数を呼び出して、T => Option[T]という別の関数を呼び出すことができます。

val f0: Int => Option[Int] = List(1, 2).lift 

println(f0.apply(0)) // Some(1) 
println(f0.apply(1)) // Some(2) 
println(f0.apply(2)) // None 

しかし、どのように機能しますか？なぜlift（PartialFunction形質）機能をListに適用できますか？暗黙の魔法がありますか？

Answer 1

List[T]はサブタイプPartialFunction[Int, T]である。今すぐListはPartialFunctionの直接のサブクラスではありません。 PartialFunctionの形をしたSeqの形はtrait Seq[+A] extends PartialFunction[Int, A]です。

Seqは、Listのようなコレクションによって継承された特性であり、Liftなどのメソッドを返します。 私はそれを遠近法の問題と考える。

IはSeqとしてその時になり配列の要素型に値のIntから進み、そのisDefinedAt方法lengthまで0から間隔のtrueを返すPartialFunctionあります。

ルックhere。

マップの場合と同様に、すべてのマップはPartialFunctionを拡張する形容詞MapLikeを拡張します。今すぐMap[A,B]はPartialFunction[A,B]になります。 isDefinedAtメソッドがを返す部分関数としてマップを定義すると、すべてkeysと定義されます。

私はワークシートからサンプルをコピーしています。私はMapをPartialFunction に割り当て、同じことを示します。

val m = Map("a" -> 1, "b" -> 2, "c" -> 3, "d" -> 4) 
                //> m : scala.collection.immutable.Map[String,Int] = Map(a -> 1, b -> 2, c -> 3 
                //| , d -> 4) 
    val f2: PartialFunction[String, Int] = m  //> f2 : PartialFunction[String,Int] = Map(a -> 1, b -> 2, c -> 3, d -> 4) 


    m.isDefinedAt("d")        //> res5: Boolean = true 
    f2.isDefinedAt("e")        //> res6: Boolean = false 

ルックhereをご覧ください。

Answer 2

"暗黙の魔法"はありません。 List[T]は、単にPartialFunction[Int, T]のサブクラスである。