2

我认为这可能与无形库有关。

我正在使用无形将匿名类转换为闭包。这需要使用hlistedfromFnHListerAux特征。

我想要做的就是摆脱传入的虚拟函数，并在这个函数周围返回一个闭包，它具有与F. 如果没有异步执行的匿名类，这将很容易。有没有办法解决这个问题？

def async[F, A <: HList, R](
  shell: Shell,
  success: F,
  failure: FunctionTypes.Failure,
  dummy: F)(implicit h: FnHListerAux[F, A => R],
            u: FnUnHListerAux[A => R, F]): F =
{ (args: A) =>

  require(shell != null, "Shell cannot be null")
  require(shell.getDisplay() != null, "The shell must have a display")

  val display = shell.getDisplay()
  display.asyncExec(new Runnable() {
    def run(): Unit = {
      try {
        success.hlisted(args)
      } catch {
        case e: Throwable =>
          failure(e)
      }
    }
  })

  dummy.hlisted(args)
}.unhlisted
4

1 回答 1

3

我将从简化一点开始。假设我有一个函数f。我事先不知道它是什么，我也不关心它返回什么。我想用一些功能包装它并获得一个具有相同参数类型的函数。我也不关心这个结果函数返回什么，所以我不妨让它 return Unit。

您可以编写一堆（嗯，22 个）函数，如下所示：

def wrap[A](f: A => Unit): A => Unit = ???
def wrap[A, B](f: (A, B) => Unit): (A, B) => Unit = ???
def wrap[A, B, C](f: (A, B, C) => Unit): (A, B, C) => Unit = ???

但你不想。

Shapeless 绝对可以帮助您更通用地解决这个问题：

def wrap[F, A <: HList](f: F)(
  implicit h: FnHListerAux[F, A => Unit], u: FnUnHListerAux[A => Unit, F]
): F = { (args: A) =>
  println("Before!"); f.hlisted(args); println("After!")
}.unhlisted

这给了我们：

scala> def f(i: Int, s: String) { println(s * i) }
f: (i: Int, s: String)Unit

scala> val wf = wrap(f _)
wf: (Int, String) => Unit = <function2>

scala> wf(3, "ab")
Before!
ababab
After!

请注意，它f可能会返回除此之外的其他内容，Unit并且这仍然有效，因为 Scala 中的所有内容都是 aUnit并且FunctionN特征在其返回类型中是协变的。

将此方法应用于您的代码，我们得到以下结果：

def async[F, A <: HList](
  shell: Shell, success: F, failure: FunctionTypes.Failure
)(
  implicit h: FnHListerAux[F, A => Unit], u: FnUnHListerAux[A => Unit, F]
): F = { (args: A) =>
  require(shell != null, "Shell cannot be null")
  require(shell.getDisplay() != null, "The shell must have a display")

  val display = shell.getDisplay()
  display.asyncExec(new Runnable() {
    def run(): Unit = {
      try {
        success.hlisted(args)
      } catch {
        case e: Throwable =>
          failure(e)
      }
    }
  })
}.unhlisted

不需要dummy。

于 2012-07-18T09:39:47.863 回答