¿Por qué las clases de casos solo se extienden Producto y no Producto1, Producto2, ..., ProductoN?

Question

después de enterarme de que las clases de caso extienden el Producto, me pregunté por qué no extienden ProductN. Por ejemplo, dado un código como:

case class Foo(a: Int) 

yo esperaría Foo(1).asInstanceOf[Product1[Int]] para trabajar, pero no lo hace (comprobado con Scala 2.9.1, y confirmado por otras fuentes y por Product documentación).

que estaba interesado en esto, porque quería declarar clases, tales como:

abstract class UnaryOp[T1 <: Exp[_], R](t1: T1) extends Exp[R] { 
    this: Product1[T1] => 
} 

De esta manera, un nodo para una operación singular deben aplicar producto1. Sería bueno si ser simplemente una clase de caso con un parámetro sería suficiente para esto.

Answer 1

Considera:

case class X(n: Int) 
case class Y(x: String, y: Int) extends X(y) 

Si las clases de casos extendidos ProductN, a continuación, que se extendería tanto Product1 y Product2, pero el parámetro Tipo de cambios, por lo que hay dos sobrecargas diferentes para _1. Este es solo un problema: apuesto a que hay otros.

Ahora, la clase de caso que hereda clase de clase ha quedado en desuso, y Martin Odersky está considerando hacer que hereden ProductN. AFAIK, aún no se ha hecho, pero el obstáculo ha sido eliminado.

Answer 2

Si Product1[Int] se hubiera ampliado automáticamente, también se debería proporcionar el val _1: Int. Aunque podría imaginarse, podría automatizarse que a se asigne a _1, etc., pero no lo es. Probablemente solo para no complicar aún más las cosas.

Answer 3

Lo traje de vuelta poco después de que Martin dijera que podía hacerlo. Todavía no funciona, pero en la medida que lo hace, está detrás de -Xexperimental en compilaciones de troncales.

scala> case class Foo[T, U](x1: T, x2: U) 
defined class Foo 

scala> Foo(List("a"), "b") 
res0: Foo[List[java.lang.String],java.lang.String] = Foo(List(a),b) 

scala> res0.isInstanceOf[Product2[_,_]] 
res1: Boolean = true