2

セッター メソッドとゲッター メソッドをマクロとして実装するのに問題があります。次に例を示します。

Welcome to Scala version 2.10.2 (Java HotSpot(TM) 64-Bit Server VM, Java 1.7.0_25).
Type in expressions to have them evaluated.
Type :help for more information.

scala> :paste
// Entering paste mode (ctrl-D to finish)

import scala.reflect.macros.Context
import scala.language.experimental.macros

object ValueMacro {
  def getValueImpl[T](c: Context): c.Expr[T] = {
    import c.universe._
    c.Expr[T](Apply(Select(c.prefix.tree, newTermName("getVal")), Nil))
  }
  def setValueImpl[T](c: Context)(value: c.Expr[T]): c.Expr[Unit] = {
    import c.universe._
    c.Expr[Unit](Apply(Select(c.prefix.tree, newTermName("setVal")), List(value.tree)))
  }
}

object Module {
  def setVal(value: String): Unit = ???
  def getVal(): String = ???

  def value: String = macro ValueMacro.getValueImpl[String]
  def value_=(value: String): Unit = macro ValueMacro.setValueImpl[String]
}


// Exiting paste mode, now interpreting.

import scala.reflect.macros.Context
import scala.language.experimental.macros
defined module ValueMacro
defined module Module

scala> Module.value
scala.NotImplementedError: an implementation is missing
    at scala.Predef$.$qmark$qmark$qmark(Predef.scala:252)
    ...
    at scala.tools.nsc.MainGenericRunner.main(MainGenericRunner.scala)


scala> Module.value = "???"
<console>:11: error: reassignment to val
       Module.value = "???"
                ^

ゲッターは機能しますが、セッターは機能しません。奇妙なエラーが発生します。

ふと、こんなことに気がつきました。モジュールに getVal() が存在しない場合

scala> Module.value
<console>:15: error: value getVal is not a member of object Module
              Module.value
                     ^

scala> Module.value = "???"
<console>:17: error: value getVal is not a member of object Module
val $ires2 = Module.value
                    ^
<console>:14: error: value getVal is not a member of object Module
       Module.value = "???"
              ^

Module.value = "???"セッターとして読み取られなかったようです。

私の間違いですか？これを修正する方法は？

4

1 に答える 1

3

ははは、いいですね！マクロに関するおかしな小さなバグはすべて見つかったと思っていましたが、そうではないようです。あなたに代わってバグを作成しました: https://issues.scala-lang.org/browse/SI-7617。

于 2013-06-27T14:26:55.600 に答える