Dlaczego pola klasy przypadku Scala nie są publiczne?

Question

Zawsze rozumiałem argumenty konstruktorów klas przypadków jako definiujące znaki publiczne.

Jednak, gdy odbijam pola, metoda isPublic jest fałszywa. Jakieś pomysły, dlaczego?

scala> class Test(val name : String, val num : Int) 
defined class Test 

scala> import scala.reflect.runtime.universe._ 
import scala.reflect.runtime.universe._ 

scala> val tpe = typeOf[Test] 
tpe: reflect.runtime.universe.Type = Test 

scala> def checkValVisibility(t : Type) = { 
    | t.members 
    | .filter(_.isTerm) 
    | .map(_.asTerm) 
    | .filter(_.isVal) 
    | .map(memb => "Val " + memb.name.toString.trim + " is public? " + memb.isPublic) 
    | .mkString("\n") 
    | } 
checkValVisibility: (t: reflect.runtime.universe.Type)String 

scala> checkValVisibility(tpe) 
res2: String = 
Val num is public? false 
Val name is public? false 

Answer 1

Powodem jest to, że rzeczywiste wartości, że zapytanie o num i name rzeczywiście są prywatne. W przypadku klas przypadków (i klas z publicznymi parametrami klasy) parametry klasy są implementowane jako prywatne pola z publicznymi akcesoriami (które są generowane automatycznie dla ciebie).

Jeśli chcesz użyć Scala refleksji do uzyskania symbol reprezentujący akcesor publicznego na danym obszarze, można po prostu zrobić:

scala> tpe.member("name": TermName) 
res02: reflect.runtime.universe.Symbol = value name 

Widać, że jest to publiczna accessor jeśli zrobić:

scala> tpe.member("name": TermName).isPublic 
res03: Boolean = true 

scala> tpe.member("name": TermName).isMethod 
res04: Boolean = true 

W Twoim przypadku odfiltrowałeś akcesory, pozostawiając tylko rzeczywiste pola (prywatne). Możesz zmienić swój kod z góry, aby osiągnąć to, co chcesz, zamiast sprawdzając z isAccessor (lub isGetter) zamiast isVal.

scala> def checkValVisibility(t : Type) = { 
    | t.members 
    | .filter(_.isTerm) 
    | .map(_.asTerm) 
    | .filter(_.isAccessor) 
    | .map(memb => "Val " + memb.name.toString.trim + " is public? " + memb.isPublic) 
    | .mkString("\n") 
    | } 
checkValVisibility: (t: reflect.runtime.universe.Type)String 

scala> checkValVisibility(tpe) 
res05: String = 
Val num is public? true 
Val name is public? true