जावा जेनरिक

Question

में टाइप चेकर को टमिंग करना मैंने सोचा कि मैं जेनरिक को बहुत अच्छी तरह समझता हूं, लेकिन स्पष्ट रूप से मैंने नहीं किया।

import java.util.ArrayList; 

class Job<J extends Job<J,R>, R extends Run<J,R>> {} 
class Run<J extends Job<J,R>, R extends Run<J,R>> {} 

class Job2 extends Job<Job2,Run2> {} 
class Run2 extends Run<Job2,Run2> {} 

class RunList<J extends Job<J,R>, R extends Run<J,R>> extends ArrayList<R> {} 

class Foo { 
    // #1 problem 
    public void test1(RunList<Job,Run> why) {} 
    // #2 this doesn't work either 
    public void test2(RunList<Job<Job,Run>,Run<Job,Run>> why) {} 
    // #3 this works 
    public void test3(RunList<Job2,Run2> why) {} 
} 

संकलक हुए कहा कि "नौकरी" अपनी तरह सीमा के भीतर नहीं है ऊपर test1 विधि की अनुमति नहीं है,:

यहाँ समस्या के परीक्षण का मामला है। मैं थोड़े प्रकार को समझता हूं --- Job कच्चे प्रकार के रूप में Job<Job,Run> का विस्तार नहीं करता है, इसलिए त्रुटि। इसके विपरीत, test3 काम करता है।

अब सवाल यह है कि, मैं यह काम कैसे कर सकता हूं? मैंने # 2 की कोशिश की है, लेकिन यह या तो काम नहीं करता है। मुझे लगता है कि समस्या वास्तव में # 1 --- Job<Job,Run> के साथ समान है सीमाओं के भीतर नहीं है क्योंकि इसके प्रकार तर्क Job एक कच्चा प्रकार है।

क्या कोई जानता है कि प्रकार के चेकर को कच्चे प्रकार के उपयोग के अलावा खुश कैसे किया जाए? या यह जावा टाइप सिस्टम में अभी उपलब्ध नहीं है?

Answer 1

शायद:

public <J extends Job<J, R>, R extends Run<J, R>> void test(RunList<J, R> why) {} 

Answer 2

आप तो ArrayList के प्रकार पैरामीटर बदलते हैं तो आपको नई रन जोड़ सकते हैं();

Answer 3

आप सही हैं, यकीन नहीं है कि मैं वहां क्या सोच रहा था! आपकी टिप्पणी ने मुझे इसके बारे में सोचने के लिए प्रेरित किया और मैंने इसका परीक्षण किया और समस्या के कारण प्रकार चर Job<J extends Job<J... की पुनरावर्ती परिभाषा के साथ कुछ करने के लिए है, लेकिन मैं पूरी तरह स्पष्ट क्यों नहीं हूं। एक समाधान, अपनी परिभाषाओं से जे और आर के 'उपयोग' को हटा दें।

लंबे समय तक जवाब:

import java.util.ArrayList; 

class Job<J extends Job, R extends Run> {} 
class Run<J extends Job, R extends Run> {} 

class Job2 extends Job<Job2,Run2> {} 
class Run2 extends Run<Job2,Run2> {} 

class RunList<J extends Job, R extends Run> extends ArrayList<R> {} 

class Foo { 
    // #1 works now 
    public void test1(RunList<Job,Run> why) {} 
    // #2 works now too 
    public void test2(RunList<Job<Job,Run>,Run<Job,Run>> why) {} 
    // #3 still works 
    public void test3(RunList<Job2,Run2> why) {} 
    // #4 generic method 
    public <J extends Job, R extends Run> void test4(RunList<J,R> why) {} 

    public static void main(String[] args) { 
     // Calling them even works... 
     new Foo().test1(new RunList<Job,Run>()); 
     new Foo().test2(new RunList<Job<Job,Run>,Run<Job,Run>>()); 

     // Calling the generic method works too 
     new Foo().test4(new RunList<Job,Run>()); 
     new Foo().test4(new RunList<Job<Job,Run>,Run<Job,Run>>()); 
     new Foo().test4(new RunList<Job2,Run2>()); 

     // ...sort of 

     // This doesn't work 
     //new Foo().test1(new RunList<Job<Job,Run>,Run<Job,Run>>()); 

     // This doesn't work 
     //new Foo().test1(new RunList<Job2,Run2>()); 

    } 
}