Java общий объект с несколькими интерфейсами литья

Question

Предположим, у меня есть универсальный класс, который я использую, который объявлен как это:

public class ConfigurableRuleKey<R extends Configurable & Rule> extends Key<R> { 

    private final R rule 

    public ConfigurableRuleKey(R rule) { 
     this.rule = rule; 
    } 

    /* Additional methods are declared here */ 

} 

И я хочу, чтобы реализовать фабричный метод, который проверяет, если он принят правило реализует интерфейс Configurable при создании конфигурируемый правило или просто создать основной ключ:

public static <R extends Rule> Key<R> create(R rule) { 
    if (rule instanceof Configurable) { 
     return new ConfigurableRuleKey<>(rule); //This will not compile 
    } else { 
     return new RuleKey<>(rule); 
    } 
} 

проблема заключается в том, что в моем методе фабрики я не могу передать правило конструктор ConfigurableRuleKey, поскольку он не соответствует заявленным общие ограничения (событие, если бы я ехр законно проверил, что он реализует Configurable). Вопрос в том, как я могу нарисовать свой экземпляр правила, чтобы он соответствовал ограничениям конструктора в ConfigurableRuleKey?

Answer 1

Я нашел способ сделать то, что вы спрашиваете без использования сырья типов, но она по-прежнему включает в себя пару непроверенных слепков:

@SuppressWarnings("unchecked") 
public static <R extends Rule, T extends Rule & Configurable> Key<R> create(R rule) { 
    if (rule instanceof Configurable) { 
     return (Key<R>)new ConfigurableRuleKey<>((T)rule); 
    } else { 
     return new RuleKey<>(rule); 
    } 
} 

я не уверен, если это лучше, чем ответ sp00m, но это по-другому. :)

Исключительная причина, по которой это невозможно правильно построить в генераторах Java, похоже, состоит в том, что типы пересечений должны быть построены из конкретных интерфейсов и не могут быть построены из других переменных типа. Следовательно, нет способа построить T в этом примере таким образом, чтобы он ограничивался R. Без этой возможности нет даже способа иметь волшебный метод, родственный Class.asSubclass, чтобы отвлечь это поведение.

EDIT: В связи с этим, похоже, что Java 8 представила анонимные типы пересечений, где вы можете использовать несколько интерфейсов - например. (Configurable & Rule)rule - но даже это не поможет здесь, поскольку по той же причине, что и выше, вы не можете наложить на (Configurable & R). Это поможет избавиться от типа переменной T, однако:

@SuppressWarnings("unchecked") 
public static <R extends Rule> Key<R> create(R rule) { 
    if (rule instanceof Configurable) { 
     return (Key<R>)new ConfigurableRuleKey<>((Configurable & Rule)rule); 
    } else { 
     return new RuleKey<>(rule); 
    } 
} 

Answer 2

Это должно удовлетворить ваши потребности:

@SuppressWarnings({ "rawtypes", "unchecked" }) 
public static <R extends Rule> Key<R> create(R rule) { 
    if (rule instanceof Configurable) { 
     return new ConfigurableRuleKey((Configurable) rule); 
    } else { 
     return new RuleKey<>(rule); 
    } 
} 

Вы вручную проверить, что rule является Configurable, поэтому приведение в безопасности.