Scala: order of definition for companion object vs case class

情到浓时终转凉″ 提交于 2019-12-04 16:11:49

问题


In Scala 2.9.1 I get the following behavior:

class Foo {
   case class X()
   object X            // this compiles

   def bar() {
      object Y         // this compiles
      case class Y()

      case class Z()
      object Z         // won't compile (see below)
   }
}

The compiler complains for Object Z: error: Z is already defined as (compiler-generated) case class companion object Z

It looks as if it is not permissible to define a companion object for a case class after the case class definition if they are within a function definition. Is this a compiler bug, or intentional? If the latter, why?


回答1:


This is a known bug: SI-3772: companions and method-owned case classes. This is partially fixed, but the OP's issue still remains. Vote it up if you want it fixed.




回答2:


The reason why the first is allowed and the second is not is that classes and objects can have forward definitions, but definitions cannot. So why it is possible for the compiler to mix object X with the one defined by the case class, it is not possible to do so in the second case.

I wonder what happens in the Y case: shadowing or the object companion does not get generated at all?



来源:https://stackoverflow.com/questions/8590665/scala-order-of-definition-for-companion-object-vs-case-class

易学教程内所有资源均来自网络或用户发布的内容,如有违反法律规定的内容欢迎反馈
该文章没有解决你所遇到的问题?点击提问,说说你的问题,让更多的人一起探讨吧!