如果你读完了《Scala元编程:伊甸园初窥》,理论上你已经具备实现lombok.Data的能力了。
所以,我建议你不要阅读本文,直接自己尝试。
定义lombok.Data
的 Scala 版
@data
class A {
var x: Int = _
var y: String = _
}
我们希望通过@data
这个注解,自动生成如下代码:
class A {
var x: Int = _
var y: String = _
def getX(): Int = x
def setX(paramX: Int): Unit = { x = paramX }
def getY(): Int = x
def setY(paramY: String): Unit = { y = paramY }
}
为什么要生成这样的代码呢?就个人而言,我是为了在Spring Boot和Scala混合编写的项目中无缝地使用MyBatis。在使用Java时,我们可以很方便地使用lombok.Data生成我们所需的Getter和Setter。而在Scala生态中,已经有了case class,这种写法其实对于Pure Scala的程序员来说,是相当离经叛道的。
在用Scala和Java混合编程的时候,我觉得其实最重要的一点是选择。实现一个功能的方式可能有100(二进制哦)种,但是最适合的方式,永远只有一种。我选择了MyBatis,不采用元编程的手段(其实这段时间我刚刚学会),我是这样做的:
import scala.beans.BeanProperty
class A {
@BeanProperty var x: Int = _
@BeanProperty var y: String = _
}
用Vim列编辑,其实也还好。但是我内心其实一直在对自己说:DO NOT REPEAT YOURSELF。
参考实现
// ...
annottees.map(_.tree).toList match {
case q"""
class $name {
..$vars
}
""" :: Nil =>
// Generate the Getter and Setter from VarDefs
val beanMethods = vars.collect {
case q"$mods var $name: $tpt = $expr" =>
val getName = TermName("get" + name.encodedName.toString.capitalize)
val setName = TermName("set" + name.encodedName.toString.capitalize)
println(getName)
val ident = Ident(name)
List (
q"def $getName: $tpt = $ident",
q"def $setName(paramX: $tpt): Unit = { $ident = paramX }"
)
}.flatten
// Insert the generated Getter and Setter
q"""
class $name {
..$vars
..$beanMethods
}
"""
case _ =>
throw new Exception("Macro Error")
}
}
// ...
单元测试
上一篇元编程相关的文章实际上主要是为了强调构建,所以我贴了两次构建定义的代码。
test("generate setter and getter") {
@data
class A {
var x: Int = _
var y: String = _
}
val a = new A
a.setX(12)
assert(a.getX === 12)
a.setY("Hello")
assert(a.getY === "Hello")
}
lombok在IntelliJ Idea中有专门的插件,去处理Idea无法定位到的程序自动生成的Getter和Setter。如果我们只是为了让MyBatis能够识别和使用,我们就没有必要再去为我们的Scala版lombok.Data专门定制一个插件。在我们自己的代码中,没有必要使用Getter和Setter,因为Scala在语言级别已经支持了(如果你一脸懵逼,我建议你先阅读一下《快学Scala》和《Scala实用指南》的样章)。
test("handle operator in the name") {
@data
class B {
var op_+ : Int = _
}
val b = new B
b.setOp_+(42)
assert(b.getOp_+ === 42)
}
这个地方也涉及到了一个Scala相关的知识点,我记得在《快学Scala》中看到过。在参考实现中,与这个单测相关的代码是这两行:
val getName = TermName("get" + name.encodedName.toString.capitalize)
val setName = TermName("set" + name.encodedName.toString.capitalize)
这里就不展开了。
单元测试的风格
Scala项目的单测,我一直用ScalaTest,但是ScalaTest官网的例子给的是FlatSpec:
"A Stack" should "pop values in last-in-first-out order" in {
val stack = new Stack[Int]
stack.push(1)
stack.push(2)
stack.pop() should be (2)
stack.pop() should be (1)
}
大概是这种代码风格。我们需要在两个地方填入一些信息,有点烦人。所以,我推荐FunSuite这种风格:
test("A Stack pop values in last-in-first-out order"){
val stack = new Stack[Int]
stack.push(1)
stack.push(2)
stack.pop() should be (2)
stack.pop() should be (1)
}
我只需要填一句话,不需要考虑主语,对IDE也更加友好。
编译期与运行时
这是元编程里面两个特别重要的概念。广义上讲,实际上,这些概念都在试图提醒我们,注意一下是谁(那台机器上的那个进程)在运行我们的代码。
提交代码的时候,不小心忘记把调试用的println(getName)清理掉,索性就不去清理了。
使用sbt去运行我们的单元测试:
$ sbt
sbt:paradise-study> test
// 编译期开始
[info] Compiling 1 Scala source to $HOME/github/paradise-study/lombok/target/scala-2.12/test-classes ...
getX
getY
getOp_$plus
[info] Done compiling.
// 编译期结束
// 运行
[info] DataSuite:
[info] - generate setter and getter
[info] - handle operator in the name
[info] Run completed in 437 milliseconds.
[info] Total number of tests run: 2
[info] Suites: completed 1, aborted 0
[info] Tests: succeeded 2, failed 0, canceled 0, ignored 0, pending 0
[info] All tests passed.
[success] Total time: 4 s, completed 2019-1-1 16:15:43
小结
本文是Scala元编程的一个Case Study,完整的工程见:https://github.com/sadhen/par...。
最近几天刚刚学习Scala元编程,直觉告诉我,Scala元编程并不难,当然,这取决于相关的Domain Knowledge有没有提前储备好。