如何刪除這個額外的類型參數？

Question

我目前有：

class X[+T: Numeric](val x: T) 
abstract class M[N: Numeric, T <: X[N]] { // <- I'd like to remove N. 
    def apply(x: Int): T 
    final def row = (1 to 10).map(this(_)) 
} 

我用這樣的：

class Y(x: Double, val y: Double) extends X[Double](x) 
class Z extends M[Double, Y] {   // <- So that this is simpler. 
    def apply(x: Int) = new Y(0.0, 0.0) 
} 

它的工作原理是這樣的：

object testapp { 
    // row is properly polymorphic, allowing access to Y.y 
    def main(args: Array[String]): Unit = (new Z).row.map(r => println(r.y)) 
} 

我想Z要簡單一些，這樣我可以使用M如：

class Z extends M[Y] { 
    def apply(x: Int) = new Y(0.0, 0.0) 
} 

，或者甚至更好：

class Z extends M[Double] {   // i.e. Meaning apply can return 
    def apply(x: Int) = new Y(0.0, 0.0) // any subclass of X[Double] 
} 

Here are my Gist iterations達到這一點。

Answer 1

型PARAMS第三種方法VS類型成員是同時使用。

類型成員的優點是它不污染子類的簽名。如果類型成員是多餘的（即使在具體的類中），它也可以保持抽象。只有底層的類必須定義它。

import scala.collection.immutable.IndexedSeq 
    class X[+T: Numeric](val x: T) 
    abstract class M[+A: Numeric] { 
    type W <: X[A] 
    def apply(x: Int): W 
    final def row: IndexedSeq[W] = (1 to 10) map apply 
    def sumx: A = { // in terms of the underlying Numeric 
     val n = implicitly[Numeric[A]] 
     n fromInt (0 /: row)((s,w) => s + (n toInt w.x)) 
    } 
    } 

    class Y(x: Double, val y: Double) extends X[Double](x) 
    class Z extends M[Double] { 
    type W = Y 
    def apply(x: Int) = new Y(0.0, 0.0) 
    } 

    def main(args: Array[String]): Unit = (new Z).row foreach (Console println _.y) 

Answer 2

你並不真的需要class M這裏：

class X[+T: Numeric](val x: T) 
def row[W <: X[_]](c: => Int => W) = (1 to 10).map(c) 

class Y(x: Double, val y: Double) extends X[Double](x) 
def z = row(_ => new Y(0.0, 0.0)) 

def main(args: Array[String]): Unit = z.map(r => println(r.y)) 

如果你想保持M，你用同樣的想法：

class X[+T: Numeric](val x: T) 
abstract class M[W <: X[_]] { 
    def apply(x: Int): W 
    final def row = (1 to 10).map(this(_)) 
} 

class Y(x: Double, val y: Double) extends X[Double](x) 
class Z extends M[Y] { 
    def apply(x: Int) = new Y(0.0, 0.0) 
} 

def main(args: Array[String]): Unit = (new Z).row.map(r => println(r.y))