在子類中重新定義一個變量類型（即變量隱藏）

Question

我已經使用了這幾種不同的方法...但還沒有找到明確的答案。

class Foo1 { } 
class Foo2 extends Foo1 { } 

class Bar1 { 
    var foo: Foo1 = null 
} 

class Bar2 extends Bar1 { 
    var foo: Foo2 = null // <-- compiler error 
} 

錯誤說：「在類型test.Foo1類BAR1壓倒一切的變量foo的;變量foo的需要'越權」修飾」，但你也不能覆蓋變種。

在C＃中，你可以使用new關鍵字這樣

class Foo1 { } 
class Foo2 : Foo1 { } 

class Bar1 
{ 
    public Foo1 foo = null; 
} 

class Bar2 : Bar1 
{ 
    public new Foo2 foo = null; 
} 

是否有可能做到這一點在Scala呢？

編輯 - 增加了另一個C＃示例來說明爲什麼我這樣做。

class Foo1 { } 
class Foo2 : Foo1 { } 

class Bar1 
{ 
    public Foo1 Foo { get { return _foo; } } 
    protected Foo1 _foo; 
    public Bar1(Foo1 foo) { _foo = foo; }  
} 

class Bar2 : Bar1 
{ 
    public new Foo2 Foo { get { return _foo; } } 
    protected new Foo2 _foo; 
    public Bar2(Foo2 foo) : base(foo) { _foo = foo; } 
} 

當然，在真正的應用程序中，類的方式比較複雜，有許多成員，層次結構更深。

簡而言之，這對我來說就是它允許我在我的類層次結構中的任何位置使用foo變量，而不必使用醜陋的投射 - 如果我只在單獨的foo中聲明瞭這種情況Bar1類。

謝謝！

Answer 1

看起來您正在尋找var屬性的協方差。這並不編譯，因爲它不健全：

class Foo1 
class Foo2 extends Foo1 { 
    def moo = 42 
} 
class Foo3 extends Foo1 

class Bar1 { 
    var foo: Foo1 = null 
} 

class Bar2 extends Bar1 { 
    var foo: Foo2 = null // Let's suppose this compiles 
}  

val bar2: Bar2 = new Bar2 
val bar1: Bar1 = bar2 
bar1.foo = new Foo3 
bar2.foo.moo 

在你的Foo3的情況下（不執行這樣的方法）調用.moo的最後一行，但編譯器不能告訴你這一點，因爲bar2.foo是應該是Foo2。

在一個val但是它編譯：

class Bar1 { 
    val foo: Foo1 = new Foo1 
} 

class Bar2 extends Bar1 { 
    override val foo: Foo2 = new Foo2 
} 

---

更新

一些測試後reading this，我在你的C＃代碼明白的是，你真的有2場中的一個實例Bar2。當看作Bar1時，x.foo是指來自Bar1的字段，並且看作Bar2,x.foo涉及Bar2中的屬性。而他們的類型甚至他們的本質（方法/領域/類型）可以完全無關。我想不出在斯卡拉類似的東西。但如果我是正確的，你可以使用另一個名字Bar2的foo。

---

更新2

下面的代碼可能是你想要的東西，如果foo永遠不會重新分配：

class Bar1(val foo: Foo1) 

class Bar2(override val foo: Foo2) extends Bar1(foo) 

Answer 2

這通常被表述爲一個類型參數或類型成員。

例如，集合跟蹤他們的潛在 「代表」 或實施：

https://github.com/scala/scala/blob/v2.11.4/src/library/scala/collection/GenSeqLike.scala#L33

它的地方彈出這樣的：

https://github.com/scala/scala/blob/v2.11.4/src/library/scala/collection/LinearSeqOptimized.scala#L27

但該機制解決的另一個問題成員隱藏是一個脆弱的類型層次結構。類必須被設計用於繼承（Effective Java）。因此，一個類可以在不考慮與客戶（包括子類）的兼容性的情況下發展的概念具有誤導性。

由於私有成員是如何被繼承（或不是）的，所以出現在Scala中。我無法親自找到討論，但in this issue它被稱爲weird "private members aren't inherited" change。你可能會去，「這有什麼奇怪的？」

This issue可能是問題或元錯誤。

這是苦惱人的情況下：

scala> class A { val v: Int = 42 } 
defined class A 

scala> class B extends A { private val v: String = "42" } 
<console>:8: error: overriding value v in class A of type Int; 
value v has weaker access privileges; it should not be private 
     class B extends A { private val v: String = "42" } 
            ^

有些人主張更強的隱私權利。