como lançar a CRTP em java?

Question

Eu tenho um caso simples bastante onde eu fazer alguma atribuição genérica básica:

final Detail detail = field.getAnnotation(Detail.class);
final String example = detail.example();
final Class<?> type = field.getType();
if (List.class.isAssignableFrom(type))
                    ...
else if (Enum.class.isAssignableFrom(type))
    setValue(contract, field, Enum.valueOf(type, example));
else if (...)
.....

mas o Enum.valueOf () é um pouco difícil chamar, no meu caso, o erro é:

valueOf (java.lang.Class, java.lang.String) em java.lang.Enum não pode ser aplicada a (java.lang.Class, java.lang.String)

Isso faz perfeitamente sentido uma vez que tipo é Class<Object>. Mas desde Enum é CRTP, não consigo encontrar uma boa maneira de conversão de tipo para tornar o feliz compilador. Está usando o tipo Enum.valueOf((Class)type, example)) matéria a única resposta? Isso me dá 2 avisos em vez de apenas um.

Answer 1

A linha a seguir vai fazê-lo com apenas um aviso:

...
setValue( contract, field, Enum.valueOf( type.asSubclass( Enum.class ), example ) );
...

Answer 2

Você pode escrever um método auxiliar para capturar um tipo "T" esse requisito satisfaz de Ajustes:

private <T extends Enum<T>> T helper(Class<?> type, String example) {
    return Enum.valueOf((Class<T>)type, example);
}

este deve ter apenas um aviso

e então você pode usá-lo como

else if (Enum.class.isAssignableFrom(type))
    setValue(contract, field, helper(type, example));

Edit: Ok, então como sobre: ??

private <T extends Enum<T>> Object helper(Class<?> type, String example) {
    return Enum.valueOf((Class<T>)type, example);
}

Answer 3

Eu não acho que é possível para remover os avisos do compilador

O melhor cenário é reduzir todos os erros em um como @tangens faz.

Encontrado dois tópicos do fórum que mostram respostas mal sucedidas e explica o porquê um pouco mais.

• http://forums.sun.com/thread.jspa?threadID=5215278
• http://forums.sun.com/thread.jspa?threadID=694354

Então eu coloquei um exemplo completo para demonstrar a questão como eu vê-lo.

import java.lang.annotation.ElementType;
import java.lang.annotation.Retention;
import java.lang.annotation.RetentionPolicy;
import java.lang.annotation.Target;
import java.lang.reflect.Field;
import java.util.List;

public class Test {
  @Retention(RetentionPolicy.RUNTIME)
  @Target(ElementType.FIELD)
  public @interface Detail {
    String example();
  }

  public enum ExampleEnum {
    FOO_BAR, HELLO_WORLD
  }

  @Detail(example = "FOO_BAR")
  public ExampleEnum test;

  public static void main(String[] args) throws SecurityException, NoSuchFieldException, IllegalArgumentException, IllegalAccessException {
    populate(new Test());
  }

  public static void populate(Object o) throws IllegalArgumentException, IllegalAccessException, SecurityException, NoSuchFieldException {
    final Field field = o.getClass().getField("test");
    final Detail detail = field.getAnnotation(Detail.class);
    System.out.println("Annotation = " + detail);
    final String example = detail.example();
    final Class<?> type = field.getType();
    System.out.println("Field Class = " + type.getName());
    if (List.class.isAssignableFrom(type)) {
    } else if (Enum.class.isAssignableFrom(type)) {
      Class<? extends Enum> enumType = type.asSubclass(Enum.class); // Enum is a raw type. References to generic type Enum<E> should be parameterized
      Enum val = Enum.valueOf(enumType, example); // 1) Enum is a raw type. References to generic type Enum<E> should be parameterized
                                                  // 2) Type safety: Unchecked invocation valueOf(Class<capture#7-of ? extends Enum>, String) of the generic
                                                  //    method valueOf(Class<T>, String) of type Enum
      field.set(o, val);
    }
  }
}