5

我正在尝试做一些我不确定 Scala 的类型系统是否允许我做的事情。

我基本上想从通用定义创建一个闭包并返回该闭包，同时在内部执行相同类型的函数。

例如：

val f = async[(str:String, i:Int, b:BigInt) => Unit]({ (String, Int, BigInt) =>
  // Code here...
})

// 'f' would have a type of (String, Int, BigInt) => Unit and would wrap the passed anonymous function

定义的理论示例：

  def async[T](
    shell: Shell,
    success: T,
    failure: (Throwable) => Unit): T = {
        new T {
          val display = shell.getDisplay()
          display.asyncExec(new Runnable() {
            def run(): Unit = {
              try {
                success(_)
              } catch {
                case e:Throwable =>
                  failure(e)
              }
            }
          })
        }
  }

这将允许我拥有一个为 SWT 创建异步回调的简单系统，同时将 SWT 排除在我的业务逻辑之外。

4

2 回答 2

9

您可以使用Shapeless库更通用地执行此操作。我们定义wrap如下：

import shapeless._, Functions._

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

然后可以像这样使用它：

scala> val sum: (Int, Int) => Int = _ + _
sum: (Int, Int) => Int = <function2>

scala> val wrappedSum = wrap(sum)
wrappedSum: (Int, Int) => Int = <function2>

scala> wrappedSum(100, 1)
Before f
After f
res0: Int = 101

这适用于任何数量的功能。

所以这在 Scala 中是可能的，尽管在没有 Shapeless 的情况下做类似的事情几乎肯定会让人头疼。

于 2012-07-16T05:10:25.580 回答
2

沿着这些思路怎么样：

scala> def wrap[T1, T2, T3, R](f: (T1, T2, T3) => R) = {
 |   (v1: T1, v2: T2, v3: T3) =>
 |     println("Before f")
 |     val r = f(v1, v2, v3)
 |     println("After f")
 |     r
 | }
wrap: [T1, T2, T3, R](f: (T1, T2, T3) => R)(T1, T2, T3) => R

scala> def foo(x: String, y: Int, z: BigInt) = (x, y, z)
foo: (x: String, y: Int, z: BigInt)(String, Int, BigInt)

scala> val wrapped = wrap(foo _)
wrapped: (String, Int, BigInt) => (String, Int, BigInt) = <function3>

scala> wrapped("foo", 42, 12345)
Before f
After f
res0: (String, Int, BigInt) = (foo,42,12345)

如果您要包装的函数可能有不同数量的参数，那么不幸的是，您必须为每个不同的参数定义一次包装函数:-(

于 2012-07-15T23:47:09.200 回答