Scala Reflection: Как перечислить все переменные в области?

Question

Как я могу перечислять имена и/или значения всех «переменных» (а не только vars) в области/окружении/привязке?

Чтобы уточнить, в середине программы/сценария или в какой-то момент в REPL, мне нужно либо (1) создать список, либо (2) распечатать список всех объектов, к которым может обратиться Scala заявление.

Answer 1

Это невозможно сделать во время выполнения - по крайней мере, не так, как вы хотите, потому что JVM не организован как гигантская таблица символов, обновленная после каждого состояния, которую вы можете запросить в любое время, и найти имена объектов , как вы их называете (и я думаю, что это верно для языков и сред).

Вы можете попробовать запросить то, что действительно организовано в виде таблицы, подобно методам класса/интерфейса, но вы должны знать полное имя класса до, выполнив запрос. Чтобы дать вам быстрый пример, как работает загрузка классов, JVM даже не может перечислять, какие классы вы можете создавать, потому что новые могут быть созданы «на лету» или получены из какого-то репозитория. Возьмем еще один пример: import не существует даже во время выполнения ...

Необходимо ограничить Ваши требования. Например, если вы настроите таргетинг на REPL, вы можете (но усилие будет огромным), чтобы изменить его, чтобы испортить его внутренние структуры данных. Аналогично, если вы нацеливаете скрипт и имеете доступ к источникам, теоретически можете модифицировать компилятор с помощью плагина, который выполняет необходимую работу. Будьте предупреждены, что я только упомянул об этих вещах, но никогда бы не подумал о том, чтобы сделать такое, потому что это потребует больших усилий, и я не вижу реальной потребности.

Answer 2

Вопрос может рассматриваться в широком смысле, но, например, РЕПЛИ имеет некоторую поддержку javax.script с контекстными привязками:

$ scala 
Welcome to Scala version 2.11.2 (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_11). 
Type in expressions to have them evaluated. 
Type :help for more information. 

scala> val e = $intp.asInstanceOf[javax.script.ScriptEngine] 
e: javax.script.ScriptEngine = scala.tools.nsc.interpreter.ILoop$ILoopInterpreter@2b71fc7e 

scala> e.getContext 
res0: javax.script.ScriptContext = javax.script.SimpleScriptContext@63c12fb0 

scala> e.getContext.getScopes 
res1: java.util.List[Integer] = [100, 200] 

scala> e.getContext.getBindings(100) 
res2: javax.script.Bindings = {} 

И сама РЕПЛ держит сферу охвата, которая может быть запрошена, представляющей историю тока сеанс, который автоматически импортируется в текущую строку скрипта:

scala> $intp.replScope 
res3: $intp.global.Scope = Scopes(value $intp, value e, value res0, value res1, value res2) 

Это также можно осуществить механизм завершения Repl в:

scala> :power 
** Power User mode enabled - BEEP WHIR GYVE ** 
** :phase has been set to 'typer'.   ** 
** scala.tools.nsc._ has been imported  ** 
** global._, definitions._ also imported ** 
** Try :help, :vals, power.<tab>   ** 

scala> reader.completion 
res4: scala.tools.nsc.interpreter.Completion = scala.tools.nsc.interpreter.JLineCompletion@68b7bdcb 

scala> res4.completer.complete("",0) 
res6: scala.tools.nsc.interpreter.Completion.Candidates = Candidates(0,List($intp, $ires0, $ires1, $ires10, $ires11, $ires12, $ires13, $ires14, $ires15, $ires16, $ires17, $ires18, $ires2, $ires3, $ires4, $ires5, $ires6, $ires7, $ires8, $ires9, $r, AND, BLOCK, CASE, DEFAULT, FALSE, IF, LIT, NEW, NOT, NULL, REF, SOME, SelectStart, TRUE, TRY, UNIT, ZERO, analyzer, classOf, completion, e, fn, global, history, intp, isettings, lastRequest, mkTreeFromSelectStart, mkTreeMethods, mkTreeMethodsFromSelectStart, mkTreeMethodsFromSymbol, nullSafe, phased, power, r, reader, repl, replImplicits, res0, res1, res2, res3, res4, returning, scala$tools$nsc$ast$TreeDSL$CODE$$$outer, treedsl, typed, typer, vals)) 

scala> 

