Si un type implémente deux interfaces, et chacune interface
définit une méthode qui a une signature identique, alors en fait il n'y a qu'une seule méthode, et elles ne sont pas distinguables. Si, par exemple, les deux méthodes ont des types de retour en conflit, ce sera une erreur de compilation. Il s'agit de la règle générale d'héritage, de substitution de méthode, de masquage et de déclarations.Elle s'applique également aux conflits possibles non seulement entre 2 interface
méthodes héritées , mais aussi à une interface
et à une super class
méthode, ou même aux conflits dus à l'effacement de type de génériques.
Exemple de compatibilité
Voici un exemple où vous avez un interface Gift
, qui a une present()
méthode (comme dans, présenter des cadeaux), et aussi un interface Guest
, qui a également une present()
méthode (comme dans, l'invité est présent et non absent).
Presentable johnny
est à la fois un Gift
et un Guest
.
public class InterfaceTest {
interface Gift { void present(); }
interface Guest { void present(); }
interface Presentable extends Gift, Guest { }
public static void main(String[] args) {
Presentable johnny = new Presentable() {
@Override public void present() {
System.out.println("Heeeereee's Johnny!!!");
}
};
johnny.present(); // "Heeeereee's Johnny!!!"
((Gift) johnny).present(); // "Heeeereee's Johnny!!!"
((Guest) johnny).present(); // "Heeeereee's Johnny!!!"
Gift johnnyAsGift = (Gift) johnny;
johnnyAsGift.present(); // "Heeeereee's Johnny!!!"
Guest johnnyAsGuest = (Guest) johnny;
johnnyAsGuest.present(); // "Heeeereee's Johnny!!!"
}
}
L'extrait ci-dessus se compile et s'exécute.
Notez qu'il n'y en a qu'un seul @Override
nécessaire !!! . En effet, Gift.present()
et Guest.present()
sont " @Override
équivalentes" ( JLS 8.4.2 ).
Ainsi, il johnny
n'y a qu'une seule implémentation de present()
, et peu importe comment vous traitez johnny
, que ce soit en tant que Gift
ou en tant que Guest
, il n'y a qu'une seule méthode à invoquer.
Exemple d'incompatibilité
Voici un exemple où les deux méthodes héritées ne sont PAS @Override
équivalentes:
public class InterfaceTest {
interface Gift { void present(); }
interface Guest { boolean present(); }
interface Presentable extends Gift, Guest { } // DOES NOT COMPILE!!!
// "types InterfaceTest.Guest and InterfaceTest.Gift are incompatible;
// both define present(), but with unrelated return types"
}
Cela réitère en outre que l'héritage des membres d'un interface
doit obéir à la règle générale des déclarations de membres. Ici, nous avons Gift
et Guest
définissons present()
avec des types de retour incompatibles: l'un void
l'autre boolean
. Pour la même raison que vous ne pouvez pas utiliser un void present()
et un boolean present()
dans un type, cet exemple entraîne une erreur de compilation.
Résumé
Vous pouvez hériter de méthodes @Override
équivalentes, sous réserve des exigences habituelles de remplacement et de masquage des méthodes. Puisqu'ils SONT @Override
équivalents, il n'y a en fait qu'une seule méthode à implémenter, et donc il n'y a rien à distinguer / sélectionner.
Le compilateur n'a pas à identifier quelle méthode est pour quelle interface, car une fois qu'ils sont déterminés comme étant @Override
équivalents, ils sont la même méthode.
Résoudre les incompatibilités potentielles peut être une tâche délicate, mais c'est un autre problème.
Références
default
méthodes en Java 8.Foo
etBar
. Fondamentalement, votre classe implémente l'une des interfaces, par exempleFoo
, et fournit uneBar asBar()
méthode pour renvoyer une classe interne qui implémente la deuxièmeBar
interface. Pas parfait puisque votre classe n'est finalement pas "un bar", mais cela pourrait être utile dans certaines circonstances.Cela a été marqué comme un double de cette question /programming/24401064/understanding-and-solving-the-diamond-problems-in-java
Vous avez besoin de Java 8 pour obtenir un problème d'héritage multiple, mais ce n'est toujours pas un problème de diamant en tant que tel.
Comme le commente JB Nizet, vous pouvez résoudre ce problème.
Cependant, vous n'avez pas de problème avec
la source
hi()
(pour corriger l'ambiguïté). Par exemple, en l'implémentant de manièreA.super.hi()
à choisir de l'implémenter de la même manière que A.En ce qui concerne le compilateur, ces deux méthodes sont identiques. Il y aura une mise en œuvre des deux.
Ce n'est pas un problème si les deux méthodes sont effectivement identiques, en ce sens qu'elles devraient avoir la même implémentation. S'ils sont contractuellement différents (selon la documentation de chaque interface), vous aurez des ennuis.
la source
Il n'y a rien à identifier. Les interfaces proscrivent uniquement un nom et une signature de méthode. Si les deux interfaces ont une méthode ayant exactement le même nom et la même signature, la classe d'implémentation peut implémenter les deux méthodes d'interface avec une seule méthode concrète.
Cependant, si les contrats sémantiques des deux méthodes d'interface se contredisent, vous avez à peu près perdu; vous ne pouvez alors pas implémenter les deux interfaces dans une seule classe.
la source
Essayez d'implémenter l'interface comme anonyme.
la source
Comme dans l'interface, nous ne faisons que déclarer des méthodes, la classe concrète qui implémente ces deux interfaces comprend qu'il n'y a qu'une seule méthode (comme vous l'avez décrit les deux ont le même nom dans le type de retour). il ne devrait donc pas y avoir de problème. Vous pourrez définir cette méthode dans une classe concrète.
Mais lorsque deux interfaces ont une méthode avec le même nom mais un type de retour différent et que vous implémentez deux méthodes dans une classe concrète:
Veuillez regarder le code ci-dessous:
quand le compilateur obtient la méthode "public void print ()" il regarde d'abord dans InterfaceA et il l'obtient. Mais il donne quand même une erreur de temps de compilation que le type de retour n'est pas compatible avec la méthode d'InterfaceB.
Il en va de même pour le compilateur.
De cette façon, vous ne pourrez pas implémenter deux interfaces ayant une méthode de même nom mais de type de retour différent.
la source
Eh bien, s'ils sont tous les deux identiques, cela n'a pas d'importance. Il implémente les deux avec une seule méthode concrète par méthode d'interface.
la source