在调用泛型/参数化方法时，有没有办法强制提供类型参数？

Question

假设我有这样一个类和方法：

public class Example {

    private final Map<String, Object> stuff = new HashMap<>();

    public <T> T getValue(String key) {
        return (T) stuff.get(key);
    }
}

是否可以强制编写调用getValue（）的代码的人显式地为方法调用提供类型见证？

Example example = new Example();
Boolean resultWithParameter    = example.<Boolean>getValue("some_key");

我想做的是在调用方法时总是需要参数。有办法做到这一点吗？我知道我总是可以添加一个Class参数，但是我正在探索其他选项。

Answer 1

没有办法强制执行。以下是JLS定义的方法调用的结构。

MethodInvocation:
  MethodName ( [ArgumentList] )
  TypeName . [TypeArguments] Identifier ( [ArgumentList] )
  ExpressionName . [TypeArguments] Identifier ( [ArgumentList] )
  Primary . [TypeArguments] Identifier ( [ArgumentList] )
  super . [TypeArguments] Identifier ( [ArgumentList] )
  TypeName . super . [TypeArguments] Identifier ( [ArgumentList] )
ArgumentList:
  Expression {, Expression}

具体来说，你的例子是指这个

Primary . [TypeArguments] Identifier ( [ArgumentList] )

example . <Boolean>       getValue   ( "some_key"     );

如果您不熟悉符号，最重要的部分是：

产品右侧的语法[x]表示零次或一次出现x。也就是说，x是可选符号

所以当[TypeArguments]（类型见证）适用时，它总是可选的；没有办法强制执行它的存在。