Scala: order of definition for companion object vs

问题:

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?