Любопытное сообщение об ошибке относительно последствий - PullRequest
Новая
       9

Любопытное сообщение об ошибке относительно последствий

6 голосов
/ 29 октября 2011 
scala> implicit def transitive[A, B, C](implicit f: A => B, g: B => C): A => C = f andThen g
transitive: [A, B, C](implicit f: A => B, implicit g: B => C)A => C

scala> class Foo; class Bar; class Baz { def lol = println("lol") }
defined class Foo
defined class Bar
defined class Baz

scala> implicit def foo2Bar(f: Foo) = new Bar
foo2Bar: (f: Foo)Bar

scala> implicit def bar2Baz(f: Bar) = new Baz
bar2Baz: (f: Bar)Baz

scala> implicitly[Foo => Baz]
<console>:14: error: diverging implicit expansion for type Foo => Baz
starting with method transitive in object $iw
              implicitly[Foo => Baz]

Как должно быть очевидно из приведенного выше кода, я пытаюсь написать метод, который при импорте в область действия делает неявные преобразования транзитивными. Я ожидал, что этот код будет работать, но удивительно, что это не так. Что означает указанное выше сообщение об ошибке и как заставить этот код работать?

1 Ответ

4 голосов
/ 29 октября 2011

Обновление: Как отмечено в комментариях, этот подход не компилируется на 2.8, и хотя implicitly[Foo => Baz] работает правильно, (new Foo).lol не работает.

Это прекрасно работает, если вы переименуете свой transitive в conforms, чтобы скрыть метод в Predef: 

implicit def conforms[A, B, C](implicit f: A => B, g: B => C): A => C = f andThen g

См. этот ответ для получения более подробной информации.

В качестве примечания: запуск REPL с -Xlog-implicits - это удобный способ получить более информативные сообщения об ошибках в подобных ситуациях. В этом случае сначала не так много помощи: 

scala> implicitly[Foo => Baz]
scala.this.Predef.conforms is not a valid implicit value for Foo => Baz because:
type mismatch;
 found   : <:<[Foo,Foo]
 required: Foo => Baz
<console>:14: error: diverging implicit expansion for type Foo => Baz
starting with method transitive in object $iw
              implicitly[Foo => Baz]
                        ^
scala.this.Predef.conforms is not a valid implicit value for Foo => Baz because:
type mismatch;
 found   : <:<[Foo,Foo]
 required: Foo => Baz
transitive is not a valid implicit value for Unit => Foo => Baz because:
not enough arguments for method transitive: (implicit f: A => B, implicit g: B => C)A => C.
Unspecified value parameter g.
transitive is not a valid implicit value for => Unit => Foo => Baz because:
not enough arguments for method transitive: (implicit f: A => B, implicit g: B => C)A => C.
Unspecified value parameter g.

Но если мы временно переписываем foo2Bar и bar2Baz как функции, мы получим сообщение об ошибке, которое подчеркивает неоднозначность: 

implicit val foo2Bar = (_: Foo) => new Bar
implicit val bar2Baz = (_: Bar) => new Baz

scala> implicitly[Foo => Baz]
transitive is not a valid implicit value for Foo => Baz because:
ambiguous implicit values:
 both method conforms in object Predef of type [A]=> <:<[A,A]
 and value foo2Bar in object $iw of type => Foo => Bar
 match expected type Foo => B

Теперь ясно, что нам просто нужно затенить conforms.

...