【发布时间】：2013-11-15 14:09:59
【问题描述】：
假设我有两组类，第一组继承自 Foo，第二组继承自 Bar。
class Foo
class Baz extends Foo
class Bar
class Qux extends Bar
我想创建一个通用的隐式转换函数，它可以将任何 Foo 转换为 Bar，因为范围内有一个隐式转换器类型。
trait Converter[A <: Foo, B <: Bar] {
def convert(a : A) : B
}
implicit object BazToQuxConverter extends Converter[Baz, Qux] {
def convert(a : Baz) : Qux = new Qux
}
implicit def FooToBar[A <: Foo, B <: Bar](a : A)(implicit converter : Converter[A, B]) : B = converter.convert(a)
不幸的是，这似乎没有像我期望的那样工作。当我将以下行插入 REPL 时：
val a : Baz = new Baz
val b : Qux = a
...我收到以下错误：
<console>:17: error: type mismatch;
found : Baz
required: Qux
val b : Qux = a
^
有没有办法让它工作？我能找到的最接近的是：
implicit def BadFooToBar[A <: Foo, B <: Bar](a : A)(implicit converter : Converter[A, _]) : B = converter.convert(a).asInstanceOf[B]
这确实适用于我之前的示例，但它不是很安全。
class Qax extends Bar
val a : Baz = new Baz
val b : Qax = a
这将编译得很好，但它会在运行时崩溃，因为Qux（converter.convert(a) 的结果）不能转换为Qax（asInstanceOf[Qax]）。理想情况下，我希望它能够在编译时捕获上述行，因为范围内没有任何 Converter[Bax,Qax]。
【问题讨论】：
-
你能看一下吗：stackoverflow.com/questions/19335385/… 这看起来很相似
-
该线程似乎是关于将转换链接在一起，我的问题只是关于两个泛型类型之间的隐式转换。不确定该线程中的任何内容如何适用于我的问题。
标签： scala generics type-conversion implicit