- 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/
在一个环境中,我有 pandas 版本 0.17.0 和 numpy 版本 1.10.1。在另一个环境中,我有 pandas 版本 0.18.1 和 numpy 版本 1.10.4。 我运行这段代码
This question already has answers here: Default stringify for objects, equivalent to Java's toString
我一直在尝试为我的profile命令嵌入设置一个人们可以更改的简历。我认为它应该有效,但我的代码似乎有问题。 相关代码如下: const PREFIX = '!'; var bio = {}; cli
我正在尝试获取网站图标、网站标题和外部 URL 列表的描述,最好使用 jquery。我已经成功地为我的网址同步了谷歌的图标服务,任何人都可以阐明如何实现网站标题和描述吗?这是我到目前为止获得图标的内容
我在尝试运行代码时收到错误。找不到问题出在哪里。我可能遗漏了一些小细节,如果您能纠正它那就太好了。 计算Servlet import java.io.IOException; impo
我的数据库中有两个字段,一个是描述(TEXT),另一个是short_desc(VARCHAR-200)。 当我显示搜索结果时,我显然使用了short_desc,当有人点击该项目时,他们会得到完整的描述
当我尝试通过ajax和Jquery调用 Controller 上的save方法时,我正在使用Spring MVC、Jquery、Hibernate和tomcat。单击“保存”按钮时,我在 tomcat
我试图使用describe()来获取一些描述性统计数据,但获取了应该是数字的nan值。 我尝试使用 axis=0 或 axis=1,而 axis=1 产生了正确的数值,但这不是正确的数值我需要; ax
我有超过 1 亿个字符串要存储在文件系统中。与字符串 (~255Chars utf8) 一起,将有两个日期和一些定义其属性的整数值。 我可以将它们放在一个 CSV 文件中,但它会很大。我可以将几个较小
有没有办法将 JavaScript 合并到 Jenkins 顶部的描述字段中? 每当我添加脚本标签时,当您查看源代码时,它都会被 Jenkins 删除。 如果有人有建议或方向指出我,那就太好了。
您如何获得 SEH 的名称和/或描述?异常无需必须将字符串硬编码到您的应用程序中? 我尝试使用 FormatMessage(),但它有时会截断消息,即使您指定忽略插入也是如此: __asm { //
如果我在 MySQL 中使用 CREATE TRIGGER 语法创建一个触发器,我该如何附加注释来描述它?我的意思是在声明中或之后对我来说是一样的。 我想不通。对于表格,您可以在声明末尾添加 COMM
关闭。这个问题是opinion-based .它目前不接受答案。 想要改进这个问题? 更新问题,以便 editing this post 可以用事实和引用来回答它. 关闭 8 年前。 Improve
当开发多媒体应用或者游戏应用的时候,需要使用音量控制键来设置程序的音量大小。在Android系统中有多中音频流,通过Activity中的函数 setVolumeControlStream(int s
Slick DSL 允许通过两种方式在表中创建可选字段。 对于这个案例类: case class User(id: Option[Long] = None, fname: String, lname:
如果不属于默认命名空间,我如何描述 pod 信息。使用默认命名空间我没有任何问题。 但我想获得与命名空间对齐的特定 pod 的信息。 但是,当我想描述我可以制作的同一个 pod 时,请参阅 我尝试使用
在我使用过的几乎所有 vim 副本中,程序都会在替换文本后给出更改的描述。 (例如,将显示类似“20 行 92 个替换”之类的内容。) 我现在正在使用默认情况下不这样做的 vim 副本。 是否有一个简
我正在编写规范,需要描述一些 JSON 对象。单独的文本和选项卡往往会使大型 JSON 变得过于困惑。是否有任何在线(最好)工具可以创建类似于 http://www.json.org/ 上的图表的工具
我正在尝试通过 DNS 将我的 Kubernetes 部署连接在一起。 我有一个 Java (Spring Boot) 部署和一个 javascript (node.js) 部署,两者都通过默认的 C
我只是在学习 WebGL 图形编程。 我正在检查包含该语句的某人的代码 // multiply the position by the matrix. gl_Position = vec4((u_ma
我是一名优秀的程序员,十分优秀!