斯卡拉抽象类型问题

Question

我有一个简单的问题给你:) 我有下面的Scala代码，编译并给出错误。 其实我期待代码不被编译，因为它有一个抽象类型CT。而且这个错误更令人困惑，因为scala说它找不到类型CT。

class Currency { type ct=Currency } 
val c = new Currency 
println(c.ct) 

error: value ct is not a member of Currency

我感谢您的意见，

感谢， -A

PS - 使用凉亭2.7.7

Answer 1

仔细查看错误消息：“value ct不是货币的成员”。这里的“价值”很重要。货币具有类型成员ct，但不是值成员ct。所以c.ct是一种类型，而不是表达式。

Answer 2

在这种情况下类型CT是不是一个抽象的类型，但货币类型的简单类型别名。因此该表达式应该编译。

关于println表达式，您使用c.ct作为要打印的值（通过调用它的toString）。这是不正确的，因为c.ct不是一个值，而是一个类型（路径相关类型）。因此，涉及c.ct的有效（但有些无意义的）表达式可能是：

val a: c.ct = new Currency 

希望有所帮助。