W klasie ogólnej języka Java, dodaj dodatkowe ogólne ograniczenia na poziomie konstruktora?

Question

Mam interfejs o nazwie Bar i ogólna klasa Foo parametryzowane w rodzaju, że jestBar:

class Foo<B extends Bar> { } 

Moja klasa ma konstruktora ogólnego przeznaczenia, która pobiera Class i Stream:

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

Próbuję dodać specjalistycznego konstruktora, który wymaga, aby jego rzeczywisty parametr metody zarówno jest Barienum klasa taka, że ​​mogę zadzwonić do mojego konstruktora ogólnego przeznaczenia ze specjalnego konstruktora:

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

Ogólnie rzecz biorąc, można napisać konstruktorów generycznych. Ostatnio mieliśmy a question about them, and how they might be useful. W ten sposób można zapewnić konstruktora, który przyjmuje jako argument Class reprezentujący klasę, która zarówno rozciąga się jakiś konkretny inną klasę implementującą interfejs Bar:

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

Ale to nie całkiem Cię tam, gdzie chcesz być , ponieważ granice argumentu typu konstruktora muszą być jawnymi typami. Zmienne typu, takie jak parametr typu klasy B, nie służą, a bez sposobu na połączenie T z B, specjalny konstruktor generyczny nie może wywołać generalnego konstruktora.

Ale może to zrobić za pomocą metody fabryki zamiast specjalnego konstruktora:

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

Jest to możliwe za pomocą operatora &: <Something extends Bar & Enum<?>>

Answer 3

nie sądzę możesz to zrobić za pomocą konstruktora. Albo utworzyć podklasę:

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

lub fabryczną metodę:

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