在试验密封特性时,我发现(令我惊讶的是)如果在一个文件中,我有这个代码
sealed trait Sealed trait SealedChild extends Sealed
在另一个文件中,我有
trait SealedGrandchild extends SealedChild
编译代码成功.
为什么SealedGranchild即使它在另一个文件中有密封的祖先类型也可以定义?除了明确声明SealedChild为sealed,有没有办法防止SealedChild扩展到定义它的文件之外?
| 归档时间: |
|
| 查看次数: |
97 次 |
| 最近记录: |