Java Generics'te yazım denetleyicisini tamama

Question

Generics'i çok iyi anladığımı sanıyordum ama görünüşe göre yapmadım.

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) {} 
} 

derleyici "İş" kendi türü sınırları içinde olmadığını söyleyerek, yukarıda test1 yöntemini izin vermez: Burada

sorunun test niteliği taşıyor. Ben bir tür olarakolarak anlayamıyorum sorta, Job<Job,Run>, dolayısıyla hata uzatmaz. Buna karşılık test3 çalışır.

Şimdi, soru şu, bu işi nasıl yapacağım? # 2 denedim ama bu da işe yaramıyor. Sanırım sorun gerçekten 1 # 0 --- Job<Job,Run> ile benzerdir, çünkü tür argümanı Job ham bir türdür.

Ham tipi kullanmaktan başka, tip denetleyiciyi nasıl mutlu edeceğini bilen var mı? Yoksa Java tipi sistemde elde edilemez mi? Belki

Answer 1

: Sonra ArrayList tip parametreyi değiştirirseniz

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

Answer 2

siz) (yeni Çalıştır ekleyebilir;

Answer 3

Haklısın, orada ne düşündüğümden emin değilim! Yorumunuz beni daha fazla düşünmeye teşvik etti ve ben bunu test ettim ve sorunun nedeninin Job<J extends Job<J... tip değişkenlerinin özyinelemeli tanımıyla bir ilgisi var, ama neden tamamen açık değilim. Bir çözüm, tanımlarınızdan J ve R 'kullanımını' kaldırın.

Uzun cevap:

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

    } 
}