Re: [問題] scala 的 <:<

看板PLT (程式語言與理論)作者PkmX (阿貓)時間12年前 (2013/01/22 20:22)推噓2(2推 0噓 0→)

留言2則, 2人參與討論串2/2 (看更多)

※ 引述《mRiver (月河)》之銘言： : 請問 scala 的 <:< 是怎麼工作的？ : 我看 scala in depth 裡面 P.157 的 peek 範例， : 無法理解編譯器是如何提供 implicit 參述給 peek : 編譯器會自動推導 conforms 的參數嗎？ : 謝謝 import Predef.{<:< => _, conforms => _, _} sealed abstract class <:<[-From, +To] extends (From => To) implicit def conforms[T]: T <:< T = new (T <:< T) { def apply(x: T): T = x } case class Foo[A](a: A) { def fn(implicit evidence: A <:< CharSequence) = a.length } scala> Foo("kerker").fn res0: Int = 6 scala> Foo(1).fn error: could not find implicit value for parameter evidence: <:<[Int,CharSequence] Foo(1).fn ^ 以上是簡易版的<:<的定義，當我們呼叫Foo[A].fn時， scala會想辦法找一個type為A <:< CharSequence的implicit value，假設我們呼叫：Foo("kerker").fn，這時候A的型態為String，也就是要找型態為String <:< CharSequence的implicit value，這裡唯一eligible的只有conforms[T]，型態為T <:< T，因此我們有： T <:< T String <:< CharSequence 這時候有兩個可能：[T = String] or [T = CharSequence] T = String conforms[String]是一個可被視為type為String <:< String的implicit value，由於<:<中定義第二個參數To為covariant，所以String <:< String也是一個String <:< CharSequence，這樣compiler就找到A <:< CharSequence存在的證據(evidence)了 T = CharSequence conforms[CharSequence]可被視為type為CharSequence <:< CharSequence，而<:<定義From為Contravariant，所以CharSequence <: CharSequence也可當作String <:< CharSequence用，這樣兩個方式都能成功，不過基本上compiler只要找到任意一個就可以了然後因為<:< extends =>，相當於提供一個implicit conversion，所以在fn裡面就可以把a當作CharSequence來用，也就可以呼叫a.length 希望這樣解釋你能理解 (附錄：<:< in Predef.scala http://goo.gl/qyBQa) -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.113.235.102 ※ 編輯: PkmX 來自: 140.113.235.102 (01/22 20:23)