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

Question

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

我正在研究一个用于运行具有不同模拟环境的各种类型游戏的小框架.我试图保持框架的某些部分相对通用,所以我将各种类型作为类型参数引入,例如环境状态,游戏结果等.

它在功能上都运行良好,我确实获得了类型安全但通用框架的预期好处.但是类型签名已经发展到了使代码难以阅读和重构的程度,它变得非常繁琐.顶级模拟器的签名有八个类型参数,许多主要类型有三到五个.单个编译器类型错误,因为它们列出类或函数参数的类型(当然也是类型参数化)似乎经常运行到一百行.

偶尔,但很少,我可以省略类型参数,例如在构造函数上.但在大多数情况下,至少有一种类型不会被推断,所以我最终不得不插入整个类型的签名.

显然这不是理想的,我正在寻找解决这个问题的方法.任何意见,将不胜感激!

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. 使用抽象类型成员而不是类型参数.

   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] {}