scala - 可序列化和 AnyVal

Question

我正在寻找一个接受函数的方法的正确签名 功能 和一个论点 arg ，通过网络将它们复制到远程计算机并返回结果。目前签名是这样的:

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

这样做的问题是，如果参数不是 Serializable 或 Java 的原始类型之一，则该方法会抛出 NotSerializable 异常。

我想出了以下解决方案来在编译时捕获此错误...

type Func = (A => B) with Serializable

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

...但现在不能再传递 类型的参数了AnyVal 喜欢 国际 , float 或 双没有明确实现可序列化。

方法签名应该如何看起来只接受 Serializable 对象或 AnyVal 类型的对象作为参数？

Answer 1

您可以使用 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