|
|
|
LessThanComparableBoost , ,
|
|||||||||||||||||||||||||||||||||
| X | A type that is a model of LessThanComparable |
| x, y, z | Object of type X |
Рассмотрим соотношение!(x
Еслиоператорявляется строго слабым упорядочением, и если каждый класс эквивалентности имеет только один элемент, тооператорявляетсяполным упорядочением.
| Name | Expression | Type requirements | Return type |
|---|---|---|---|
| Less | x < y | Convertible to bool |
| Name | Expression | Precondition | Semantics | Postcondition |
|---|---|---|---|---|
| Less | x < y | x and y are in the domain of < |
| Irreflexivity | x < x must be false. |
| Antisymmetry | x < y implies !(y < x) [2] |
| Transitivity | x < y and y < z implies x < z [3] |
Толькооператор<является фундаментальным; другие операторы неравенства по существу являются синтаксическим сахаром.
Антисимметрия — это теорема, а не аксиома: она вытекает из нерефлексивности и транзитивности.
Из-за нерефлексивности и транзитивностиоператорвсегда удовлетворяет определениючастичного порядка. Определениестрогого слабого порядкаболее строгое, а определениеполного порядкаеще более строгое.
Равенство Сравнимое,Строгое Слабое Заказ
Пересмотрено05 Декабря 200605 December, 2006[ORIG_END] -->
| Copyright © 2000 | Джереми Сик, Univ.of Notre Damejsiek@lsc.nd.edu |
Распространяется в соответствии с лицензией Boost Software License, Version 1.0. (См. сопроводительный файлLICENSE_1_0.txtили копию в) http://www.boost.org/LICENSE_1_0.txt
Статья LessThanComparable раздела может быть полезна для разработчиков на c++ и boost.
:: Главная :: ::
реклама |
