PartialOrdering, StrictWeakOrdering, TotalOrdering, was ist der Hauptunterschied in der Anwendung
Aufgrund der Irreflexivität und Transitivität erfüllt der Operator <immer die Definition einer Teilordnung. Die Definition einer strengen schwachen Ordnung ist strenger, und die Definition einer Gesamtordnung ist noch strenger.
Und ich habe auch die Definition der strengen schwachen Reihenfolge im Dokument gelesen:StrictWeakOrdering
Die ersten drei Axiome, Irreflexivität, Antisymmetrie und Transitivität, sind die Definition einer partiellen Ordnung; Die Transitivität der Äquivalenz wird durch die Definition einer strengen schwachen Ordnung gefordert. Eine Gesamtordnung ist eine, die eine noch stärkere Bedingung erfüllt: Gleichwertigkeit muss mit Gleichheit identisch sein.
Ich bin mir bei dieser Definition nicht ganz sicher. Einige Hauptfragen:
1.IsTeilbestellung implizit eine Äquivalenz definieren?
2.Was ist damit?strenge schwache Reihenfolge undGesamtbestellung?
3.STL erfordern eine strikte schwache Reihenfolge in Sortieralgorithmen. Warum gibt es keine teilweise oder vollständige Reihenfolge? Für diese Frage habe ich einige Lehrbücher gelesen, die belegen, dass die Vergleichsregeln drei Axiome erfüllen: Irreflexivität, Antisymmetrie, Transitivität, was die Definition für partielle Ordnung ist, und das Dokument verweist darauf, dass der Operator <immer diese Definition erfüllt Warum können wir Objekte nicht einfach mit einer Teilreihenfolge oder gleichwertig mit einem Operator vergleichen?