在Scala中,泛型类型参数可以与*function*定义一起使用吗？

Question

是否有一种语法允许在函数文字上使用泛型类型参数？我知道我可以用以下方法包装它:

def createLongStringFunction[T](): (T) => Boolean = {
  (obj: T) => obj.toString.length > 7
}

但后来我最终需要为每个类型T调用该方法并获得一个新函数.我查看了语言参考,虽然我看到函数文字语法由编译器转换为一个本身具有泛型输入类型的Functionn对象的实例,但看起来编译器魔术在创建时实现了这些参数.我还没有找到任何允许我实际上"保留Functionn的一个或多个类型参数未绑定"的语法.我更喜欢的是:

// doesn't compile
val longStringFunction: [T](T) => Boolean = (obj: T) => obj.toString.length > 7

有这样的事情吗？或者就此而言,当扩展方法具有通用参数时,eta扩展函数的显式类型是什么？

这是一个纯粹的人为和无用的例子.当然我可以在这里使用Any功能.

Answer 1

不,类型参数仅适用于方法而不适用于函数对象.例如,

def f[T](x: T) = x     //> f: [T](x: T)T
val g = f _            //> g: Nothing => Nothing = <function1>
// g(2)                // error
val h: Int=>Int = f _  //> h  : Int => Int = <function2>
h(2)                   //> res0: Int = 2

该方法f无法转换为多态函数对象g.如您所见,推断类型g实际上Function1[Nothing, Nothing]是无用的.但是,通过类型提示,我们可以构造h: Function1[Int,Int]出符合预期的Int参数.

Answer 2

正如你所说,在你的例子中,你所要求的只是toString方法,因此Any通常的解决方案.但是,需要能够在诸如应用类型构造函数(例如List元组中的每个元素)的情况下使用更高级别的类型.

正如其他答案所提到的那样,没有直接的支持,但有一种相对不错的编码方式:

trait ~>[A[_],B[_]] {
  def apply[X](a : A[X]) : B[X]
}

type Id[A] = A //necessary hack

object newList extends (Id ~> List) {
  def apply[X](a : Id[X]) = List(a)
}

def tupleize[A,B, F[_]](f : Id ~> F, a : A, b : B) = (f(a), f(b))

tupleize(newList, 1, "Hello") // (List(1), List(Hello))