是否可以使用泛型返回类型定义接口方法，并且具体实现定义返回类型？

Question

我想创建一个接口：

public interface OperandValue
{
    <T> T getValue();
}

我希望有一个像这样的具体实现：

public class NumberOperandValue implements OperandValue
{
    @Override
    public <Integer> Integer getValue()
    {
        // some integer value that is set elsewhere
        return 1;
    }
}

Eclipse强调<Integer>给我一个警告说：

类型参数Integer隐藏了Integer类型

如果这可以以某种方式工作，我感谢任何建议。 我意识到我可以在接口级别而不是方法级别定义泛型类型，但是如果可能的话，我想尝试使其工作。

Answer 1

您可能希望将界面更改为：

public interface OperandValue<T>
{
    T getValue();
}

并实施：

public class NumberOperandValue implements OperandValue<Integer>
{
    @Override
    public Integer getValue()
    {
        // some integer value that is set elsewhere
        return 1;
    }
}

现在，您告诉界面您希望该方法返回的类型。 换句话说，您将接口类型设为泛型，而不是方法声明。 但这似乎是你想要的。

作为旁注：

public <Integer> Integer getValue()

实际上意味着'定义一个名为“Integer”的泛型类型参数，其中getValue返回您刚刚定义的“Integer”类型。

回应史蒂夫的评论如下 ：

当我从我的方法实现中删除<Integer>然后我得到一个警告： Type safety: The return type Integer for getValue() from the type NumberOperandValue needs unchecked conversion to conform to T from the type OperandValue

该警告消息表明您在使用Java泛型时违反了规则。 要了解原因，请在删除<Integer>类型参数之前考虑方法签名的含义。

public <Integer> Integer getValue()

此签名表示方法getValue返回Integer类型的值，其中Integer被定义为您在尖括号之间定义的泛型类型参数。 字符串Integer的含义完全是任意的，其含义与：

public <T> T getValue()

为清楚起见，为了您的问题，我们坚持使用此版本的方法签名。 删除类型参数会发生什么？

public T getValue()

现在，如果您尝试编译，则会收到T未定义的错误。 但是，因为您的原始类型签名声明了名称为Integer的type参数，所以当您删除它时，您将留下：

public Integer getValue()

因为Integer 已经是预定义类型，所以方法签名在技术上仍然是合法的。 但是，类型参数的名称恰好与已存在的类型相同，这只是一个意外。

此外，因为您的接口已经使用泛型声明了方法签名，所以当您从实现中删除它时，Java编译器会生成警告。 具体来说，编译器担心在基类中，方法的返回类型是名为Integer的（类型擦除到Object ）泛型参数，它不是同一类型（也不知道类型兼容）系统类名为Integer （或精确的java.lang.Integer ）。