Scala: ordine di definizione per oggetto associato vs classe caso

Question

In Scala 2.9.1 ottengo il seguente comportamento:

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) 
    } 
} 

Il compilatore si lamenta per Object Z: errore: Z è già definito come (generato dal compilatore) Oggetto compagno della classe case Z

Sembra che non sia consentito definire un oggetto companion per una classe case dopo la definizione della classe case se si trova all'interno di una definizione di funzione. È un bug del compilatore o intenzionale? Se quest'ultimo, perché?

Answer 1

Questo è un bug noto: SI-3772: companions and method-owned case classes. Questo è parzialmente riparato, ma il problema dell'OP rimane ancora. Votalo se lo vuoi aggiustato

Answer 2

Il motivo per cui il primo è consentito e il secondo no è che le classi e gli oggetti possono avere definizioni in avanti, ma le definizioni non possono. Quindi, perché è possibile che il compilatore mischi object X con quello definito dalla classe case, non è possibile farlo nel secondo caso.

Mi chiedo cosa succede nel caso Y: lo shadowing o l'oggetto companion non viene generato affatto?