PartialOrdering, StrictWeakOrdering, TotalOrdering, в чем основное отличие в приложении
Из-за нерефлексивности и транзитивности оператор <всегда удовлетворяет определению частичного упорядочения. Определение строгого слабого порядка является более строгим, а определение полного порядка - еще более строгим.
И я также прочитал определение строгого слабого порядка в документе:StrictWeakOrdering
Первые три аксиомы, нерефлексивность, антисимметрия и транзитивность, являются определением частичного упорядочения; Транзитивность эквивалентности требуется по определению строгого слабого порядка. Тотальный порядок - это тот, который удовлетворяет еще более строгому условию: эквивалентность должна совпадать с равенством.
Я не совсем уверен в этом определении. Некоторые основные вопросы:
1.Isчастичный заказ неявно определить эквивалентность?
2. Как насчетстрогий слабый порядок а такжеобщий заказ?
3.STL требует строгого слабого упорядочения в алгоритмах сортировки, почему не частичное или полное упорядочение? Для этого вопроса я прочитал некоторые учебники, которые доказывают, что действительные правила сравнения доказывают, что правило удовлетворяет трем аксиомам: нерефлексивность, антисимметрия, транзитивность, которая является определением для частичного упорядочения, и документ ссылается на то, что оператор <всегда удовлетворяет этому определению, поэтому почему мы не можем просто сравнить объекты, используя частичное упорядочение или, что то же самое, используя оператор