避免模​​式匹配中的类型擦除

问题描述

| 我正在尝试解决模式匹配中的类型擦除。假设：

import java.io._

trait Serializer[V] {
  def save(os: OutputStream,v: V): Unit
  def load(in: InputStream): V
}

trait HasSerializer[V] { def serializer: Serializer[V] }

如何在没有警告和没有

asInstanceOf

的情况下进行编译：

def test[V](os: OutputStream,v: V): Unit = v match {
  case hs: HasSerializer[V] => hs.serializer.save(os,v)
  case _                    => ???
}

？ a3ѭ是用映射中的值调用的，并且没有提供类清单的方法。 也许有任何奇特的提取技巧？     

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）