2

这是有问题的代码。下面包括一些描述/解释

对象功能{
  导入 scala.reflect.Manifest
  私有 var 函数:List[(Manifest[_],Any,String)] = List()
  def add[T](desc: String,func: T)(隐式 m: Manifest[T]) {
    函数 ::= (m,func,desc)
  }

  def get[T]()(隐式 m : Manifest[T]): List[(T,String)] = {
    函数平面图 {
      case (t,f,s) => if (t <:< m) Some(f.asInstanceOf[T],s) else None
    }
  }

  def getInputs[T]()(隐式 m : Manifest[T]): List[(T => Any,String)] = {
  函数平面图 {
    case (t,f,s) => if (t <:< (T => Any)) Some(f.asInstanceOf[T => Any],s) else None
    }
  }

基本上我的目标是拥有一个函数列表,保留它们的类型(输入和输出),并能够根据它们作为输入和作为输出的内容来搜索特定函数。我开始相信,如果没有某种猴子补丁,这在 scala 中是不可能的,我想避免这种情况。

4

1 回答 1

4

你应该可以用shapeless做你想做的事HLists

示例 REPL 会话,

scala> import shapeless._
import shapeless._

scala> val f1 : String => Int = _.length
f1: String => Int = <function1>

scala> val f2 : Boolean => Boolean = !_
f2: Boolean => Boolean = <function1>

scala> val f3 : Int => String = "("+_+")"
f3: Int => String = <function1>

scala> val fs = f1 :: f2 :: f3 :: HNil
fs: (String => Int) :: (Boolean => Boolean) :: (Int => String) :: HNil =
  <function1> :: <function1> :: <function1> :: HNil

scala> val args = "foo" :: true :: 23 :: HNil
args: String :: Boolean :: Int :: HNil = foo :: true :: 23 :: HNil

scala> fs zipApply args
res0: Int :: Boolean :: String :: HNil = 3 :: false :: (23) :: HNil

请注意,函数的各个类型保存在 中HList fs,参数值的各个类型保存在 中args,并且结果的元素的zipApply类型由相应的函数和参数的类型适当地确定。

于 2012-08-13T16:10:36.190 回答