可序列化和 AnyVal

Question

我正在搜索一个方法的正确签名，该方法采用函数 func 和参数 arg，通过网络将它们复制到远程计算机并返回结果。目前的签名如下所示：

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

问题在于，如果参数不是可序列化的或 Java 的基本类型之一，则该方法会抛出 NotSerialized 异常。

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

type Func = (A => B) with Serializable

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

但现在不可能再传递 AnyVal 类型的参数，例如 Int， Float 或 Double 未显式实现可序列化。

方法签名应该如何设计，以使其仅接受可序列化对象或 AnyVal 类型的对象作为参数？

Answer 1

您可以使用带有自定义特征的隐式 上下文绑定 并提供隐式AnyVal 和 Serialized 到该特征的转换。

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.Serialized 提供了一些隐式参数，因此它将编译在那种情况下。

您可以将隐式定义粘贴到 Ser 的伴生对象中，以便它们在需要时可用。

然后，你的签名就变成：

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

Answer 2

使用 Serialized 作为参数类型在实践中是行不通的，因为您可能拥有实际上不可序列化的 Serialized 实例：

class NotSerializable(val s: String)

// ArrayList inherits Serializable
val list = new java.util.ArrayList[NotSerializable]()

list.add(new NotSerializable("test"))

// will fail at run time
serialize(list)

此外，Scala 集合特征不继承 Serialized （实现继承）。

def f(s: Serializable) { println(s) }

// will fail to compile, because interface List does not inherit Serializable
f(List("a", "b"))

// will print true because list implementation is Serializable
println(List("a", "b").isInstanceOf[Serializable])

可序列化是一个运行时属性，不能单独由类型强制执行。使用可序列化作为参数类型不会使您避免运行时序列化错误。您要做的就是让您的函数更难调用，就像您已经体验过 AnyVal 一样（这只是冰山一角）。