部分定義

Question

在Scala中是有可能在基類聲明泛型抽象函數，然後 提供各種派生類不同的具體實施方式是這樣的：

abstract class B { 

    def foo[T,V](u:T):V 
} 

class D extends B { 

    def foo(u:T_0) = {...} 
    def foo(u:T_1) = {...} 
    .... 
} 

，同樣也指類D1 ，D2，...從類B（具有可能不同的具體類型T_j） 到類D_j以便使用obj.foo（u）和編譯器標誌，只要foo用於某個類型的參數，而foo不是定義。

總之，問題是：是否從B派生的類被視爲混凝土，只要foo被定義爲 至少有一個具體類型T？

Answer 1

在你的例子中，你不能在D範圍內專用U和T，你必須匹配來自基類的參數。您也不能在子類中提供個別特殊情況下的重寫，例如部分函數 - 具體類必須爲每個抽象方法提供實現，並覆蓋所有參數。

在我看來，像你真正想要的是在類級別類型參數，對B本身，使派生類專業的參數，然後它們繼承相應地變得專業的foo方法的接口。所以，你想要做的事，如：

abstract class B[T, V] { 
    def foo(u: T): V 
} 

class D extends B[String, Int] { 
    def foo(u: String): Int = u.length 
} 

（您也可以發現它有用添加註解方差class B[-T, +V]，但這是另一個故事。）