`
wbj0110
  • 浏览: 1586862 次
  • 性别: Icon_minigender_1
  • 来自: 上海
文章分类
社区版块
存档分类
最新评论

Java + Scala

阅读更多

Javap

javap是JDK附带的一个工具,而不是JRE。它们之间还是有差别的。Javap反编译class文件,并且向你展示它里面放的是什么。使用起来很简单。

1
2
3
4
5
6
[local ~/projects/interop/target/scala_2.8.1/classes/com/twitter/interop]$ javap MyTrait
Compiled from "Scalaisms.scala"
public interface com.twitter.interop.MyTrait extends scala.ScalaObject{
    public abstract java.lang.String traitName();
    public abstract java.lang.String upperTraitName();
}

如果你想了解底层的话,你可以查看对应的字节码

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
[local ~/projects/interop/target/scala_2.8.1/classes/com/twitter/interop]$ javap -c MyTrait\$class
Compiled from "Scalaisms.scala"
public abstract class com.twitter.interop.MyTrait$class extends java.lang.Object{
public static java.lang.String upperTraitName(com.twitter.interop.MyTrait);
  Code:
   0: aload_0
   1: invokeinterface #121; //InterfaceMethod com/twitter/interop/MyTrait.traitName:()Ljava/lang/String;
   6: invokevirtual #17; //Method java/lang/String.toUpperCase:()Ljava/lang/String;
   9: areturn
 
public static void $init$(com.twitter.interop.MyTrait);
  Code:
   0: return
 
}

如果你在Java平台上有什么问题,你可以通过javap来排查。

从Java的角度来使用Scala的_class_需要注意的四个要点如下:

  • 类参数
  • 类常量
  • 类变量
  • 异常

我们来创建一个简单的scala类来展示这几个要点

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
package com.twitter.interop
 
import java.io.IOException
import scala.throws
import scala.reflect.{BeanProperty, BooleanBeanProperty}
 
class SimpleClass(name: String, val acc: String, @BeanProperty var mutable: String) {
  val foo = "foo"
  var bar = "bar"
  @BeanProperty
  val fooBean = "foobean"
  @BeanProperty
  var barBean = "barbean"
  @BooleanBeanProperty
  var awesome = true
 
  def dangerFoo() = {
    throw new IOException("SURPRISE!")
  }
 
  @throws(classOf[IOException])
  def dangerBar() = {
    throw new IOException("NO SURPRISE!")
  }
}

类参数

  • 默认情况下,类参数实际上就是Java里构造函数的参数。这就意味着你不能在这个class之外访问它们。
  • 把类参数定义成一个val/var的方式和下面的代码相同
1
2
3
class SimpleClass(acc_: String) {
  val acc = acc_
}

下面就可以通过Java代码来访问它们了。

常量(Val)

  • 常量(val)都会定义有对应的供Java代码访问的方法。你可以通过”foo()”方法来取得常量(val)“foo”的值。

变量(Var)

  • 变量(var)会多定义一个_$eq方法。你可以这样调用来设置变量的值:
1
foo$_eq("newfoo");

BeanFactory

你可以通过@BeanProperty注解来标注val和var。这样就会生成类似于POJO的getter/setter方法。假如你想要访问isFoo变量,使用BooleanBeanProperty注解。那么难以理解的foo$eq就可以换成:

1
2
setFoo("newfoo");
getFoo();

异常

Scala里没有受检异常(checked exception),但是Java里有。这是一个语言层面上的问题,我们这里不进行讨论,但是在Java里你对异常进行捕获的时候你还是要注意的。dangerFoo和dangerBar的定义里对这进行了示范。在Java里,你不能这样做。

1
2
3
4
5
6
7
8
// exception erasure!
// 异常擦除!
try {
    s.dangerFoo();
} catch (IOException e) {
    // UGLY
    // 非常丑陋
}

Java编译器会因为s.dangerFoo不会抛出IOException而报错。我们可以通过捕获Throwable来绕过这个错误,但是这样做没多大用处。

不过,作为一个Scala用户,比较正式的方式是使用throws注解,就像我们之前在dangerBar上的一样。这个手段使得我们能够使用Java里的受检异常(checked exception)。

延伸阅读

支持Java互操作的注解的完整列表在http://www.scala-lang.org/node/106

Trait

我们怎样可以得到一个接口和对应的实现呢?我们简单看看trait的定义

1
2
3
4
trait MyTrait {
  def traitName:String
  def upperTraitName = traitName.toUpperCase
}

这个trait有一个抽象的方法(traitName)和一个已实现的方法(upperTraitName)。对于这样的trait,Scala会生成什么样的代码呢?它会生成一个MyTrait接口,同时还会生成对应的实现类MyTrait$class。

MyTrait的实现和你猜想的差不多:

1
2
3
4
5
6
[local ~/projects/interop/target/scala_2.8.1/classes/com/twitter/interop]$ javap MyTrait
Compiled from "Scalaisms.scala"
public interface com.twitter.interop.MyTrait extends scala.ScalaObject{
    public abstract java.lang.String traitName();
    public abstract java.lang.String upperTraitName();
}

不过MyTrait$class的实现更加有趣:

1
2
3
4
5
6
[local ~/projects/interop/target/scala_2.8.1/classes/com/twitter/interop]$ javap MyTrait\$class
Compiled from "Scalaisms.scala"
public abstract class com.twitter.interop.MyTrait$class extends java.lang.Object{
    public static java.lang.String upperTraitName(com.twitter.interop.MyTrait);
    public static void $init$(com.twitter.interop.MyTrait);
}

MyTrait$class类只有一个静态的接受一个MyTrait实例作为参数的方法。这样给了我们在Java如何实现trait的一条线索。

首先要做的是:

1
2
3
4
5
6
7
8
9
10
11
12
13
package com.twitter.interop;
 
public class JTraitImpl implements MyTrait {
    private String name = null;
 
    public JTraitImpl(String name) {
        this.name = name;
    }
 
    public String traitName() {
        return name;
    }
}

然后我们会得到下面的错误:

1
2
3
4
[info] Compiling main sources...
[error] /Users/mmcbride/projects/interop/src/main/java/com/twitter/interop/JTraitImpl.java:3: com.twitter.interop.JTraitImpl is not abstract and does not override abstract method upperTraitName() in com.twitter.interop.MyTrait
[error] public class JTraitImpl implements MyTrait {
[error]        ^

我们_可以_自己来实现他们。不过还有一种更加诡异的方式。

1
2
3
4
5
package com.twitter.interop;
 
    public String upperTraitName() {
        return MyTrait$class.upperTraitName(this);
    }

我们只需要把相应的方法调用代理到Scala的实现上。并且我们还可以根据实际需要进行重写。

对象

在Scala里,是用对象来实现静态方法和单例模式的。如果在Java里使用它们就会显得比较怪。在语法上没有什么比较优雅的方式来使用它们,但是在Scala 2.8里就没有那么麻烦了。

Scala对象会被编译成一个名称带有“$”后缀的类。我们来创建一个类以及对应的对象(Object)。我们来创建一个类以及对应的伴生对象(companion object)。

1
2
3
4
5
6
7
8
class TraitImpl(name: String) extends MyTrait {
  def traitName = name
}
 
object TraitImpl {
  def apply = new TraitImpl("foo")
  def apply(name: String) = new TraitImpl(name)
}

我们可以通过下面这种奇妙的方式在Java里访问它:

1
MyTrait foo = TraitImpl$.MODULE$.apply("foo");

现在你也许会问自己,这究竟是神马?这是一个很正常的反应。我们现在一起来看看TraintImpl$内部究竟是怎么实现的。

1
2
3
4
5
6
7
8
local ~/projects/interop/target/scala_2.8.1/classes/com/twitter/interop]$ javap TraitImpl\$
Compiled from "Scalaisms.scala"
public final class com.twitter.interop.TraitImpl$ extends java.lang.Object implements scala.ScalaObject{
    public static final com.twitter.interop.TraitImpl$ MODULE$;
    public static {};
    public com.twitter.interop.TraitImpl apply();
    public com.twitter.interop.TraitImpl apply(java.lang.String);
}

其实它里面没有任何静态方法。相反,它还有一个静态成员叫做MODULE$。实际上方法的调用都是代理到这个成员变量上的。这种实现使得访问起来觉得比较恶心,但是如果你知道怎么使用MODULE$的话,其实还是很实用的。

转发方法(Forwarding Method)

在Scala 2.8里,处理Object会比较简单点。如果你有一个类以及对应的伴生对象(companion object),2.8 的编译器会在伴生对象里生成转发方法。如果使用2.8的编译器进行构建,那么你可以通过下面的方法来访问TraitImpl对象:

1
MyTrait foo = TraitImpl.apply("foo");

闭包函数

Scala最重要的一个特点就是把函数作为一等公民。我们来定义一个类,它里面包含一些接收函数作为参数的方法。

1
2
3
4
5
6
7
8
9
class ClosureClass {
  def printResult[T](f: => T) = {
    println(f)
  }
 
  def printResult[T](f: String => T) = {
    println(f("HI THERE"))
  }
}

在Scala里我可以这样调用:

1
2
val cc = new ClosureClass
cc.printResult { "HI MOM" }

但是在Java里却没有这么简单,不过也没有想象的那么复杂。我们来看看ClosureClass最终到底编译成怎样:

1
2
3
4
5
6
7
[local ~/projects/interop/target/scala_2.8.1/classes/com/twitter/interop]$ javap ClosureClass
Compiled from "Scalaisms.scala"
public class com.twitter.interop.ClosureClass extends java.lang.Object implements scala.ScalaObject{
    public void printResult(scala.Function0);
    public void printResult(scala.Function1);
    public com.twitter.interop.ClosureClass();
}

这个看起来也不是很可怕。”f: => T” 转换成”Function0″,”f: String => T” 转换成 “Function1″。Scala定义了从Function0到Function22,一直支持到22个参数。这么多确实已经足够了。

现在我们只需要弄清楚,怎么在Java去实现这个功能。事实上,Scala提供了AbstractFunction0和AbstractFunction1,我们可以这样来传参:

1
2
3
4
5
6
7
8
9
10
11
12
13
@Test public void closureTest() {
    ClosureClass c = new ClosureClass();
    c.printResult(new AbstractFunction0() {
            public String apply() {
                return "foo";
            }
        });
    c.printResult(new AbstractFunction1() {
            public String apply(String arg) {
                return arg + "foo";
            }
        });
}

注意我们还可以使用泛型来参数化参数的类型。

译文链接: http://www.importnew.com/6188.html

分享到:
评论

相关推荐

Global site tag (gtag.js) - Google Analytics