जावा जेनेरिक्स अपेक्षित वापसी प्रकार वास्तविक

Question

यहाँ से अलग कुछ कोड मैं पर काम कर रहा हूँ का एक उदाहरण है:

public interface FooMaker<T extends Enum<T> & FooType> 
{ 
     public List<Foo<T>> getFoos(String bar); 
} 

आइए आगे मान लेते हैं कि FooMaker के कई अलग अलग ठोस कार्यान्वयन किया जाएगा। तो मैंने FooMakers का उपयोग करने के लिए कुछ कोड लिखा था।

FooMaker<?> maker = Foos.getRandomMaker(); 
List<Foo<?>> fooList = maker.getFoos("bar"); //error here! 

कोड की दूसरी पंक्ति समस्या होती है, ग्रहण मुझसे कहता कोड होना चाहिए:

FooMaker<?> maker = Foos.getRandomMaker(); 
List<?> fooList = maker.getFoos("bar"); 

मैं मुसीबत समझ क्यों सूची में पैरामिट्रीकृत प्रकार के रूप में फू घोषणा जाना पड़ता है हो रही है वापसी प्रकार सही करने के लिए दूर।

कोई विचार?

Answer 1

बजाय इस प्रयास करें:

List<? extends Foo<? extends Enum<?>>> fooList = maker.getFoos("bar"); 

समस्या यह है कि अगर यह अनुमति दी गई है:

List<Foo<?>> fooList = maker.getFoos("bar"); 

फिर विस्तार से, जहां आप जा चुके हैं इसके साथ भी दूर जाने में सक्षम:

Foo<?> foo1 = new Foo<String>(); 
Foo<?> foo2 = new Foo<Integer>(); 
fooList.add(foo1); 
fooList.add(foo2); 

जो लौटाई गई सूची के सामान्य अनुबंध को अमान्य कर देगा।

इसे रोकने के लिए, जावा कंपाइलर रिटर्न प्रकार को वाइल्डकार्ड-आधारित होने के लिए मजबूर करता है, जिसका अर्थ है कि फू को रिटर्न-टाइप (सूची से तत्वों को खींचने के लिए) के रूप में उपयोग किया जा सकता है लेकिन आप वाइल्डकार्ड- आपकी सूची में आधारित फू प्रकार।

Answer 2

क्योंकि आप maker को FooMaker<?> के रूप में घोषित कर रहे हैं। यदि आप जानते हैं कि TAwesomeFooMaker रिटर्न क्या है तो आप इसे AwesomeFooMaker के प्रकार के रूप में क्यों घोषित नहीं करेंगे?

Answer 3

सामान्य:

class Bar {} 
class Baz {} 

FooMaker<?> maker = new FooMaker<Bar>(); 
List<Foo<?>> fooList = maker.getFoos("bar"); //error here! 
fooList.add(new Foo<Baz>());     //cock-up here!