scala: прокачать мою библиотеку с помощью перегрузок

Есть идеи, почему следующее не работает?

implicit def listExtensions[A](xs : List[A]) = new ListExtensions(xs)
class ListExtensions[A](xs : List[A])
{
    def foreach[B](f: (A, Int) => B)
    {
        var i = 0;
        for (el <- xs)
        {
            f(el, i);
            i += 1;
        }
    }
}

var a = List(1, 2, 3);
a foreach { (el, i) => println(el, i) };

Когда я компилирую это с помощью fsc 2.8.1, я получаю следующую ошибку: «неправильное количество параметров; ожидалось = 1: a foreach {(el, i) => println (el, i)};». Я что-то делаю не так или просто нет способа добавить перегруженный метод с помощью трюка «прокачать мою библиотеку»?

P.S. Меня интересует не реализация вкуса foreach итерация с текущим индексом (я знаю о методе zipWithIndex), а скорее то, как работают вместе перегрузка и неявные преобразования.


scala implicit
person Eugene Burmako    schedule 18.12.2010    source источник
comment
возможный дубликат переопределения арифметических операторов в Int с помощью неявных преобразований   -  person Kevin Wright    schedule 19.12.2010

Ответы (3)


arrow_upward
10
arrow_downward

Компилятор никогда не пытается использовать неявное преобразование, потому что в List уже есть метод foreach. В частности, в разделе 7.3 спецификации языка Scala (http://www.scala-lang.org/docu/files/ScalaReference.pdf) говорится, что неявное преобразование применяется в двух случаях, причем второй случай относится к примеру :

В выборке e.m с e типа T, если селектор m не обозначает член T.

Кроме того, вы можете выполнить foreach с индексом, используя метод zipWithIndex.

scala> val a = List("Java", "Scala", "Groovy")
a: List[java.lang.String] = List(Java, Scala, Groovy)

scala> a.zipWithIndex.foreach { case (el, idx) => println(el + " at index " + idx) } 
Java at index 0
Scala at index 1
Groovy at index 2
person mpilquist    schedule 18.12.2010

arrow_upward
1
arrow_downward

Неявное преобразование сработает только тогда, когда вы попытаетесь использовать метод, которого нет в исходном типе.

В этом случае List имеет метод foreach, поэтому преобразование учитываться не будет. Но вы получите ошибку из-за несоответствия ожидаемой подписи.

person Kevin Wright    schedule 18.12.2010

arrow_upward
1
arrow_downward 

(a : ListExtensions[Int]) foreach { (el, i) => println(el, i) };

Или измените имя на foreachWithIndex

person IttayD    schedule 19.12.2010