"both methods have same erasure" error using bounded type parameters

Lapo :

I'm using generics in Java for the first time, and I'm facing an issue I don't manage to overcome: why this compiles:

public interface Aa{}
public interface Bb{}
public interface Cc{}


public static <GenericAB extends Aa & Bb>
void method(GenericAB myABobject1, GenericAB myABobject2){}

public static <GenericAB extends Aa & Bb, GenericCA extends Cc & Aa>
void method(GenericAB myAbobject, GenericCA myCAobject){}

But this does not:

public interface Aa{}
public interface Bb{}
public interface Cc{}


public static <GenericAB extends Aa & Bb>
void method(GenericAB myABobject1, GenericAB myABobject2){}

public static <GenericAB extends Aa & Bb, GenericAC extends Aa & Cc>
void method(GenericAB myAbobject, GenericAC myACobject){}

And I get this error: both methods have same erasure.

I'm sorry if this is a stupid question, but I don't get why the order of interfaces in a bounded type parameter declaration seems to have importance. In reality I don't think it is the order which causes the error, but I don't get what does.

I'm reading this documentation by Oracle, it says which I must put the class as first parameter but Aa, Bb and Cc are all interfaces. Sorry for my english too.

Radiodef :

It is the order that matters (§4.6):

The erasure of a type variable (§4.4) is the erasure of its leftmost bound.

GenericBC erases to either Aa or Cc, depending on which appears first (i.e. leftmost) in the bound.

Also see type erasure tutorial and type erasure, when and what happens Q&A for explanations of type erasure in general.

Guess you like

Origin http://10.200.1.11:23101/article/api/json?id=456858&siteId=1

"both methods have same erasure" error using bounded type parameters

Compiler Error [Java123] method overloading encountered: both methods have same erasure => Java introduced generics type erasure

Overloading a method: both methods have same erasure

How to make two classes which both have method with the same name, signature and return type behave like they would implement the same interface

Error reporting about using LocalDateTime type to receive parameters

Using Generic Type for same functionality

(5) [Interlude] Solving the problem of error reporting in the index.js file regarding parameters that implicitly have the "any" type

On the Java type erasure

Java's type erasure

Generics and type erasure

Type erasure and solutions

Is it okay for two or more interfaces to have the same methods?

java generic generic interface (Generic Methods) type parameters (Type Parameters)

sqlite3 using python module deletes the data error parameters are of unsupported type

Type ‘java.awt.List‘ does not have type parameters

Generic implementation principle: type erasure

[openjdk][translation] in defense of type erasure

Elasticsearch 6.2.3 versions of the same index new type error Rejecting mapping update to [website] as the final mapping would have more than 1 type: [blog2, blog]

Brother Dao: I have two choices in my life, but they are both for the same thing

Can a class have two no-args methods with same name?

In-depth method (4)-simplified writing of the same type of parameters

[WebService] The two classes have the same XML type name...

Using element-plus page component ts error JSX element type "ElRow" does not have any construction signature or call signature

MT [155] Monotonic bounded must have limit

Git: you have both XXX and xxx/xxx.zz error: Error building trees

Git: you have both XXX and xxx/xxx.zz error: Error building trees

"RouteRecordRaw" is a type that must be imported using type-only imports when both "preserveValueImports" and "isolatedModules" are enabled.

How to pass bounded wildcard type argument in Kotlin?

Java Generics: Returning Bounded Generic Type

Why are Optional's or and flatMap methods' supplier type parameters wildcards?