Scala,访问特征中的抽象类型类
我正在 Scala 代码中试验隐式变量。我编写了以下示例代码,但不幸的是它无法编译。我想知道,有人知道这里缺少什么吗? (在 Linux 上使用 scala 2.8.0 和 SBT 0.7.4)
谢谢, 阿里
trait Feed
trait FeedFactory {
type T <: Feed
implicit val op_name = classOf[T].getCanonicalName
def create():T
def destroy(op:T)
}
Error: class type required but FeedFactory.this.T found
implicit val op_name = classOf[T].getCanonicalName
I am experimenting with implicit variables in my Scala code. I wrote the following sample code but unfortunately it fails to compile. I was wondering, does anybody know what is missing here ? (using scala 2.8.0 with SBT 0.7.4 on linux)
Thanks,
Ali
trait Feed
trait FeedFactory {
type T <: Feed
implicit val op_name = classOf[T].getCanonicalName
def create():T
def destroy(op:T)
}
Error: class type required but FeedFactory.this.T found
implicit val op_name = classOf[T].getCanonicalName
如果你对这篇内容有疑问,欢迎到本站社区发帖提问 参与讨论,获取更多帮助,或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱,如果其他用户或者作者回复了您的评论,将不能在第一时间通知您!
发布评论
评论(1)
类型 T 在编译时被遗忘(请参阅类型擦除)。但 scala 提供了通过编译保留类型的 Manifest。
这是更完整的解释。
type T is forgotten at compile time (see type erasure). But scala offers
Manifest
s that retain type through compilation.Here is a more complete explanation.