类似于C++模板,可以在Scala中编写通用的返回类型吗?

更新:

实际上,你可以做得更好 将 帮助您:

def boff[T,R](y: T)(implicit e: T <:< {def foo(x: Double): R}) = e(y).foo _

为了 baz ,相同的技术将改进类型推断:

def baz[T,R,V]( x:T, y:V )(implicit e: V <:< (T => R)) = e(y).apply( x )

scala> baz(1, (i: Int) => i+1) 
res0: Int = 2

你可以通过咖喱做得更好:

def baz[T,R](x: T)(f: T => R) = f(x)

第一种解决方案:

类型推理器不会提供 T 为您键入,但您可以:

class Boff[T] {
   def apply[R](y: T)(implicit e: T <:< {def foo(x: Double): R}) = e(y).foo _
}
object boff { 
   def apply[T] = new Boff[T]
}

斯卡拉和C++之间的根本区别是Scala中的每个类都被编译一次,然后就变成了可用的任何依赖于它的任何东西,而C++中的模板类必须为每一个新的依赖关系编译。

所以,事实上,C++模板生成 N个 编译的类,而Scala只生成一个。

它不能在编译时推断出实际的返回类型吗?

因为它必须在编译类时决定,这可能与编译其使用时不同。

为了 foo :

def foo[R,T<:{def foo():R}]( arg:T ) = ...

万一 baz ,你这么说 V 必须是来自的函数 T 对某种类型。此类型不能出现在结果类型中:您如何编写它?所以编译器只能推断结果类型是 Any . 但是,如果你给它起个名字,你会得到

scala> def baz[T,R,V<:Function1[T,R]]( x:T, y:V ) = y( x )
baz: [T,R,V <: (T) => R](x: T,y: V)R