scala - 抽象类型益智游戏

Question

给定类 A 是:

class A {
  type R
}

为什么下面的代码会编译(也可以运行)？

val a = new A
println(a)

A 不应该是抽象的吗？

Answer 1

A 不是抽象的。如果它是抽象的，那么它看起来像:

abstract class A {
  type R
}

或

trait A {
  type R
}

现在，我在规范中找不到它(最近在里面找到东西的运气不太好)，但我以前见过。如果该类型没有被使用，那么它看起来好像没有被评估，这意味着缺乏它的完整性不是问题。

如果您真的希望 A 是抽象的，请改用上述定义之一。