Как сделать метод, возвращающий тип, универсальным?

Вот более простая версия:

public <T> T callFriend(String name) {
    return (T) friends.get(name); //Casting to T not needed in this case but its a good practice to do
}

Полностью рабочий код:

    public class Test {
        public static class Animal {
            private Map<String,Animal> friends = new HashMap<>();

            public void addFriend(String name, Animal animal){
                friends.put(name,animal);
            }

            public <T> T callFriend(String name){
                return (T) friends.get(name);
            }
        }

        public static class Dog extends Animal {

            public void bark() {
                System.out.println("i am dog");
            }
        }

        public static class Duck extends Animal {

            public void quack() {
                System.out.println("i am duck");
            }
        }

        public static void main(String [] args) {
            Animal animals = new Animal();
            animals.addFriend("dog", new Dog());
            animals.addFriend("duck", new Duck());

            Dog dog = animals.callFriend("dog");
            dog.bark();

            Duck duck = animals.callFriend("duck");
            duck.quack();

        }
    }

Едва ли, потому что, как Вы говорите, компилятор только знает, что callFriend () возвращает Животное, не Собаку или Утку.

разве Вы не можете добавить краткий обзор makeNoise () метод Животному, которое было бы реализовано как кора или шарлатан ее подклассами?

Поскольку Вы сказали, что передача класса будет в порядке, Вы могли записать это:

public <T extends Animal> T callFriend(String name, Class<T> clazz) {
   return (T) friends.get(name);
}

И затем используют его как это:

jerry.callFriend("spike", Dog.class).bark();
jerry.callFriend("quacker", Duck.class).quack();

Не прекрасный, но это в значительной степени, насколько Вы добираетесь с дженериками Java. Существует способ реализовать Безопасные с точки зрения типов неоднородные контейнеры (THC) с помощью Супер Маркеров Типа , но это имеет его собственные проблемы снова.

Нет. Компилятор не может знать то, что возвратил бы тип jerry.callFriend("spike"). Кроме того, Ваша реализация просто скрывает бросок в методе без любой дополнительной безопасности типов. Рассмотрите это:

jerry.addFriend("quaker", new Duck());
jerry.callFriend("quaker", /* unused */ new Dog()); // dies with illegal cast

В этом конкретном случае, создавая метод краткого обзора talk() и переопределяя его соответственно в подклассах служил бы Вам намного лучше:

Mouse jerry = new Mouse();
jerry.addFriend("spike", new Dog());
jerry.addFriend("quacker", new Duck());

jerry.callFriend("spike").talk();
jerry.callFriend("quacker").talk();

На основе той же идеи как Супер Маркеры Типа Вы могли создать введенный идентификатор для использования вместо строки:

public abstract class TypedID<T extends Animal> {
  public final Type type;
  public final String id;

  protected TypedID(String id) {
    this.id = id;
    Type superclass = getClass().getGenericSuperclass();
    if (superclass instanceof Class) {
      throw new RuntimeException("Missing type parameter.");
    }
    this.type = ((ParameterizedType) superclass).getActualTypeArguments()[0];
  }
}

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

Mouse jerry = new Mouse();
TypedID<Dog> spike = new TypedID<Dog>("spike") {};
TypedID<Duck> quacker = new TypedID<Duck>("quacker") {};

jerry.addFriend(spike, new Dog());
jerry.addFriend(quacker, new Duck());

, Но можно теперь использовать класс в способе, которым Вы первоначально хотели без бросков.

jerry.callFriend(spike).bark();
jerry.callFriend(quacker).quack();

Это просто скрывает параметр типа в идентификаторе, хотя это действительно означает, что можно получить тип от идентификатора позже, если Вы желаете.

необходимо было бы реализовать сравнение и методы хеширования TypedID также, если Вы хотите быть в состоянии сравнить два идентичных экземпляра идентификатора.

Этот вопрос очень похож на , Объект 29 в Эффективном Java - "Рассматривает безопасные с точки зрения типов неоднородные контейнеры". Ответ Laz является самым близким к решению Bloch. Однако оба помещенные и добираются, должен использовать литерал Класса для безопасности. Подписи стали бы:

public <T extends Animal> void addFriend(String name, Class<T> type, T animal);
public <T extends Animal> T callFriend(String name, Class<T> type);

Внутренняя часть оба метода необходимо проверить, что параметры нормальны. Посмотрите Эффективный Java и Класс javadoc для большего количества информации

Вы могли реализовать его как это:

@SuppressWarnings("unchecked")
public <T extends Animal> T callFriend(String name) {
    return (T)friends.get(name);
}

(Да, это - свод законов; см. Дженерики Java: Универсальный тип определяется как тип возврата [только 116].)

jerry.<Dog>callFriend("spike").bark();

Не возможный. Как Карта, как предполагается, знает, какой подкласс Животного она собирается получить, учитывая только Строковый ключ?

единственный способ, которым это было бы возможно, состоит в том, если бы каждое Животное приняло только один тип друга (тогда, то это мог бы быть параметр класса Животных), или callFriend (), метод получил параметр типа. Но действительно похоже, что Вы упускаете суть наследования: это - это, можно только рассматривать подклассы однородно при использовании исключительно методов суперкласса.

Я написал статью, которая содержит подтверждение концепции, классы поддержки и тестовый класс, который демонстрирует, как Супер Маркеры Типа могут быть получены Вашими классами во времени выполнения. Короче говоря это позволяет Вам делегировать к альтернативным реализациям в зависимости от фактических универсальных параметров, переданных вызывающей стороной. Пример:

• TimeSeries<Double> делегаты в частном внутреннем классе, который использует double[]
• TimeSeries<OHLC> делегаты в частном внутреннем классе, который использует ArrayList<OHLC>

См.: Используя TypeTokens для получения универсальных параметров

Спасибо

Richard Gomes - Блог