[英]Scala: Triple Context Bounds, evidence parameters not found
我已將此問題編輯為@Zhi Yuan Wang回答的一個簡單形式的問題:
object ContBound {
def f2[A: Seq, B: Seq]: Unit = {
val a1: Seq[A] = evidence$1
val b2: Seq[B] = evidence$2
}
def f3[A: Seq, B: Seq, C: Seq]: Unit = {
val a1: Seq[A] = evidence$1
val b2: Seq[B] = evidence$2
val a3: Seq[C] = evidence$3
}
}
我收到以下錯誤:
not found value evidence$1
not found value evidence$2
type mismatch; found :Seq[A] required: Seq[C]
盡管在REPL中獲得了以下內容:
def f3[A: Seq, B: Seq, C: Seq]: Unit =
| {
| val a1: Seq[A] = evidence$1
| val b2: Seq[B] = evidence$2
| val a3: Seq[C] = evidence$3
| }
f3: [A, B, C](implicit evidence$1: Seq[A], implicit evidence$2: Seq[B], implicit evidence$3: Seq[C])Unit
智的遮陽棚是正確的。 編譯如下:
object ContBound {
def f2[A: Seq, B: Seq]: Unit = {
val a1: Seq[A] = evidence$1
val b2: Seq[B] = evidence$2
}
def f3[A: Seq, B: Seq, C: Seq]: Unit = {
val a1: Seq[A] = evidence$3
val b2: Seq[B] = evidence$4
val a3: Seq[C] = evidence$5
}
}
但是,我仍然不認為這是正確的行為,因為這是兩種不同方法的參數,通常允許方法重用參數名稱。
你有沒有嘗試過
def comma3[A: RParse, B: RParse, C: RParse, D](f: (A, B, C) => D): D =
expr match {
case CommaExpr(Seq(e1, e2, e3)) =>
f(evidence$3.get(e1), evidence$4.get(e2), evidence$5.get(e3))
}
因為證據$ 1已被
def comma3[]??
聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.