强制类型而不创建临时变量

如何解决强制类型而不创建临时变量

我具有以下功能：

  <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<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。

解决方法

调用convert时，使用type witness或所谓的TypeArguments mentioned in 15.12 in SE11 JLS指定类型参数。

MethodInvocation：
MethodName（[ArgumentList]）
TypeName。 [TypeArguments]标识符（[ArgumentList]）
ExpressionName。 [TypeArguments]标识符（[ArgumentList]）
小学。 [TypeArguments]标识符（[ArgumentList]）
超级。 [TypeArguments]标识符（[ArgumentList]）
TypeName。超级。 [TypeArguments]标识符（[ArgumentList]）
ArgumentList：表达式{，表达式}

请注意，使用TypeArguments时我们不能省略实例名称->（this）。

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