object被当做单例，如果有伴生类的话，那它就是该类的伴生对象，可以作为类的公共静态方法和成员区
实际上，每一个具体对象，都有单例类型
实际上，每一个具体对象，都有单例类型
点击(此处)折叠或打开
-
object Scala
-
class Java1
-
class JVM { def method1: this.type = this }
-
class JVM_Language extends JVM { def method2 : this.type = this }
-
object Singleton_Type {
-
-
def main(args: Array[String]){
-
println(Scala.getClass) //class com.dt.scala.bestpractice.Scala$
-
println(typeOf[Scala.type]) //com.dt.scala.bestpractice.Scala.type，最原始的单例类型
-
-
val java = new Java1
-
val java2 = new Java1
-
println(typeOf[java.type]) //java.type，实例的type
- println(typeOf[java2.type]) //java2.type
-
-
//java是java.type单例类型的唯一实例;java2是java2.type单例类型的唯一实例
- //作为一个类的实例，它是单例唯一的，虽然背后的class一样，但是type不同。
-
//所有对象都有一个唯一的.type的单例类型
-
val content:java.type = java
-
// val content:java.type = java2
-
-
val jvm = new JVM_Language
-
println(jvm.method1) //com.dt.scala.bestpractice.JVM_Language@627a4489，返回具体子类实例
-
jvm.method1.method2 //this.type动态返回具体实例，该实例具有method2方法
-
}
-
- }
来自 “ ITPUB博客 ” ，链接：https://blog.itpub.net/28912557/viewspace-2059614/ ，如需转载，请注明出处，否则将追究法律责任。
上一篇：
Type与Class
下一篇：
Scala协变、逆变
请登录后发表评论
登录
全部评论
