馴服Java中的類型檢查器泛型

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是一個原始類型。

有沒有人知道如何使類型檢查開心，除了訴諸原始類型？或者它在Java類型系統中無法實現？

Answer 1

可能：

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

Answer 2

如果更改類型參數ArrayList的，那麼你可以添加新的run（）;

Answer 3

你是對的，不知道我在那裏想什麼！您的評論激發了我進一步思考，並對其進行了測試，問題的原因與類型變量Job<J extends Job<J...的遞歸定義有關，但我不完全清楚爲什麼。一種解決方法是從你的定義中刪除J和R的'使用'。

較長的答案：

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>()); 

    } 
}