Collections.binarySearchの2つの一般的な署名はどのように異なるのですか？ここ

Question

はJavaでCollections.binarySearchの定義です：私はそれを理解したよう

static <T extends Comparable<? super T>> int binarySearch(List<T> list, T key) 
static <T> int binarySearch(List<T>, T x, Comparator<? super T>) 

：

static <T> int binarySearch(List<? extends Comparable<? super T> list, T key) 
static <T> int binarySearch(List<? extends T> list, T key, Comparator<? super T> c) 

はどのように彼らは（Collections.sortに似ています）以下の定義は異なります

最初の定義では、値のリストの中でタイプTのキーを検索することができます。値のタイプは、タイプTのインスタンスを比較する方法を知っている、 "タイプ"です。

Comparatorを使用して、タイプTのタイプのいずれかを比較する方法を知っているタイプのタイプのキーのうち、タイプがTタイプと同じか "低い"タイプのキーを検索できます「上」タイプ。

基本的に、私は理解していないことは、リストの内容がキーと同じタイプを持つように強制されないのはなぜですか？

Answer 1

最初のシグネチャセットは少し一般的です。これは奇数のエッジケースで動作し、2番目のエッジケースは拒否します。これは、最初の署名のために動作しますが、（あなたが最初Timestampにkeyを変換する必要があると思います）は、第2の下型エラーとして拒否される

import java.sql.Timestamp; // extends Date implements Comparable<Date> (!) 
import java.util.Date; 

List<Timestamp> timestamps = ...; 
Date key = ...; 
int index = Collections.binarySearch(timestamps, key); 

の場合を考えてみましょう。

これはまれなことかもしれませんが、TimestampとDateの例では、JDKの例があります。

binarySearchは、リストの要素とリストの他の要素を比較する必要はないことを覚えておいてください。リストの要素と指定されたkeyを比較することしかないので、リストの要素がkeyと匹敵する（必ずしもそうでなくてもよい）ことを要求することは意味をなさない。