java 内嵌scala_特性：Scala与Java之间的互操作,从Java访问val

假设这个简单的特征.暴露val x的特征.由于x的初始化成本非常高,因此我选择val x = …而不是def x = …

trait ScalaTrait {

self =>

val x: Int = SomeVeryExpensiveOperation.do()

}

现在,实现该特征的Java类怎么样.我当然必须在Java类中使用公共方法来实现val x.但这很重要：因为public方法和我的trait的val x具有相同的名称,所以我不能仅仅委托给trait实现：

class JavaClass imlements ScalaTrait {

@Override

public x() {

/* I can't hand over this call to x() of the trait,

since this would be a recursive call inside the Java class itself*/

return x();

}

}

我的问题是方法x()中到底应该放什么？

或者,我可以为该私有val x字段提供一个公共def访问器.像这样：

trait ScalaTrait {

self =>

private val _x: Int = SomeVeryExpensiveOperation.do()

def x = _x

}

但是仍然,无论私有访问修饰符如何,我现在都必须在我的Java类中实现该私有val _x.我该如何工作？为什么我的Java类必须首先实现private val字段？

解决方法:

您真的不想要这样做.您将不得不深入研究Scala如何实现mixin并手动在Java中重新实现它.

这是一个简单的示例,全部在Scala中进行：

trait X {

val x = 5

}

class Y extends X

我们可以使用scalac -Xprint：mixin在Scala编译过程中获得一个中间阶段,该阶段显示了Scala为实现Y所做的工作：

[[syntax trees at end of mixin]] // test20.scala

package {

abstract trait X extends Object {

def X$_setter_$x_=(x$1: Int): Unit;

def x(): Int

};

class Y extends Object with X {

def x(): Int = Y.this.x;

private[this] val x: Int = _;

def X$_setter_$x_=(x$1: Int): Unit = Y.this.x = x$1;

def (): Y = {

Y.super.();

X$class./*X$class*/$init$(Y.this);

()

}

};

abstract trait X$class extends {

def /*X$class*/$init$($this: X): Unit = {

$this.X$_setter_$x_=(5);

()

}

}

}

您必须用Java手动实现所有有关Y的东西.您需要定义字段(x),访问器方法(也x),setter方法(X $_setter_ $x_),并将调用放入构造函数中的X $class.$init $.

标签：scala,traits,interop,java

来源： https://codeday.me/bug/20191121/2053457.html