- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
定义如下:
abstract class A {
type T
def print(p: T) = println(p.toString)
}
trait B extends A {
type T <: String
}
正如预期的那样,我们不能使用 T = Int
创建对象:
scala> val a = new A with B {type T = Int}
<console>:9: error: overriding type T in trait B with bounds >: Nothing <: String;
type T has incompatible type
val a = new A with B {type T = Int}
^
正如预期的那样,我们可以使用 T = String
创建一个对象:
scala> val a = new A with B {type T = String}
a: A with B{type T = String} = $anon$1@692dec
scala> a.print("test")
test
将我们的值 a
转换为类型 A with B
后,调用 print
方法时出现错误。似乎类型字段 T
丢失了有关类型 (?) 的信息。
scala> val b = a.asInstanceOf[A with B]
b: A with B = $anon$1@1927275
scala> b.print("test")
<console>:15: error: type mismatch;
found : java.lang.String("test")
required: b.T
b.print("test")
^
问题一:为什么转换后类型字段T
的信息丢失了?
好的,所以我们再试一次,明确地将类型字段 T
设置为 String
类型:
scala> val c = a.asInstanceOf[A with B {type T = String}]
c: A with B{type T = String} = $anon$1@1927275
scala> c.print("test")
test
好的,这很有效。
现在让我们尝试一些疯狂的事情:
scala> val d = a.asInstanceOf[A with B {type T = Int}]
d: A with T{type T = Int} = $anon$1@1927275
scala> d.print(3)
3
问题 2::嗯?特征 B
将类型 T
限制为 String 的子类型,但现在 print
方法适用于整数。为什么会这样?
最佳答案
问题 1 — “将我们的值 a 转换为带有 B 的类型 A 后,调用 print 方法时出现错误。” T
有哪些信息 Actor 后有吗?这正是 B
中的内容:
type T <: String
因此类型未知,只是它的上限。下面显示了为什么 print
调用A with B
被禁止:
trait X
trait Y extends X { def hallo() = () }
trait A {
type T
def test(t: T) = ()
}
trait B extends A {
type T <: X
}
val y = new A with B { type T = Y; override def test(t: T): Unit = t.hallo() }
y.test(new X {}) // refused -- rightfully
y.test(new Y {}) // ok
val yc = y: A with B // note how we can cast type safe this way!
yc.test(new X {}) // refused -- rightfully (would try to call inexistent 'hallo')
所以这是一个出现在逆变(方法参数)位置的类型会发生什么的问题。你有没有定义 B
通过缩小下限,即 type T >: X
, 可以调用 test
即使T
没有固定。
问题 2 — 当然可以。您可以使编译器允许使用类型转换进行任何调用。在你转换到 A with B {type T = Int}
之后,你强制编译器接受 T = Int
.现在 toString
您调用的方法是为 java.lang.Object
定义的,并且由于 A
的通用结构, 你的 Int
装在 java.lang.Integer
中,因此您在调用 toString
时不会遇到任何运行时问题.
但是认为你在这里做的事情是正确的是错误的。例如:
abstract class A {
type T
def print(p: T) = println(p.toString)
}
trait B extends A {
type T <: String
override def print(p: T) = println(p.toUpperCase) // !
}
val a = new A with B { type T = String }
val b = a.asInstanceOf[A with B { type T = Int }]
b.print(33) // bang -- runtime class cast exception
关于scala - 为什么类型字段的上限在转换后丢失(参见描述中的示例)?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/11286279/
我在 Ubuntu 10.04 LTS 上运行 Eclipse Galileo。今天 Ubuntu 在我身上崩溃了,重新启动后,我发现 Eclipse 已经完全失去了 Java Perspective
我使用配置了 sonata_user 的 SonataAdminBundle在 config.yml : sonata_user: impersonating: route:
我有 ubuntu 14.04 但它不见了 docker exec sudo docker exec -it ubuntu_bash bash 我希望在现有正在运行的 docker 容器中运行交互式
我正在使用 Ubuntu 8.04/32 位(作为虚拟机)。在一个不是 min 的项目上执行一些 make 时,我得到了错误: g++:/usr/lib/libstdc++.a: 没有这样的文件或目录
关闭。这个问题不符合Stack Overflow guidelines .它目前不接受答案。 我们不允许在 Stack Overflow 上提出有关通用计算硬件和软件的问题。您可以编辑问题,使其成为
我正在尝试获取有关我在 UIImagePicker 中选择的视频的一些数据。 因此,当它进入 UIImagePicker 委托(delegate)方法(如下)时,我知道我需要使用信息字典中的 UIIm
我的网站最近被可能的黑客行为删除了。我上传了备份的文件夹和数据库,但现在我的 View 没有显示。其他一切都有效。我想不出有什么变化,只是上传了几天前的备份。 这些字段在 admin/build/vi
我执行以下操作来设置我的 session ,这是有效的,因为 echo 出现了。但是当我转到下一页或另一页时, session 不存在吗?我做错了什么? $session_start(); if ($
我试图在 BigQuery 中使用这段代码,显然是从 GA 中获取数据,但 _TABLE_SUFFIX 似乎有问题。错误显示“错误:无法识别的名称:_TABLE_SUFFIX at [12:3]”您能
输入:8(2 5 6 9 10 2 7 4)预期输出:(2 7 9 9 12 5 7 6)实际输出:(2 7 9 9) 这是我的大学作业,也是我第一次在这里提问。我不知道为什么,但 10 没有扫描,有
$('div'); // 我在上面的代码中遇到错误。在检查 .js 代码时,我找不到名为 $ 的函数,但根据文档,应该有一个。 最佳答案 试试 http://ajax.googleapis.co
以下简单代码的输出对我来说有点奇怪。它错过了在控制台上打印的 0 到 100 之间的一些数字。 谁能解释一下为什么省略打印?我对并发编程完全陌生。 import java.util.concurren
我正在学习 xamarin 以构建移动应用程序,但我对 Xamarin 和移动应用程序一无所知。我打开了一个空白的移动应用程序,其中有“Hello world”示例并编辑了一些文本,但我的应用程序图标
我正在将一些值存储到 sqlite 数据库中。因此,数据是作为字符串从文本字段收集的,然后转换为 double 并持久化。 这是我试过的 NSDecimalNumber 答案; value.answe
我有一个奇怪的案例。突然,其中一个表中的一些记录(这么多记录)丢失了。首先,我认为这是由我的 PHP 脚本中的错误引起的。但是,我检查了一下,我的脚本中没有DELETE操作,只有UPDATE。有谁知道
我正在复制 NSString来自 NSDictionary进入本地NSString使用 [[NSString alloc] initWithString:] ,对其进行处理(删除一些字符),然后将其发
当保存在根文件夹中时,我的非常基本的 html 页面保持样式。为一个组创建了一个新文件夹,但是当我将页面移动到该文件夹时,它们似乎失去了与 css 文件的连接。 认为问题可能出在链接上,因为它现在
我需要使用 OpenCV 训练一些图像。但问题是,我找不到 opencv_createsamples 程序。我以正常方式安装了 OpenCV,因为我使用的是 Windows 7。这个 opencv_c
我有一个绑定(bind)到 JTable 的 ArrayList。之后 bindingGroup.unbind(); bindingGroup.bind(); (完成刷新数据)我丢失了表格单元格渲
所以基本上我们只是丢失了一个 keystore 和备份 keystore 。但是我们可能知道原始 keystore 的密码。 我的问题是,如果我们知道原始 keystore 的密码,我们可以重新生成
我是一名优秀的程序员,十分优秀!