Was macht Predef.locally, und wie unterscheidet es sich von Predef.identity

Question

Wenn ich durch die Scala 2.8 Predef-Klasse schaue, finde ich, dass es eine Methode "lokal" gibt. Soweit ich das beurteilen kann, ist es dasselbe wie Predef.identity, abgesehen von der Annotation "@inline". Wofür ist es da und warum ist es wichtig genug, um in Predef zu sein (und somit überall in Scala nutzbar zu sein)?

Answer 1

Es wird hier diskutiert: http://www.scala-lang.org/node/3594

Die Idee, die Programmierer Fehler zu verwechseln einen ‚Schlenker‘ lokalen Block mit der Vorlage eines Objekt/Klasse/Merkmale zu vermeiden ist.

object test { 
    object a 
    { 
    val x = 1 
    } 

    object b 

    { // oops, extra newline disassociates this block with the object b 
    val x = 1 
    } 
} 
test.a.x 
//test.b.x // doesn't compile 

Wenn der Programmierer will wirklich, dass Block allein stehen, verwendet werden locally könnte:

object test { 
    object a 
    { 
    val x = 1 
    } 

    object b 

    locally { 
    val x = 1 
    } 
} 

Dieser Thread ist auch, dass der erste Code eine deprecation Warnung erzeugen würde, vorgeschlagen. Dies wurde noch nicht hinzugefügt.