混淆斯卡拉動態代碼段

Question

我碰到下面的代碼片段來斯卡拉郵件列表：

scala> class DynamicImpl(x: AnyRef) extends Dynamic { 
    | def _select_(name: String): DynamicImpl = { 
    |  new DynamicImpl(x.getClass.getMethod(name).invoke(x)) 
    | } 
    | def _invoke_(name: String)(args: Any*) = { 
    |  new DynamicImpl(x.getClass.getMethod(name, args.map(_.asInstanceOf[AnyRef].getClass) : _*).invoke(x, args.map(_.asInstanceOf[AnyRef]) : _*)) 
    | } 
    | override def typed[T] = x.asInstanceOf[T] 
    | override def toString = "Dynamic(" + x.toString + ")" 
    | } 
defined class DynamicImpl 

scala> 

scala> implicit def toDynamic(x: Any): Dynamic = new DynamicImpl(x.asInstanceOf[AnyRef]) 
toDynamic: (x: Any)Dynamic 

scala> class Duck { 
    | def quack = "Quack!" 
    | } 
defined class Duck 

scala> class QuackingSwan { 
    | def quack = "Swack!" 
    | } 
defined class QuackingSwan 

scala> def makeQuack(d: Dynamic) { 
    | println(d.quack.typed[String]) 
    | } 
dynatype: d._select_("quack") 
makeQuack: (d: Dynamic)Unit 

scala> makeQuack(new Duck) 
Quack! 

scala> makeQuack(new QuackingSwan) 
Swack! 

scala> val s: Dynamic = "Hello, world!" 
s: Dynamic = Dynamic(Hello, world!) 

scala> s.toLowerCase 
dynatype: line8$object.$iw.$iw.s._select_("toLowerCase") 
res2: Dynamic = Dynamic(hello, world!) 

scala> s.length 
dynatype: line8$object.$iw.$iw.s._select_("length") 
res3: Dynamic = Dynamic(13) 

scala> s.isEmpty.typed[Boolean] 
dynatype: line8$object.$iw.$iw.s._select_("isEmpty") 
res4: Boolean = false 

什麼_select_和_invoke_這裏？

Answer 1

_select_和_invoke_表現得像紅寶石missing_method。如果在沒有實現該方法的動態實例上調用任何方法，則調用_select_或_invoke_。這兩種方法可以按照你的意願實現。

在您的示例中，他們使用反射來調用x成員的實際實現。例如：

scala> val s: Dynamic = "Hello, world!" 
s: Dynamic = Dynamic(Hello, world!) 

scala> s.toLowerCase 
dynatype: line8$object.$iw.$iw.s._select_("toLowerCase") 
res2: Dynamic = Dynamic(hello, world!) 

方法toLowerCase在s沒有定義。因此調用方法_select_而不是參數"toLowerCase"。然後動態機制將使用反射調用x.toLowerCase並將結果包裝到新的動態實例中。

_select_被調用爲沒有參數的任何方法，而_invoke_被任何帶參數的方法調用。