Обновление: я изменил пример, чтобы его можно было скомпилировать и протестировать.
У меня есть неявный класс, который определяет метод обогащения:
case class Pipe[-I,+O,+R](f: I => (O, R));
object Pipe {
// The problematic implicit class:
implicit class PipeEnrich[I,O,R](val pipe: Pipe[I,O,R]) extends AnyVal {
def >->[X](that: Pipe[O,X,R]): Pipe[I,X,R] = Pipe.fuse(pipe, that);
def <-<[X](that: Pipe[X,I,R]): Pipe[X,O,R] = Pipe.fuse(that, pipe);
}
def fuse[I,O,X,R](i: Pipe[I,O,R], o: Pipe[O,X,R]): Pipe[I,X,R] = null;
// Example that works:
val p1: Pipe[Int,Int,String] = Pipe((x: Int) => (x, ""));
val q1: Pipe[Int,Int,String] = p1 >-> p1;
// Example that does not, just because R = Nothing:
val p2: Pipe[Int,Int,Nothing] = Pipe((x: Int) => (x, throw new Exception));
val q2: Pipe[Int,Int,String] = p2 >-> p2;
}
Проблема в том, что это не работает, когда R
равно Nothing
во втором примере. Это приводит к ошибке компилятора: в таком случае я получаю следующую ошибку компилятора:
Pipe.scala:19: error: type mismatch; found : Pipe[Int,Int,R] required: Pipe[Int,Int,String] val q2: Pipe[Int,Int,String] = p2 >-> p2;
Почему это происходит?
Мне удалось решить эту проблему, создав для этого случая отдельный неявный класс:
trait Fuse[I,O,R] extends Any {
def >->[X](that: Pipe[O,X,R])(implicit finalizer: Finalizer): Pipe[I,X,R];
}
protected trait FuseImpl[I,O,R] extends Any with Fuse[I,O,R] {
def pipe: Pipe[I,O,R];
def >->[X](that: Pipe[O,X,R]) = Pipe.fuse(pipe, that);
def <-<[X](that: Pipe[X,I,R]) = Pipe.fuse(that, pipe);
}
implicit class PipeEnrich[I,O,R](val pipe: Pipe[I,O,R])
extends AnyVal with FuseImpl[I,O,R];
implicit class PipeEnrichNothing[I,O](val pipe: Pipe[I,O,Nothing])
extends AnyVal with FuseImpl[I,O,Nothing];
Но могу ли я положиться на поведение Scala в будущем, что он не будет рассматривать Nothing
как вариант для R
? Если это изменится в будущем, код перестанет работать, потому что у меня будет два разных применимых имплицита.
Pipe.fuse(this, that)
не должно быть скорееPipe.fuse(pipe, that)
? - person ghik   schedule 09.03.2013B
? Кажется, это нигде не декларируется. - person ghik   schedule 09.03.2013Pipe.fuse
? - person ghik   schedule 09.03.2013Pipe.fuse
. На самом деле у меня есть два метода, один ->->
, а другой -<-<
дляfuse(pipe, that)
, я добавил еще один. Но на самом деле это не имеет отношения к проблеме с _5 _ / _ 6_. - person Petr   schedule 09.03.2013