FasterXML / FasterXML/java-classmate

Unintuitive information about member methods wrt return type covariance

Ouverte
#57 1 commentaire 0 réactions 0 personnes assignées Voir sur GitHub
Langage dominant
Java
Étoiles
266
Forks
47
Merge moyen
1 h 42 min
PR mergées (30 j)
1

Description

I've recently come across a surprising behaviour regarding `MemberResolver`'s `getMemberMethods`. Consider the following classes:

```java
interface Foo {}

class Bar implements Foo {}

interface A {
Foo doSomething();
}

class B {
public Bar doSomething() {
return null;
}
}

class C extends B implements A {}
```

Notice that `C` implements `A.doSomething()` through `B.doSomething()`.

When inspecting the members of C like this:

```java
var typeResolver = new TypeResolver();
var methods = new MemberResolver(typeResolver).resolve(typeResolver.resolve(C.class), null, null).getMemberMethods();
```

`methods` will contain a single method - `public abstract Foo A.doSomething()`. However, this doesn't tell the whole story - notice that `B.doSomething` actually returns a `Bar` instead of a `Foo`. Therefore, in this case I'd expect `methods` to contain `public Bar B.doSomething()`, which gives me more information than `A.doSomething()` does.

Guide de contribution

Aucun guide de contribution indexé pour ce dépôt

Évaluation

Cette issue n'a pas encore été évaluée.

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.