并非在所有情况下都强制实施类型别名参数边界

Question

TL；DR:似乎类型别名的类型参数(例如< code>type T[X

考虑一个旨在表示泛型类型子集的类型别名。例如，让我们说我想要一个用于Serializable事物列表的类型：

scala> type SerializableList[T <: Serializable] = List[T]
defined type alias SerializableList

现在假设我想要一个带有以下参数的case类：

scala> case class NetworkDataCC(things: SerializableList[_])
<console>:9: error: type arguments [_$1] do not conform to type SerializableList's type parameter bounds [T <: Serializable]
   case class NetworkDataCC(things: SerializableList[_])

好吧，这不起作用。Scala（令人讨厌的）不带有类型的参数边界，但它很容易修复：

scala> case class NetworkDataCC(things: SerializableList[_ <: Serializable])
defined class NetworkDataCC

好。看起来不错。现在，如果我只想要一个包含这些东西的常规类，但我再次忘记显式声明类型边界，该怎么办？我预计会出现错误：

scala> class NetworkData(val things: SerializableList[_])
defined class NetworkData

哦，等等。无错误...哼。

那么，现在我可以这样做了吗？

scala> new NetworkData(List(1))
res3: NetworkData = NetworkData@e344ad3

嗯，那好像很破。case类当然工作正常(因为声明了限制):

scala> NetworkDataCC(List(1))
<console>:11: error: type mismatch;
 found   : Int(1)
 required: Serializable
              NetworkDataCC(List(1))

在我的项目中，我正在利用反射来生成一些关于我的类的元数据。非大小写类的元数据显示事物缺乏界限：

scala> classOf[NetworkData].getDeclaredFields()(0).getGenericType
res0: java.lang.reflect.Type = scala.collection.immutable.List<?>

而 case 类是正确的：

scala> classOf[NetworkDataCC].getDeclaredFields()(0).getGenericType
res1: java.lang.reflect.Type = scala.collection.immutable.List<? extends scala.Serializable>

为此，我在scala编译器错误跟踪器中找不到任何错误。我是否误解了这些界限应该如何使用？

Answer 1

默认情况下，Scala的下划线不等价于SerializableList[X forPart{type X}]：

scala> def aa(a: SerializableList[_]) = a
aa: (a: SerializableList[_])List[Any]

scala> def aa(a: SerializableList[X forSome {type X}]) = a
<console>:11: error: type arguments [X forSome { type X }] do not conform to type SerializableList's type parameter bounds [T <: Serializable]
   def aa(a: SerializableList[X forSome {type X}]) = a
             ^
scala> class NetworkDataCC(things: SerializableList[X forSome {type X}])
<console>:11: error: type arguments [X forSome { type X }] do not conform to typ
e SerializableList's type parameter bounds [T <: Serializable]
   class NetworkDataCC(things: SerializableList[X forSome {type X}])

它相当于

scala> def aa(a: SerializableList[X] forSome {type X} ) = a
aa: (a: SerializableList[_])List[Any]

所以这样的“无界”行为是可以的。看看这个答案：https://stackoverflow.com/a/15204140/1809978

Case类似乎有额外的类型限制(由于这个bug，影响了为case类自动生成的< code>unapply方法)。

如果想在case类中拥有“无界”存在类型，只需显式指定高阶类型:

 scala> case class NetworkDataCC[SerializableList[_]](things: SerializableList[_])
 warning: there were 2 feature warning(s); re-run with -feature for details
 defined class NetworkDataCC

 scala> NetworkDataCC(List(1))
 res5: NetworkDataCC[List] = NetworkDataCC(List(1))

甚至：

 scala> type SLL = SerializableList[_]
 defined type alias SLL

 scala> case class NetworkDataDD(things: SLL)
 defined class NetworkDataDD

因此，这肯定是一个错误，您可以使用语义等价的类型别名来解决它(参见SI-8997)