जेनिक्स पज़लर

Question

मैं यह जानने की कोशिश कर रहा हूं कि उछाल के माध्यम से जेनिक्स कैसे प्राप्त करें।

मेरे पास है:

interface Root { } 
interface Middle extends Root { } 
class Type implements Root { } 

और कई "उप-प्रकार" कक्षाएं:

class Subtype1 extends Type implements Middle { } 
class Subtype2 extends Type implements Middle { } 
... 

क्या मैं चाहता हूँ दो प्रकार पैरामीटर T और S, जहां TType से बाध्य है के साथ एक वर्ग घोषित करने के लिए है और ST और Middle से बाध्य है।

मैं यह सुनिश्चित करने के लिए जेनेरिक के साथ एक तरीका नहीं देख सकता कि ST बढ़ाता है और Middle लागू करता है।

class Handler<T extends Root, S extends T, S extends Middle>; 

या

class Handler<T extends Root, S extends <T extends Middle>>; 

लेकिन न तो निश्चित रूप से कानूनी हैं: क्या मैं चाहता हूँ की तरह कुछ है। शायद कुछ जादू है जो मुझे याद आ रही है?

Answer 1

SubType को विस्तारित करने वाले एक अमूर्त वर्ग को शुरू करने का प्रयास करें और Middle लागू करता है, इसलिए इसका प्रकार Handler में उपयोग किया जा सकता है।

abstract class MiddleSubtype extends Subtype implements Middle { } 

फिर,

class Handler<T extends Root, S extends MiddleSubtype> { //... 

संपादित करें: सवाल का अद्यतन के बाद, एक ही विचार की तरह दिखेगा:

abstract class MiddleType extends Type implements Middle { } 

class Subtype1 extends MiddleType { } 
class Subtype2 extends MiddleType { } 
... 

class Handler<T extends Root, S extends MiddleType> { //... 

Answer 2

या आप एस सामान्य ही बना सकता है:

interface SInt<A,B> {} 
class Handler<T extends Root, S extends SInt<T, Middle>>{}