FasterXML / FasterXML/java-classmate
Unintuitive information about member methods wrt return type covariance
- 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.