Comment une méthode "référence à une méthode d'instance d'un objet arbitraire d'un type particulier" résout-elle l'objet arbitraire?

Question

oracle Java 8 documentation définit 4 types de références de méthode que vous pouvez utiliser à la place des expressions Lambda. Ce que j'essaie de comprendre, c'est le type de référence de méthode décrit comme: "Référence à une méthode d'instance d'un objet arbitraire d'un type particulier" qui s'écrit ContainingType::methodName.

Je ne sais pas si je manque quelque chose, mais pour moi, il semble plus comme: « Référence au premier paramètre de la méthode abstraite de l'interface fonctionnelle, en supposant qu'il est de type ContainingType ». J'ai essayé de trouver des exemples où cet 'objet arbitraire' est le deuxième paramètre, mais bien sûr il ne compile pas.

Existe-t-il une référence officielle sur la façon dont cet objet est résolu par le compilateur? Suis-je bien entendu que:

1. L'objet arbitraire doit être le 1er paramètre de la méthode abstraite de l'interface fonctionnelle.
2. La signature de la référence de méthode doit être la même que celle de la méthode abstraite de l'interface fonctionnelle, sans le premier paramètre.

donc une interface fonctionnelle avec méthode abstraite A method(B b, C c, D d) ne peut être transmis méthode d'instance ou références x::methodImplB::methodImpl. Il n'y a aucun moyen que je puisse passer C::methodImpl par exemple, où ce serait une instance de la classe C avec sa signature A methodImpl(B b, D d).

Y at-il d'autres cas qui me manquent, ce qui pourrait être la raison pour laquelle Oracle a écrit ceci d'une manière si ambiguë?

Answer 1

Non, votre compréhension est correcte. La documentation que vous avez liée implique (mais n'insiste pas suffisamment) que, étant donné une interface fonctionnelle qui attend les arguments a1, a2, a3, ..., une référence de méthode de ce type est équivalente à un lambda qui appelle a1.namedMethod(a2, a3, ...).

Notez qu'une définition concrète comme cela est nécessaire pour des raisons de cohérence - étant donné l'exemple sur la documentation liée d'une interface fonctionnelle avec deux String arguments (String s1, String s2), comment voulez-vous déterminer si le comportement serait s1.doThing(s2) ou s2.doThing(s1) autrement?

Vous pouvez trouver ce spécifié précisément dans the JLS:

Si la déclaration de compilation est une méthode d'instance, puis les arguments à l'expression d'invocation de méthode (le cas échéant) sont les paramètres formels deuxième et les suivants de la méthode d'invocation. Sinon, les arguments de l'expression d'invocation de la méthode sont les paramètres formels de la méthode d'invocation.