我正在搜索采用函数 func 和参数 arg 的方法的正确签名,然后通过网络将它们复制到远程计算机并返回结果。当前签名如下:

def invokeRemote[A,B](address: String, func: A => B, arg: A): B

这样做的问题是,如果参数不是可序列化的或Java的原始类型之一,则该方法将引发NotSerializable Exception。

我想出了以下解决方案来在编译时捕获此错误...
type Func = (A => B) with Serializable

def invokeRemote[A <: Serializable, B <: Serializable](address: String, func: Func, arg: A): B

...但是现在无法再传递类型 AnyVal 的参数,例如 Int Float Double ,它们没有明确实现Serializable。

该方法签名应看起来像这样,使其仅接受可序列化对象或类型为AnyVal的对象作为参数?

最佳答案

您可以使用带有自定义特征的隐式context bound,并为该特征提供AnyValSerializable的隐式转换。

trait Ser[M]

implicit def toSer1[T <: AnyVal]: Ser[T] = new Ser[T] {}
implicit def toSer2[T <: java.io.Serializable]: Ser[T] = new Ser[T] {}

def f[T: Ser](a:T): T = a
f(1)
// res2: Int = 1
f("123")
// res3: java.lang.String = 123
f(new Object)
// could not find implicit value for evidence parameter of type Ser[java.lang.Object]

编译器将根据类型查找隐式参数,并且由于为T <: AnyValT <: java.io.Serializable提供了一些隐式参数,因此它将在这种情况下进行编译。

您可以将隐式定义粘贴在Ser的伴随对象中,以便在需要时可用。

然后,您的签名将变为:
def invokeRemote[A:Ser, B:Ser](address: String, func: A => B, arg: A): B

10-08 07:13