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

    } 
}