Jakie możliwości odbicia możemy oczekiwać od Scala 2.10?

Question

Scala 2.10 przynosi odbicie inne niż dostarczone JVM (lub myślę, że CLR).

Na co w szczególności powinniśmy patrzeć i jak będzie się poprawiać na platformie?

Na przykład, czy będzie istnieć klasa, która odzwierciedla przeliczalność języka między polami i metodami akcesorów, aby można było iterować po właściwościach obiektu?

Answer 1

aktualizacja 2012-07-04:

Daniel SOBRAL (również on SO) szczegóły w swoim blogu "JSON serialization with reflection in Scala! Part 1 - So you want to do reflection?" Niektóre z tych cech pochodzących z refleksji:

Reasumując, Scala 2.10 będzie przyjdź z biblioteką refleksów Scala.
Ta biblioteka jest używana przez sam kompilator, ale jest podzielona na warstwy przez the cake pattern, więc różni użytkownicy widzą różne poziomy szczegółowości, zachowując rozmiary słoików odpowiednie do użytku każdego z nich i, miejmy nadzieję, ukrywając niechciane szczegóły.

Biblioteka refleksyjna również integruje się z nadchodzącymi makro-obiektami, umożliwiając przedsiębiorczym programistom manipulowanie kodem w czasie kompilacji.

---

aktualizacja 2012-06-14. (od Eugene Burmako):
W Scala 2.10.0-M4, wydaliśmy nową odbicia API że najprawdopodobniej uczynić go 2.10.0 finału bez znaczących zmian.
Więcej szczegółów na temat interfejsu API można znaleźć:

• SO odpowiedzieć Get companion object instance with new Scala reflection API
• Scala Reflection SIP, June 2012 przez Martin Odersky (SIP, faktycznie "Scala Improvement Process")
• summary and migration route from M3

Ekstrakty:

UNIWERSA lustra teraz oddzielne jednostki:

• światy odbicia gospodarza artefaktów (drzew, symbole typów itp),
• lusterka streszczenie ładowania tych przedmiotów (np JavaMirror ładuje rzeczy przy użyciu modułu ładującego klasy i modułu do usuwania adnotacji, a narzędzie GlobalMirror używa wewnętrznego kompilatora classreader, aby osiągnąć ten sam cel).

odbicie Publiczne API jest podzielony na scala.reflect.base i scala.reflect.api.

• Pierwszy z nich reprezentuje minimalistyczną migawkę, która wystarcza do zbudowania reifikowanych drzew i typów na poziomie .
• Aby zbudować, ale nie analizować, wszystko inteligentne (na przykład uzyskanie podpisu typu) jest zaimplementowane w scala.reflect.api.

obu domenach odbicia mają własny wszechświat: scala.reflect.basis i scala.reflect.runtime.universe.

• Była to super lekki i nie wymaga żadnych classloaders,
• natomiast drugi przedstawia uproszczoną kompilatora.

---

odpowiedź początkowe, wrzesień 2011:

Można zobaczyć ewolucje pakietu odzwierciedlenia w Scala GitHub repo z tych dwóch bardzo niedawnych zobowiązuje:

• Changes to Liftcode to use new reflection semantics, where a compiler uses type checking.
• Started work on compiler toolbox that can compile reflect trees at runtime.

(Liftcode bytu, według this thread, ma na celu uproszczenie „pisania kodu, który zapisuje kod”)

Klasa scala/reflect/internal/Importers.scala (utworzony wczoraj!) Jest dobrym przykładem wykorzystania najnowszych funkcji tych refleksji.

Answer 2

dwa linki, które powinny być interesujące:

• SCALA-wewnętrzne mailing list discussion na API refleksji.
• Nocna kompilacja api doc dla 2,10-SNAPSHOT.

Osobiście mam nadzieję, że wykorzystam to do runtime odkrycia rozszerzeń (tj. Typu, który rozszerza znaną cechę) i generowania formularzy UI i kilka innych rzeczy z nich.

Answer 3

Przy obecnym 2.10M4 już można iteracyjne nad członków klasy:

reflect.runtime.universe.typeOf[MyClass].members.filter(!_.isMethod) 

Powyższy kod wymienia Symbol obiekty reprezentujące członków klasy MyClass które nie są metodami. Istnieje mnóstwo sposobów na dostrojenie tego.