A operação "false <true" está bem definida?

A especificação C ++ define:

1. a existência do operador 'less than' para parâmetros booleanos e, em caso afirmativo,
2. o resultado das 4 permutações de parâmetros?

Em outras palavras, os resultados das seguintes operações são definidos pela especificação?

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

Na minha instalação (Centos 7, gcc 4.8.2), o código abaixo mostra o que eu esperaria (dado o histórico de C de representar falso como 0 e verdadeiro como 1):

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

Embora eu tenha certeza de que a maioria dos compiladores (todos?) Fornecerá a mesma saída, isso é legislado pela especificação C ++? Ou um compilador ofuscante, mas compatível com as especificações, pode decidir que verdadeiro é menor que falso?

#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:

As operações são bem definidas de acordo com o rascunho do padrão C ++.

Detalhes

Podemos ver isso indo para a seção preliminar de 5.9 operadores do C ++ , que diz ( ênfase a minha adiante ):

Os operandos devem ter aritmética , enumeração ou tipo de ponteiro ou tipo std :: nullptr_t. Os operadores <(menor que),> (maior que), <= (menor ou igual a) e> = (maior ou igual a) todos produzem falso ou verdadeiro. O tipo do resultado é booleano

e bools são tipos aritemáticos de 3.9.1 Tipos fundamentais

Os tipos bool , char, char16_t, char32_t, wchar_t e os tipos de números inteiros assinados e não assinados são chamados coletivamente de tipos integrais.

e

Tipos integrais e flutuantes são chamados coletivamente de tipos aritméticos.

e truee falsesão literais booleanos de 2.14.6literais booleanos:

boolean-literal:
    false
    true

Voltando à seção 5.9para ver a mecânica dos operadores relacionais, ele diz:

As conversões aritméticas usuais são realizadas em operandos do tipo aritmético ou de enumeração.

as conversões aritméticas comuns são abordadas na seção 5que diz:

Caso contrário, as promoções integrais (4.5) devem ser realizadas nos dois operandos

e a seção 4.5diz:

Um pré-valor do tipo bool pode ser convertido em um pré-valor do tipo int, com false se tornando zero e true se tornando um.

e então as expressões:

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

O uso dessas regras se torna:

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

Os valores booleanos estão sujeitos às promoções inteiras usuais, com falsedefinido como 0e truedefinido como 1. Isso torna todas as comparações bem definidas.

De acordo com o padrão C ++ (operadores relacionais 5.9)

2 As conversões aritméticas usuais são realizadas em operandos do tipo aritmético ou de enumeração.

e

1 ... O tipo do resultado é booleano.

e (3.9.1 tipos fundamentais)

6 Os valores do tipo bool são verdadeiros ou falsos.49 [Nota: Não há tipos ou valores de bool assinados, não assinados, curtos ou longos. - end note] Os valores do tipo bool participam de promoções integrais (4.5).

e (4.5 Promoções integrais)

6 Um pré-valor do tipo bool pode ser convertido em um pré-valor do tipo int, com false se tornando zero e true se tornando um .

Portanto, em todos os seus exemplos, true é convertido em int 1 e false é convertido em int 0

Essas expressões

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

são inteiramente equivalentes a

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

Booleano falseé equivalente a int 0, e booleano trueé equivalente a int 1. Portanto, isso explica por que a expressão false < true=> 0 < 1é a única que retorna true.