ラムダ式が実装しているメソッドの見分け方を教えてください

Question

ラムダ式が実装しているメソッドの見分け方を教えてください

JAVA silverの黒本を教材に勉強しています。

public static void main(String[] args){
  List<String> list = new ArrayList<>(
    Arrays.asList(new String[]("A","B","C"})
  );
  list.removeIf(
    (String s) -> {
      return s.equals("B");
    }
  );
  System.out.println(list);
}

上記コードの設問がありまして、コンパイル実行したときの結果を問われました。
ここで分からなかった点が、ラムダ式で記述された部分です。
関数型インターフェースのPredicateのtestを実装しているとのことですが、
初見でこのコードを見たときにどうやってそれを判別しているかがわかりません。

どのようにして見分けるのか、どなたかお教えください。
よろしくお願いいたします。

Comments

[Zuishin]

> Predicateのtest

をしらべてみたらわかりそうです。

[AgoN]

Predicateのtest自体は把握しています。
removeIfがbooleanを求めており、testであれば引数を受け取り評価するためマッチする。これもわかります。
しかし世にはbooleanを返すメソッドなど沢山あると思いますが、なぜPredicateを実装していると断定できるのでしょうか。

[Zuishin]

> なぜPredicateを実装していると断定できるのでしょうか。

list.removeIf が test を要求することは、宣言されているのでわかります。
ラムダ式の方は、シグネチャが同じためそのように推論されます。

[melian]

Predicate インタフェースの test メソッドは、

https://docs.oracle.com/javase/jp/8/docs/api/java/util/function/Predicate.html#test-T-

boolean test(T t)

となっています。なので、String.equals() メソッドが boolean 値(true or false)を返すことから、この lambda 式が Predicate インタフェースを実装していることが判ります。例えば、

return s.equals("B");

を

return 1;

に変更して実行してみてください。

Answer 1

Collection.removeIf のパラメータが Predicate であることはドキュメントから分かります。
そして、関数型インターフェースにはメソッドは一つしかありません。

Comments

[AgoN]

removeIfってただ真偽を入れるのではなくPredicateでしか入れられないんですね。
Predicateばかり調べていてremoveIfから調べていませんでした。
ありがとうございました。