covariant

5熱度

2回答

在Java方法重載爲什麼允許有協變返回類型，但不是協變的參數？

例如我有一個處理器基類與返回一個對象，並採取對象作爲參數的方法。我想擴展它，並創建一個StringProcessor將返回字符串，並採取String作爲參數。然而 協打字只能用返回值，但不允許參數。這種限制的原因是什麼？ class Processor { Object process (Object input) { //create a copy of input, mo

java covariant 2017-10-21

---

2熱度

2回答

Java Co-variant返回

在java中，爲什麼covariant返回類型在非協變返回類型產生編譯時錯誤時可以接受。當然，如果JVM可以處理協變返回類型，那麼它可以處理非協變返回類型。我認爲，當java看到一個帶有協變返回值的重載方法時，它只會應用與調用對象關聯的方法。爲什麼不能發生同樣的非協變返回類型。 我的猜測是，它違背了超類方法合約的條款，當然如果允許這樣做，那麼子類（重載）方法的行爲不是非常可預測的（因爲在返回類型中

java return-type covariant 2016-03-08

---

2熱度

1回答

爲什麼階列表可能需要協變型如在方法paramenter + =

Scala的列表被聲明爲 sealed abstract class List[+A] extends AbstractSeq[A] with LinearSeq[A] with Product with GenericTraversableTemplate[A, List] with LinearSeqOptimized[A, List[A]] with java.io.Serializabl

list scala covariant 2015-12-12

---

4熱度

3回答

C++多重繼承協變返回類型錯誤

我有這相當於代碼這一個： class X {}; class Y {}; template< typename T> class C { public: virtual T * foo() = 0; }; class A : public C< X> { public: X * foo() {}; }; class B : pu

c++ multiple-inheritance c++98 covariant 2015-02-24

---

0熱度

2回答

接口，泛型和協變返回類型

假設我有一個界面如下： public interface Foo<T> { T doSomething(); } 現在，都在下面允許嗎？ public class Bar implements Foo<Number> { ... } public class Bar2 extends Bar implements Foo<Integer> { ... } 一方面，我似乎不這

java generics interface covariant 2014-11-24

---

-2熱度

1回答

Java。方法重寫和縮小返回類型

好吧，所以我是新來的java，所以這可能是一個愚蠢的問題。在我的超類中有一個方法接受一個通用對象並返回一個對象。在我的子類中，我試圖重寫/縮小該方法以返回我在別處定義的抽象類。基本上所有這個覆蓋需要做的是preform相同的方法，但用較窄的類替換對象。我如何去做這件事？它應該只是一行或兩行代碼，但我只是不知道它的語法。 所以在超富有如下方法等： public abstract class Foo

java methods types override covariant 2017-02-20

---

13熱度

2回答

爲什麼Resharper說：「使用此代碼，從字符串[]到對象[]的共變數組轉換可能導致寫操作中的運行時異常？

此代碼： comboBoxMonth.Items.AddRange(UsageRptConstsAndUtils.months.ToArray()); public static List<String> months = new List<String> { "Jan", "Feb", "Mar", "Apr", "May", "

c# resharper string-conversion covariant covariant-return-types 2015-11-05

---

1熱度

4回答

虛擬函數返回類型

我在基類中定義爲純虛函數 虛擬int GetData() const = 0; 在每個派生類中，我定義一個枚舉並嘗試重寫GetData函數返回 （派生類特定枚舉）值; 例如： class Derived1 : public Base { public : enum D1 { d1_1 = 0, d1_2 = 60, ... d1_100 }; D

c++ override covariant 2013-04-07

---

2熱度

1回答

科特林類型不匹配列表<Any>和List <可比<{com.cognitect.transit.Symbol＆com.cognitect.transit.Keyword}>？>

fun serialize(aList: List<Any>) 當我打電話用含符號和關鍵字列表序列化，編譯器抱怨 類型不匹配： Require List<Any> Found: List<Comparable<{Symbol & Keyword}>?> 不宜列表協變？ 我怎樣才能構建一個類型簽名以匹配編譯器期望List<Comparable<{Symbol & Keyword}>?> 編

kotlin type-mismatch covariant 2017-10-06

---

0熱度

2回答

爪哇 - 與協變類型WRT變量重寫

class G { int x = 5; } class H extends G { int x = 6; } public class CovariantTest { public G getObject() { System.out.println("g"); return new G(); } pu

java override method-overriding ocpjp covariant 2015-05-04

---