Проблема неявных преобразований в scala 2.8 - PullRequest
Новая
       89

Проблема неявных преобразований в scala 2.8

8 голосов
/ 02 августа 2010

Я хочу написать неявное преобразование Tuple2 [A, B] в Seq [C], где C - супертип как A, так и B. Моя первая попытка выглядит следующим образом: 

implicit def t2seq[A,B,C](t: (A,B))(implicit env: (A,B) <:< (C,C)): Seq[C] = {
    val (a,b) = env(t)
    Seq(a,b)
}

Но этоне работает: 

scala> (1,2): Seq[Int]
<console>:7: error: type mismatch;
 found   : (Int, Int)
 required: Seq[Int]
       (1,2): Seq[Int]
       ^

Пока работает этот: 

class Tuple2W[A,B](t: (A,B)) {
    def toSeq[C](implicit env: (A,B) <:< (C,C)): Seq[C] = {
        val (a,b) = env(t)
        Seq(a,b)
    }
}
implicit def t2tw[A,B](t: (A,B)): Tuple2W[A,B] = new Tuple2W(t)

Вариант использования: 

scala> (1,2).toSeq
res0: Seq[Int] = List(1, 2)

Я понятия не имею, почему первое решение не 'т работает как положено. Scala версия 2.8.0.r22634-b20100728020027 (клиентская виртуальная машина Java HotSpot ™, Java 1.6.0_20).

1 Ответ

9 голосов
/ 02 августа 2010

Вам нужно использовать <:< только в том случае, если параметры, которые будут ограничены, уже связаны в окружающей области (как во второй попытке), поэтому в вашем случае достаточно 

implicit def t2seq[A <: C,B <: C,C](t: (A,B)) = Seq(t._1, t._2)

.

Я полагаю, что ваша первая попытка не сработала, поскольку она слишком сложна для логического вывода типа.

...