Scala 类型别名，包括伴生对象 [初学者]

Question

我想编写一个类型别名来缩短、美观和封装 Scala 代码。 假设我得到了一些集合，它具有映射列表的属性，其值是元组。 我的类型会编写类似于 List[Map[Int, (String, String)]] 的内容，或者我的应用程序允许的任何更通用的内容。我可以想象有一个超类型要求一个 Seq[MapLike[Int, Any]] 或任何让我满意的东西，而具体的子类则更具体。

然后我想为这个长类型编写一个别名。

class ConcreteClass {
  type DataType = List[Map[Int, (String, String)]]
  ...
}

然后，我会很乐意在任何可以使用的地方使用 ConcreteClass#DataType 并使用它。

现在假设我添加一个函数

def foo(a : DataType) { ... }

并且我想用一个空列表从外部调用它。 我可以调用 foo(List()) ，但是当我想将基础类型更改为另一种类型的 Seq 时，我必须返回并更改它代码也。此外，这个空列表作为 DataType 的用途并不是很明确。并且伴随对象没有关联的 List 方法，因此我无法调用 DataType() 或 DataType.empty。当我需要非空列表时，这会更烦人，因为我必须写出这个长类型的重要部分。

有什么方法可以让 Scala 将我的类型理解为同一事物，包括伴随对象及其创建者方法，以缩短代码并将其黑盒化？ 或者，有什么理由让我一开始就不应该这样做？

Answer 1

答案实际上非常简单：

class ConcreteClass {
  type DataType = List[String]
}
object ConcreteClass {
  val DataType = List
}
val d = ConcreteClass.DataType.empty

这使我的代码能够调用 ConcreteClass.DataType 来使用 List 中的所有方法构造列表，并且只需很少的努力。

非常感谢奥列格的见解。如果您不想委托 List 任何对 ConcreteClass.DataType 的调用，而是精确控制您希望允许调用者执行的操作，他的答案也是最好的。

Answer 2

这又如何呢？
<代码>

class ConcreteClass {
  type DataType = List[String]
}
object DataType {
  def apply(): ConcreteClass#DataType = Nil
}
//...
val a = DataType()