std :: sort（）compare関数で "return lhs.size（）== rhs.size（）"を使用できないのはなぜですか？

Question

タイトルが言ったように、私はテストのデモを書いた

bool comp(string lhs, string rhs) { 
    return lhs.size() < rhs.size(); 
} 

bool comp1(string lhs, string rhs) { 
    return lhs.size() == rhs.size(); 
} 

int main(int argc, const char *argv[]) { 
    string str[] = {"dog", "is", "cat", "elephant", "fish", "cow"}; 
    std::sort(str, str + 6, comp1); 
    output(); 
} 

出力：期待cat dog is elephant fish cow

：何、...cat dog cow...

は、私が一緒に、同じ大きさの文字列を入れたいが、それは動作しませんでしたが問題？

Answer 1

comp1(a,b)とcomp1(b,a)はどちらも返すことができません。trueは許可されていません。 std::sortは述べている：

COMP - 最初の引数は、第二の（すなわち前に順序付けされる）未満である場合に真を返す比較関数オブジェクト（Compareの要件を満たし、すなわちオブジェクト）。

そして、我々はまた、参照Compareへのリンク次

はすべて、COMP（A）== falseを
*カンプた場合については、次の特性
*とstrict weak ordering関係を確立（a、b）== trueの場合、comp（b、c）== true then comp（a、b）== trueの場合、comp（b、a）== false
* true

最初の関数compは、次の要件を満たしています.2つのオブジェクトがtrueを返すことはできません。 comp(a,b)がtrue,を返した場合、comp(b,a)はfalseを返します。ただし、これは2番目の関数comp1には当てはまりません。 comp1(a,b)はtrueを返します。comp(b,a)となるため、sortは決して終了しないため、コンパイルされません。同じサイズが一緒にグループ化される任意の文字列：

あなたが

は、私が一緒に

しかし、単にoperator<は、それらの結果を達成する使用して、同じ大きさの文字列を入れたいと述べています。

Answer 2

==は、strict weak orderを形成しません。

bool comp(string const& lhs, string const& rhs) { 
    return lhs.size() < rhs.size(); 
} 

それとも、同じ長さの文字列のソート辞書式をしたい場合：以下はあなたの説明ごとに理想的である必要があり

bool comp(string const& lhs, string const& rhs) { 
    return 
     lhs.size() < rhs.size() 
    || (lhs.size() == rhs.size() && lhs < rhs); 
} 

さらに読書のために、ここでのトピックの私のお気に入りの記事があります：Order I Say!