как привести к CRTP в Java? - PullRequest
Новая
       24

как привести к CRTP в Java?

2 голосов
/ 22 сентября 2009

У меня есть довольно простой случай, когда я делаю базовое общее назначение: 

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

но Enum.valueOf () немного сложно вызвать, в моем случае ошибка:

valueOf (java.lang.Class, java.lang.String) в java.lang.Enum нельзя применить к (java.lang.Class, java.lang.String)

Это вполне логично, поскольку type Class<Object>. Но поскольку Enum - это CRTP, я не могу найти хороший способ привести тип к типу, чтобы сделать компилятор счастливым. Является ли использование необработанного типа Enum.valueOf((Class)type, example)) единственным ответом? Это дает мне 2 предупреждения вместо одного.

Ответы [ 3 ]

3 голосов
/ 30 сентября 2009

Следующая строка сделает это только с одним предупреждением: 

...
setValue( contract, field, Enum.valueOf( type.asSubclass( Enum.class ), example ) );
...
1 голос
/ 30 сентября 2009

Я не думаю, что возможно удалить предупреждения компилятора

В лучшем случае сценарий сводит все ошибки в одну, как @tangens.

Найдены две ветки форума, которые показывают неудачные ответы и объясняют причину чуть больше.

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

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);
    }
  }
}
1 голос
/ 22 сентября 2009

Вы можете написать вспомогательный метод для захвата типа "T", который удовлетворяет требованию Enum: 

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

это должно быть только одно предупреждение

и затем вы можете использовать его как 

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

Редактировать: хорошо, тогда как насчет: 

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