Чи чітко визначена операція "хибність <правда"?

Чи визначає специфікація C ++:

1. існування оператора "менше ніж" для булевих параметрів, і якщо так,
2. результат 4 перестановок параметра?

Іншими словами, чи визначені специфікацією результати наступних операцій?

false < false
false < true
true < false
true < true

У моїй установці (Centos 7, gcc 4.8.2) наведений нижче код виказує те, що я очікував (з огляду на історію C, що представляє false як 0 та true як 1):

false < false = false
false < true = true
true < false = false
true < true = false

Хоча я впевнений, що більшість (усіх?) Компіляторів дадуть однаковий результат, чи це законодавство визначається специфікацією C ++? Або компульсивний компілятор, який відповідає специфікаціям, може вирішити, що правда менша за помилкову?

#include <iostream>

const char * s(bool a)
{
  return (a ? "true" : "false");
}

void test(bool a, bool b)
{
  std::cout << s(a) << " < " << s(b) << " = " << s(a < b) << std::endl;
}

int main(int argc, char* argv[])
{
  test(false, false);
  test(false, true);
  test(true, false);
  test(true, true);
  return 0;
}

TL; DR:

Операції чітко визначені відповідно до проекту стандарту C ++.

Деталі

Це ми можемо побачити, перейшовши на проект стандартного розділу C ++ 5.9 Реляційні оператори, який говорить ( акцент минає вперед ):

У операнди повинні мати арифметичний , перерахування, або покажчик типу , або типу зЬй :: nullptr_t. Оператори <(менше, ніж),> (більше, ніж), <= (менше або дорівнюють) і> = (більше або дорівнюють) всі дають помилкові чи істинні. Тип результату - bool

і булі - це арифметичні типи від 3.9.1 Основні типи

Типи bool , char, char16_t, char32_t, wchar_t, а також підписані та непідписані цілі цілі типи називаються цілісними типами.

і

Інтегральні та плаваючі типи спільно називають арифметичними типами.

і trueі falseє булеві літерали з 2.14.6булевих литералов:

boolean-literal:
    false
    true

Повертаючись до розділу, 5.9щоб побачити механіку реляційних операторів далі, він говорить:

Звичайні арифметичні перетворення виконуються на операндах арифметичного чи перелічувального типу.

що звичайні арифметичні перетворення розглядаються в розділі , 5де йдеться:

В іншому випадку інтегральні промоції (4.5) повинні виконуватися на обох операндах

і розділ 4.5говорить:

Двозначне bool типу може бути перетворене в первісне значення типу int, при цьому помилкове стає нульовим, а істинне стає єдиним.

і так вирази:

false < false
false < true
true < false
true < true

з використанням цих правил стають:

0 < 0
0 < 1
1 < 0
1 < 1

Булеві значення залежать від звичайних цілих акцій, falseвизначених як 0і trueвизначених як 1. Це робить усі порівняння чітко визначеними.

Відповідно до стандарту C ++ (5,9 реляційних операторів)

2 Звичайні арифметичні перетворення виконуються на операндах арифметичного чи перелічувального типу.

і

1 ... Тип результату - bool.

та (3.9.1 Основні типи)

6 Значення типу bool є істинними, або хибними.49 [Примітка: Немає підписаних, непідписаних, коротких чи довгих типів або значень bool. —Закінчити примітку] Значення типу bool беруть участь у цілісних акціях (4.5).

та (4.5 інтегральних акцій)

6 Перша величина bool типу може бути перетворена в первісну величину типу int, при цьому помилка стає нульовою, а істина стає єдиною .

Отже, у всіх ваших прикладах true перетворюється на int 1, а false - на int 0

Ці вирази

false < false
false < true
true < false
true < true

цілком еквівалентні

0 < 0
0 < 1
1 < 0
1 < 1

Булева falseеквівалентна int 0, а булева trueеквівалентна int 1. Отже, це пояснює, чому вираз false < true=> 0 < 1є єдиним, що повертається true.