Одна вкладка в консоли REPL предлагает функцию автозаполнения, которая здесь показывает все барахло в моей текущей директории, которая находится на пути к классу по умолчанию:

$ scala 
Welcome to Scala version 2.11.2 (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_11). 
Type in expressions to have them evaluated. 
Type :help for more information. 

scala> 
$intp   broken   enumtest  inheritthewind maker   oracle  sbtbomb    thingy   
P    bumper   erased   inlined   mangled   orelse  scala    throwgen  
Q    butwhen   exh   inliner   mapeach   org   scallop    thrownull  
SO22581163  bytype   eyeshadow  inner   maqicode  othercase  scrap    tiles   
_root_   callbacks  fany   inputcheck  matchprim  out   scripts    timezone  
a    capture   featureless intcake   maybeamb  overdone  searchme   tmp    
abjectfuture cce    ff    interp   maykov   overnullary selfpub    toString  
absval   cdtest   fielding  interpat   metamac   pathmaker  seqto    tops   
adaptation  charmatch  filloval  intpbind   mkarray   peasy   serialmigration  trial   
akka   choosy   filrdr   intupolated  mksym   pet   serious    tribool   
algedu   classOf   findwidgets invokeFrom  modtest   petconfig  shapelessed   tricks   
angeldance  classmatch  finf   isInstanceOf  myanno   phyl   simple-swing  trivial   
annee   classy   fixedimp  isanon   mydays   pickit  singleton   tryxform  
annie   cmpprs   fixes   isfun   myintp   pimpin  slider    tstest   
annoconst  coltfred   fixme   isscala   mypkg   pkginvoke  slow    typeref   
annot   com    flib   java    mypriv   plugincp  smtest    tztest   
anymember  compilit   foodir   javafx   nestedmain  plugs   sobral    unapplynull  
anything  convprs   fooplus  javax   netscape  pointers  somatch    unavail   
applied  copier   for29   jbyte   newfrom   pointopt  some_package  unensured  
arrow   corner   formac   jdk    nextcompleted pos   sortitout   unused   
asInstanceOf counted   ftw   jex    niolock   poster  sounds    updater   
atrait   countints  funk   jext    noany   pow   specbug    valdef   
autoenum  cr    funkstr  jline   noapp   preferthunk speck    vec    
auxctor  ctag    futfilter  jmap    nodep   prettycase splitat    version   
bad-scales  curtest   futuremap  jover   nofeature  primover  stale    vowelshift  
badXlint  cyclic   fval   jperms   nofuture  printer  statik    w    
badaccess  dbadd   gline   junk    noimp   privctor  str2int    warnadapt  
badbob   default-tparam global   k    noinline  privover  strtyp    weakerr   
badgeneric  delayed   goodbye  kcharex   nointerp  procked  structural-return welper   
badimp   delayedsignal gr    keptstar   nonl   protcase  stupid    whose   
badinherit  delineate  grapher  kmap    norec   protval  succinctly   widgets   
badmap   demoapi   groupby  lazyparadox  nosehorn  publicity  sun     wrappedarray 
badmatch  dep    guiced   lazyside   nothingannot q    superduper   wtf    
badover  doc    guy   lazysplit  ns    qqparms  sxema    x    
badoverride dockable   halfinterval lib    nts    quickly  syncd    xmladd   
badpath  dosth   here   liner   nullgroup  quoterep  syshook    xmlex   
badpkg   doublearrow  hidden   linetest   nullpair  rawj   t1     xmlregex  
badseal  dummyonly  hiddenimport linted   nulltype  raws   t1807    xmlreplace  
badstrimp  dynospec   id    linty   nummaker  reader  t5148    xmlsub   
badvargs  earlier   imparted  lit    off    reflectenum t5589    xmlt   
badvol   eatery   imparter  littlecake  oiler5   replslow  t7121    xxx    
bigmethod  email   impctx   looker   old-and-blue repro   t7775    zed    
binder   empty   impless  lookit   oldname   required  t8433        
biterpolator emptypackage  impmag   lookup   om    sample-foo tabpane        
blocking  enclosing  imptest  loopy   oneq   samplewarn taggedparam       
blownfuture enclosingcls  imptrait  macinfer   oops   saver   target        
bounded  enpatch   include  macvar   optdate   sbt-test  teachers       

scala>