Scala：如何使用长类型参数列表

Question

我可以在 Scala 中使用哪些技术来处理长类型参数列表？

我正在开发一个小框架，用于在不同的模拟环境中运行各种类型的游戏。我试图保持框架的某些部分相对通用，所以我引入了各种类型作为类型参数，例如环境状态、游戏结果等。

这一切在功能上都运行良好，并且我确实获得了类型安全但通用框架的预期好处。但是类型签名已经发展到使代码难以阅读并且重构它变得非常麻烦的地步。顶级 Simulator 的签名有 8 个类型参数，许多主要类型有 3 到 5 个。个别编译器类型错误，因为它们列出了类或函数参数的类型（当然也是类型参数化的）似乎经常运行到一百行。

偶尔，但很少，我可以省略类型参数，例如关于构造函数。但在大多数情况下，不会推断出至少一种类型，因此我最终不得不插入整个类型签名。

显然这并不理想，我正在寻找解决此问题的方法。任何建议将不胜感激！

Answer 1

想到了两个解决方案。

1. 使用类型别名。

   scala> class Foo[A, B, C, D, E]
   defined class Foo
   
   scala> type Bar[A] = Foo[A, Int, Int, Int, Float]
   defined type alias Bar
   
   scala> new Bar[String]
   res23: Foo[String,Int,Int,Int,Float] = Foo@f590c6
   

2. 使用abstract type members 代替类型参数。

   scala> class Bar {
        |   type A
        |   type B <: AnyVal
        |   type C
        | }
   defined class Bar
   
   scala> new Bar {
        |   type A = String
        |   type B = Int
        |   type C = Int
        | }
   res24: Bar{type A = String; type B = Int; type C = Int} = $anon$1@ee1793
   
   scala> trait Baz {
        |   type A = String
        | }
   defined trait Baz
   
   scala> new Bar with Baz {
        |   type B = Int
        |   type C = String
        | }
   res25: Bar with Baz{type B = Int; type C = String} = $anon$1@177c306
   
   scala> null.asInstanceOf[res25.A]
   res26: res25.A = null
   
   scala> implicitly[res25.A =:= String]
   res27: =:=[res25.A,String] = <function1>
   

您可能想与我们分享一些代码，以便我们提供更具体的建议。

Answer 2

考虑当你有一组密切相关的类型参数的情况；您将它们作为类型参数一起传递。在本例中，该组为A 和B。

trait X[A, B, C] {
  new Y[A, B, Int] {}
}

trait Y[A, B, D] {
  def a: A = sys.error("")
}

您可以将这两种类型打包成一个类型参数，其中类型别名包含类型成员：

type AB = { type A; type B }
trait Y[ab <: AB, D] {
  def a: ab#A = sys.error("")
}
trait X[ab <: AB, C] {
  new Y[ab, C] {}
}
new X[{ type A=Int; type B=Int}, String] {}