Java 8泛型函数应该是不明确的,但在运行时失败

前端之家收集整理的这篇文章主要介绍了Java 8泛型函数应该是不明确的,但在运行时失败前端之家小编觉得挺不错的,现在分享给大家,也给大家做个参考。
我正在尝试将 Java 7代码迁移到 Java 8,所以我的代码类似于:
package tests;

import java.util.Arrays;
import java.util.Map;

public class Tests {
    private static interface ComparableMap<K,V> extends Map<K,V>,Comparable {}

    public static void main(String[] args) {
        func(getString());
    }

    private static void func(Comparable...input){
        System.out.println(Arrays.toString(input));
    }

    private static void func(ComparableMap <?,?> m){
        System.out.println(m);
    }

    private static <T extends Comparable> T getString(){
        return (T) "aaa";
    }
}

在java 7中它正常工作,在java 8中我得到:

java.lang.ClassCastException: java.lang.String cannot be cast to tests.Tests$ComparableMap

如果我将一个函数定义更改为:

private static <T> T getString(){
        return (T) "aaa";
    }

编译将失败:错误

reference to func is ambiguous

为什么Java 8编译器在第一种情况下没有失败? (看起来对我有误)
是否可以更改第二个重载函数,以便在不更改调用本身的情况下使用varargs参数调用第一个函数

解决方法

编译错误

在第一种情况下,需要方法getString来返回Comparable实例.编译器查找func方法的重载,它只找到一个可以接受Comparable:func(Comparable … input)的方法. Map没有实现该接口,因此第二个重载不适用.没有含糊之处.

在第二种情况下,getString可以返回任何内容.这两个重载都有效,因此存在歧义.但请注意,在这两种情况下,对T的强制转换是不安全/错误的.

USAfe演员

你编写的泛型方法基本上告诉编译器“我可以返回你想要实现Comparable的任何类的实例”.但你实际上不能遵守这个承诺.

可以说我有以下代码

String str = getString();
Integer num = getString();

这段代码将编译,String和Integer都实现了Comparable接口.第二行在运行时会失败:代码尝试将String转换为Integer.

你的第二个案例也是错误的,原因与我上面解释的相同.它承诺它可以返回任何你想要的类型.它似乎也不能保持这个承诺(Runnable这里是一个随机的例子,它可以是任何东西):

Runnable run = getString()

您更新的代码

编译器看到两个可能的重载,它们都匹配,func(Comparable … input)和func(ComparableMap<?,?> m).它更喜欢第二个,因为varargs方法总是最后选择(for compatebility reasons).所有这些都是核心行为.

然后代码抛出ClassCastException,因为你的getString方法没有保证它的承诺(让调用者决定返回什么类型的Comparable).

怎么解决

根本问题是你的getString方法犯了一个假承诺.因此,我真的不知道该代码试图完成什么.如果你能详细说明,我们可以帮助你进一步发展.

猜你在找的Java相关文章