वैकल्पिक <> और वापसी प्रकार संकुचन

Question

जावा < 8 में, लौटने "असुरक्षित" वस्तुओं (वस्तुओं या नल), मैं उपवर्ग में वापसी प्रकार के विशेषज्ञ करने में सक्षम था:

class A {} 
class B extends A {} 
interface Sup { A a(); /* returns A instance, or null */ } 
interface Sub extends Sup { B a(); } 

जावा 8 में, यदि मैं चाहता हूँ मेरी एपीआई बनाने के लिए "सुरक्षित", मैं Optional<A> बजाय लौटना चाहिए "कच्चे" A:

interface Sup { Optional<A> a(); } 
interface Sub extends Sup { Optional<B> a(); } 

लेकिन संकलन नहीं है! क्योंकि Optional<B>Optional<A> का उप-वर्ग नहीं है।

मुझे इस समस्या को हल करने के लिए कैसे माना जाता है? अपने माता पिता के सीमा वाइल्डकार्ड का उपयोग करने के लिए

Answer 1

आप वाइल्डकार्ड का उपयोग कर सकते हैं।

interface Sup { Optional<? extends A> a(); } 

interface Sub extends Sup { Optional<? extends B> a(); } 

मैं कर सकता था यह सिर्फ Optional<B> लेकिन Optional<? extends B> का उपयोग कर एक और इंटरफ़ेस Sub का विस्तार करने और एक ही बात करने के लिए अनुमति देता है।

व्यक्तिगत रूप से, मुझे लगता है कि यह एक गड़बड़ है, और यह आवश्यक है कि A या B, या null जहां आवश्यक हो, वापस लौटना बेहतर होगा।

Answer 2

बदलें:

Optional<? extends A> // parent 
Optional<? extends B> // child 

कारण यह है कि अपने कोड अब काम नहीं करता है तथ्य यह है कि जेनरिक अपरिवर्तनीय हैं के कारण है। B एक A है, लेकिन Optional<B>Optional<A> नहीं है।