Блог

Главная - Вопросы по программированию - Принудительный тип без создания временной переменной

Принудительный тип без создания временной переменной

#java #generics #types #casting #vavr

#java #общие #типы #Кастинг #vavr

Вопрос:

У меня есть следующая функция:

   <K, P, Q> Map<K, List<Q>> convert(Map<K, ? extends List<? extends P>> input) {
    return HashMap.empty();
  }

Я вызываю это следующим образом:

 Map<Integer, List<? extends String>> stringMap = HashMap.empty();
Map<Integer, List<? extends Double>> doubleMap = HashMap.empty();
Map<Integer, List<Boolean>> stringMapConverted = convert(stringMap);
Map<Integer, List<Boolean>> merged = stringMapConverted.merge(convert(doubleMap));

Однако я хочу сделать это без необходимости сначала создавать временную переменную.
Что-то вроде этого:

 Map<Integer, List<? extends String>> stringMap = HashMap.empty();
Map<Integer, List<? extends Double>> doubleMap = HashMap.empty();
Map<Integer, List<Boolean>> merged = convert(stringMap).merge(convert(doubleMap));

Однако здесь я получаю ошибку компиляции:

 'merge(io.vavr.collection.Map<? extends java.lang.Integer,? extends io.vavr.collection.List<java.lang.Object>>)' in 'io.vavr.collection.Map' cannot be applied to '(io.vavr.collection.Map<java.lang.Integer,io.vavr.collection.List<? extends java.lang.Double>>)'

Required type: Map<? extends Integer,? extends List<Object>>
Provided: Map<Integer,List<? extends Double>>

Я также попытался выполнить кастинг явно:

 Map<Integer, List<Boolean>> merged2 = ((Map<Integer,List<Boolean>>)convert(stringMap)).merge(doubleMap);

но он выдает ошибку компиляции:

 Inconvertible types; cannot cast 'io.vavr.collection.Map<java.lang.Integer,io.vavr.collection.List<java.lang.Object>>' to 'io.vavr.collection.Map<java.lang.Integer,io.vavr.collection.List<java.lang.Boolean>>'

Подпись Map.merge() выглядит следующим образом:

 Map<K, V> merge(Map<? extends K, ? extends V> that);

Классы Map и List взяты из vavr.

Комментарии:

1. Может быть, использовать свидетеля типа Map<Integer, List<Boolean>> merged = this.<Integer, String, Boolean>convert(stringMap).merge(convert(doubleMap));

2. @samabcde Спасибо, это сработало. Не стесняйтесь добавлять его в качестве ответа, чтобы я мог принять и закрыть вопрос.

3. Как бы ваш метод convert определил аргумент типа Q , если вы не предоставляете никаких входных данных для этого метода, который имеет какое-либо отношение к Q , который можно было бы использовать для получения выходных данных?

Ответ №1:

Используйте свидетеля типа или так называемый, TypeArguments упомянутый в 15.12 в SE11 JLS, чтобы указать аргумент типа при вызове convert .

Вызов метода:
имяметода ([Список аргументов] )
Имя типа . [TypeArguments] Идентификатор ([Список аргументов] )
ExpressionName . [TypeArguments] Идентификатор ([Список аргументов] )
первичный . [TypeArguments] Идентификатор ([Список аргументов] )
супер . [TypeArguments] Идентификатор ( [Список аргументов] )
Имя типа . супер . [TypeArguments] Идентификатор ([Список аргументов] )
Список аргументов: выражение {, выражение}

Обратите внимание, что мы не можем опускать имя экземпляра-> (this) при использовании TypeArguments .

 Map<Integer, List<Boolean>> merged = this.<Integer, String, Boolean>convert(stringMap).merge(convert(doubleMap));