-
協變返回值類型
鎖定
在面向對象的編程中,方法的協變返回類型是在子類中重寫方法時可以用“較窄”類型替換的類型。 一種值得注意的語言是C ++,這是一種相當普遍的範例。
- 中文名
- 協變返回值類型
- 外文名
- Covariant return type
C#不支持返回類型協方差。 自JDK5.0發佈以來,Java語言已經(部分)允許協變返回類型,[1]因此以下示例無法在先前版本上進行編譯:
// Classes used as return types: class A { } class B extends A { } // "Class B is more narrow than class A" // Classes demonstrating method overriding: class C { A getFoo() { return new A(); } } class D extends C {//Overriding getFoo() in parent class C B getFoo() { return new B(); } }
更具體地説,協變(從寬到窄)或逆變(從窄到寬)返回類型是指將覆蓋方法的返回類型改變為與原始重寫方法的返回類型相關(但不同)的類型的情況。。 兩個協變返回類型之間的關係通常是允許用Liskov替換原則替換另一個類型的關係
[1]
。 這通常意味着重寫方法的返回類型將是重寫方法的返回類型的子類型。 上面的例子具體説明了這種情況。 如果不允許替換,則返回類型是不變的並導致編譯錯誤。
- 參考資料
-
- 1. Java編程語言中的類型協變 .知網[引用日期2018-07-16]
- 詞條統計
-
- 瀏覽次數:次
- 編輯次數:2次歷史版本
- 最近更新: lllj119