我正在搜索采用函数 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,并为该特征提供AnyVal
和Serializable
的隐式转换。
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 <: AnyVal
和T <: java.io.Serializable
提供了一些隐式参数,因此它将在这种情况下进行编译。您可以将隐式定义粘贴在
Ser
的伴随对象中,以便在需要时可用。然后,您的签名将变为:
def invokeRemote[A:Ser, B:Ser](address: String, func: A => B, arg: A): B