【发布时间】:2015-10-10 17:29:10
【问题描述】:
最近我偶然发现了一个 scalac 错误消息,抱怨两种类型不一样,尽管“基础类型”是相同的。无论错误及其细节如何,我都对这种“潜在类型”感到好奇。它是什么 ?
【问题讨论】:
最近我偶然发现了一个 scalac 错误消息,抱怨两种类型不一样,尽管“基础类型”是相同的。无论错误及其细节如何,我都对这种“潜在类型”感到好奇。它是什么 ?
【问题讨论】:
对于单例类型x.type,它是x 的类型。例如,如果您有val x: Int,则x.type 的基础类型为Int。
【讨论】:
x.type 的底层类型是Int... 因为x.type 的实际类型不是 Int?我对这里的区别感到很困惑。
x.type 不是Int。没有“x.type 的实际类型”,它可能是 Int,也可能不是。