Question

我不太明白为什么从Scala到JS值的隐式转换不能以这种方式工作：

import scala.scalajs.js
import scala.scalajs.js.JSConverters._

trait X extends js.Object {
  def map(f: js.Function1[Int, String]) = js.native
  def mapScala(f: Function1[Int, String]) = js.native // just for demo purpose, this is not really part of type X
  def create(maybe: js.UndefOr[Int]) = js.native
}

def test(x: X) {
  // I want these two lines to compile, but they don't
  x.map(a => "yo") // error: missing parameter type
  x.create(None) // error: type mismatch. Found None.type, required: js.UndefOr[Int]

  // This works, but is too verbose
  x.map((a: Int) => "yo") // only if arg type specified like this
  x.mapScala(a => "yo") // because mapScala expects a Scala Function1
  x.create(JSRichOption(None).orUndefined) // because value is manually converted
}

我是否尝试以错误的方式使用隐式转换？类X的实现是在Javascript中外部提供的。在我的代码中，我想将原生Scala值传递给X的方法，我不想每次都手动进行转换。

我知道Scala.js还有一种替代方法 - 皮条我的类型X like this，但我试图避免这种情况，因为它更多样板，并且会在更多的对象实例化运行时那种方式。无论如何，我仍然想了解为什么我的代码无法正常工作。

Answer 1

map调用不起作用的原因是Scala类型推理器的限制：它需要在查找隐式转换之前解析完整类型。但是，Scala 2.12就像Java一样带来了SAM treatement。粗略地说，这意味着您可以编写lambda而不是使用单个方法实现接口的匿名类。

所以x.map(a => "yo")会扩展为：

// Never (!) write this yourself.
x.map(new js.Function1[Int, String] {
  def apply(a: Int): String = "yo"
})

Scala.js编译器分别处理。您可以使用-Xexperimental标志在Scala 2.11中启用SAM处理。

create调用不起作用的原因是从Option[T]到js.UndefOr[T]没有隐式转换（在Scala.js标准库中）。是对JSRichOption[T]的隐式转换，它启用了orUndefined方法。你应该写：

x.create(None.orUndefined)

或者在这种情况下，你可以简单地写：

x.create(js.undefined)

Scala.js隐式转换不起作用......有时候？

1 个答案: