我正在尝试使用
Scala的清单来实例化一个类型,并且当在具有视图绑定的类型上对该类型进行参数化时,我遇到了问题.我已将问题归结为以下代码:
class foo[X <% Ordered[X]]() {} def boo[T](implicit m : Manifest[T]) = { m.erasure.newInstance().asInstanceOf[T] } boo[foo[String]] java.lang.InstantiationException: foo at java.lang.Class.newInstance0(Class.java:357) at java.lang.Class.newInstance(Class.java:325) . . .
所以你可以看到我们有一个简单的类foo,它在X上参数化;这是由Ordered [X]限定的视图. boo函数只是尝试使用清单来实例化foo [String]的新实例.然而,当调用这个函数时,事情会非常糟糕,我得到的堆栈跟踪就像我展示的那样开始.当foo的类型参数不是视图有界时,实例化工作没有问题.我认为这与以下事实有关:视图绑定只是存在X =>的隐式转换的语法糖.订购[X],并且不知何故清单依赖于另一个清单导致问题.但是,我不知道发生了什么,或者更重要的是,如何解决它.这在Scala中是否可能,如果不是,人们如何实现类似的东西呢?
解决方法
newInstance仅在T具有无参数构造函数时才有效. foo没有.视图绑定<%(仅作为上下文绑定:)是构造函数中隐式参数的快捷方式. class foo [X<%Ordered [X]]与class foo相同(隐式freshName:X => Ordered [X]).缺少foo的无参数构造函数,newInstance失败.
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。