Java generics - Why “incompatible types” compilation error if a class' generic type doesn't exist in an invoked method? [duplicate]

蓝咒 提交于 2019-12-06 07:44:50

问题


Please notice the code below doesn't compile, failing on the method result assignment: String s = a.method("abc");.

The compilation error: incompatible types: java.lang.Object cannot be converted to java.lang.String

But, when changing A a to A<?> a or to A<Object> a, the compilation passes.

* Please notice that the type <T> in the method is different than the type <O> in the class.

Any idea what the compilation error? Also, why the generic definition in variable a solves the compilation issue?

class A<O>
{
    O something;

    <T> T method(T t)
    {
        return t;
    }

    static void testJavaStrangeGenericDefinitionBehavior()
    {
        A a = null;

        String s = a.method("abc");
    }
}

回答1:


A a = null;

should be:

A<String> a = null; // or better yet, new A<String>();

Although, you could substitute any class for String since, as you say, the T and O generics are different types.

Once you remove the generic parameter, you lose all the generics in your method call, which essentially becomes equivalent to calling:

Object method(Object t);



回答2:


It's because Java's type erasure meaning for backward compatibility all generic type declarations exist only in source code and after compilation they are converted to Object references and proper casts behind the scenes so the JVM in this case is confused that you meant O or T.



来源:https://stackoverflow.com/questions/53655504/java-generics-why-incompatible-types-compilation-error-if-a-class-generic-t

易学教程内所有资源均来自网络或用户发布的内容,如有违反法律规定的内容欢迎反馈
该文章没有解决你所遇到的问题?点击提问,说说你的问题,让更多的人一起探讨吧!