タイプシンボルとスカラ反射の関係

Question

スカラ反射は実際には複雑です。それはタイプシンボルとミラーを含んでいます。彼らの関係を教えてください。

Answer 1

Scala Reflection APIを使用する場合は、Java Reflection APIを使用した場合に慣れていたより多くのタイプに遭遇します。あなたはクラスの完全修飾クラス名を含むStringで始まるシナリオ例を考えると、これらはあなたが遭遇する可能性があるタイプです：

• Universe：Scalaは、両方のランタイムをサポートしており、時間の反射をコンパイルします。対応する宇宙からインポートすることによって、あなたが行っているリフレクションの種類を選択します。実行時のリフレクションでは、これはscala.reflect.runtimeパッケージに対応します。コンパイル時のリフレクションはscala.reflect.macrosパッケージに対応します。この答えは前者に焦点を当てています。

  Javaのように、どのClassLoaderのクラスを反映させるかを選択することで、リフレクションを開始するのが一般的です。 Scalaは現在のクラスのClassLoaderを使用するためのショートカットを提供します：scala.reflect.runtime.currentMirror、これはあなたにMirrorを与えます（ミラーについては後で詳しく説明します）。多くのJVMアプリケーションでは、単一のクラスローダしか使用しないため、これはScala Reflection APIの共通のエントリポイントです。 runtimeからインポートしているので、あなたは今その宇宙にいます。

• Symbols：シンボルには、あなたが反映したいものについての静的メタデータが含まれています。これにはあなたが考えることができるものがすべて含まれています：この事例クラス、フィールド、クラス、型パラメータ、抽象的なものなどです。現在のレキシカルスコープに依存する可能性のあるものは問いません例えば、どのクラスのメンバであるか。また、フィールドへのアクセスやメソッドの呼び出しなど、何らかの形で反映しているものとやりとりすることはできません。メタデータを照会するだけで済みます。

  クラスのメンバーはどのようにレキシカルスコープによって異なるのですか？単一のを持つ抽象クラスを想像してみてください。 fooという名前はdefにバインドされている場合があります（MethodSymbolをクエリする必要があります）、別のコンテキストのvalにバインドできます（TermSymbol）。シンボルで作業する場合、それは明示的にあなたが期待するシンボルの種類を述べることが一般的ですが、あなたは我々が始まっString例を続ける方法.asTerm、.asMethod、.asClassなど

  を介してこれを行います。 Mirrorを使用して、currentMirror.staticClass(myString)というクラスを表すClassSymbolを取得します。

• Types：Typesでは、現在のレキシカルコンテキストでシンボルが参照する型に関する情報を照会できます。典型的には、どのような変数、val、およびdefがあるかを照会し、タイプの関係を照会すること（たとえば、このタイプはそのタイプのサブクラス）に対して、通常Typeを使用します。 Typeを入手するには2通りの方法があります。 TypeSymbol（ClassSymbolはTypeSymbol）またはTypeTagです。

  この例を続けると、Typeを取得したシンボルの.toTypeメソッドが呼び出されます。

• Scopes：あなたは.membersや.decl - このためTypeを頼むときあなたの用語（VARSとヴァルス）と与えるものである方法を、あなたは現在のレキシカルスコープ内のメンバーのSymbolのリストを取得します。このリストは、タイプMemberScopeに保存されています。それはちょうど賞賛されたList[Symbol]です。

  上記の抽象クラスの例では、このリストには、現在のスコープに応じてfooという名前のTermSymbolまたはMethodSymbolが含まれます。

• Names：TermNameとTypeName：名前は2つの種類があります。それはちょうどStringのラッパーです。この型を使用して、Nameという名前のものを判別できます。
• Mirrors：最後に、ミラーは「何か」と対話するために使用するものです。通常、Symbolで始まり、そのシンボルを使用して、対話したいメソッド、コンストラクタ、またはフィールドのシンボルを派生させます。必要なシンボルがある場合は、currentMirrorを使用して、これらのシンボルのミラーを作成します。ミラーを使用すると、コンストラクター（ClassMirror）を呼び出したり、フィールド（FieldMirror）にアクセスしたり、メソッド（MethodMirror）を呼び出すことができます。反映されていることについてメタデータを照会するのに、ミラーを使用することはできません。

  // Do runtime reflection on classes loaded by current ClassLoader 
  val currentMirror: universe.Mirror = scala.reflect.runtime.currentMirror 
  
  // Use symbols to navigate to pick out the methods and fields we want to invoke 
  // Notice explicit symbol casting with the `.as*` methods. 
  val classSymbol: universe.ClassSymbol = currentMirror.staticClass("com.example.Foo") 
  val constructorSymbol: universe.MethodSymbol = classSymbol.primaryConstructor.asMethod 
  val fooSymbol: Option[universe.TermSymbol] = classSymbol.toType.members.find(_.name.toString == "foo").map(_.asTerm) 
  
  // Get mirrors for performing constructor and field invocations 
  val classMirror: universe.ClassMirror = currentMirror.reflectClass(classSymbol) 
  val fooInstance: Foo = classMirror.reflectConstructor(constructorSymbol).apply().asInstanceOf[Foo] 
  val instanceMirror: universe.InstanceMirror = currentMirror.reflect(fooInstance) 
  
  // Do the actual invocation 
  val fooValue: String = instanceMirror.reflectField(fooSymbol.get).get.asInstanceOf[String] 
  println(fooValue) // Prints the value of the val "foo" of the object "fooInstance" 
  

  ：だから、これは完全修飾クラス名を持つString与え、あなたは、フィールドを検索コンストラクタを呼び出し、valを読んでいました方法です、上記の説明を反映して一緒に例を置く