Java genel sınıfında, yapıcı düzeyinde ek genel kısıtlamalar ekleyin?

Question

Ben bir arayüz Bar çağrıda ve bir türüne parametreli bir jenerik sınıfı Fooolduğunu birBar:

class Foo<B extends Bar> { } 

Benim sınıf bir Class ve Stream alan bir genel amaçlı Oluşturucu sahip:

class Foo<B extends Bar> { 
    B[] bs; 
    Foo(Class<B> clazz, Stream<B> stream) { // General ctor 
     bs = someFunctionOf(clazz, stream); 
    } 
} 

Her ikisi de gerçek yöntem parametresi gerektiren özel bir kurucu eklemeye çalışıyorum

class Foo<B extends Bar> { 
    B[] bs; 
    Foo(Class<B> clazz, Stream<B> stream) { // General ctor 
     bs = someFunctionOf(clazz, stream); 
    } 
    // FIX THIS ----+ 
    //    | 
    //    ˅ 
    Foo(Class<Something> clazz) { // Special ctor 
     // Can we make this work so Something is a Bar and an enum 
     // and we can call the other constructor like this? 
     this(clazz, Arrays.stream(clazz.getEnumConstants()); 
    } 
} 

Answer 1

anlamda, jenerik kurucular yazabilir. Son zamanlarda a question about them, and how they might be useful vardı.

class Foo<B extends Bar> { 
    B[] bs; 
    Foo(Class<B> clazz, Stream<B> stream) { // General ctor 
     bs = someFunctionOf(clazz, stream); 
    } 

    private B[] someFunctionOf(Class<B> clazz, Stream<B> stream) { 
     return null; 
    } 

    <T extends SomeClass & Bar> Foo(Class<T> clazz) { 
     // ... 
    } 
} 

Ama olmak istediğiniz yere oldukça seni almaz: Bu şekilde, her iki bazı özel diğer sınıfını genişleten ve arayüz Bar uygulayan bir sınıfı temsil eden bir argüman olarak bir Class alan yapıcıya sağlayabilir Çünkü kurucunun tür argümanının T sınırlarının açık tip olması gerekir. Sınıfın type type parametresi B gibi değişkenler yazmaz ve T'u B'a bağlamanın bir yolu olmadan, özel jenerik kurucu genel kurucuya çağrı yapamaz.

Ama yerine özel bir yapıcı bir fabrika yöntemi ile yapabilirsiniz:

class Foo<B extends Bar> { 
    B[] bs; 
    Foo(Class<B> clazz, Stream<B> stream) { // General ctor 
     bs = someFunctionOf(clazz, stream); 
    } 

    private B[] someFunctionOf(Class<B> clazz, Stream<B> stream) { 
     return null; 
    } 

    static <T extends Enum<T> & Bar> Foo<T> createEnumFoo(Class<T> clazz) { 
     return new Foo<>(clazz, Arrays.stream(clazz.getEnumConstants())); 
    } 
} 

Answer 2

Bu & operatörünü kullanarak mümkündür: <Something extends Bar & Enum<?>>

Answer 3

sanmıyorumBir Barve bir enum sınıf böyle ben özel yapıcı benim genel amaçlı kurucusunu çağırmak olmasıdır yapıcı ile yapabilirsin. Ya alt sınıfı oluşturmak:

class EnumFoo<B extends Enum<B>&Bar> extends Foo<B> { 
    public EnumFoo(Class<B> clazz) { 
     super(clazz, Arrays.stream(clazz.getEnumConstants())); 
    } 
} 

veya fabrika yöntemini:

Genellikle

public static <T extends Enum<T>&Bar> Foo<T> of(Class<T> clazz) { 
    return new Foo<>(clazz, Arrays.stream(clazz.getEnumConstants())); 
}