Тришляхове порівняння
В інформатиці, тришляхове[1] порівняння приймає два значення A і B, що належать до лінійно впорядкованого типу і визначає A < B, A = B чи A > B за одну дію, у відповідності до математичного закону трихотомії.
Обчислення на рівні заліза
Ця операція в входить в набори команд багатьох процесорів. Цілі числа на деяких машинах представлені у вигляді знак-і-величина або в оберненому коді (див. представлення чисел зі знаком), обидва підходи дозволяють відрізнити додатний і від'ємний нулі. Це не порушує трихотомію якщо прийнято узгоджений лінійний порядок: правильно або -0 = +0, або -0 < +0. Однак, загальновживані типи з рухомою комою мають виняток із тріхотомії: в них наявне спеціальне значення "NaN" (не число) таке, що всі вирази x < NaN, x > NaN та x = NaN хибні для всіх x з рухомою комою (включно з самим NaN).
Література
Цей розділ потребує доповнення. |
- O. Smolsky. “Defaulted comparison operators” (WG21 paper, 2014-02-19).
- B. Stroustrup. “Default Comparisons (R2)” (WG21 paper, 2015-04-09).
- B. Stroustrup. “Thoughts about Comparisons (R2)” (WG21 paper, 2015-04-09).
- O. Smolsky. “On generating default comparisons” (Kona 2015 wiki, Oct 2015).
- L. Crowl. “Comparison in C++” (WG21 paper, 2016-11-27).
- J. Maurer. “Proposed wording for default comparisons, revision 4” (WG21 paper, 2016-06-23).
- L. Crowl. “Comparison in C++: Basic Facilities” (WG21 paper, 2016-10-15).
- W. Brown. “An Extensible Approach to Obtaining Selected Operators” (WG21 paper, 2016-10-10).
- T. Van Eerd. “Bravely Default” (WG21 paper, 2016-10-15).
- D. Stone. “Implicit and Explicit Default Comparison Operators” (WG21 paper, 2016-09-18).