¿Está bien definida la operación "falso <verdadero"?

La definición de C ++ define:

1. la existencia del operador 'menor que' para parámetros booleanos, y si es así,
2. ¿El resultado de las 4 permutaciones de parámetros?

En otras palabras, ¿los resultados de las siguientes operaciones están definidos por la especificación?

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

En mi configuración (Centos 7, gcc 4.8.2), el siguiente código escupe lo que esperaría (dado el historial de C de representar falso como 0 y verdadero como 1):

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

Si bien estoy bastante seguro de que la mayoría de los compiladores (¿todos?) Darán el mismo resultado, ¿está esto legislado por la especificación C ++? ¿O es un ofuscador, pero el compilador que cumple con las especificaciones puede decidir que verdadero es menos 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:

Las operaciones están bien definidas de acuerdo con el borrador del estándar C ++.

Detalles

Podemos ver eso yendo al borrador de la sección estándar de C ++ 5.9 Operadores relacionales que dice ( énfasis mío en adelante ):

Los operandos deben tener aritmética , enumeración o tipo de puntero , o tipo std :: nullptr_t. Los operadores <(menor que),> (mayor que), <= (menor o igual que) y> = (mayor o igual que) todos producen falso o verdadero. El tipo del resultado es bool

y bools son tipos aritmáticos de 3.9.1 Tipos fundamentales

Los tipos bool , char, char16_t, char32_t, wchar_t y los tipos enteros con y sin signo se denominan colectivamente tipos integrales.

y

Los tipos integrales y flotantes se denominan colectivamente tipos aritméticos.

y truey falseson literales booleanos de literales 2.14.6booleanos:

boolean-literal:
    false
    true

Volviendo a la sección 5.9para ver más a fondo la mecánica de los operadores relacionales, dice:

Las conversiones aritméticas habituales se realizan en operandos de tipo aritmético o de enumeración.

Las conversiones aritméticas habituales se tratan en la sección 5que dice:

De lo contrario, las promociones integrales (4.5) se realizarán en ambos operandos

y la sección 4.5dice:

Un valor de tipo bool se puede convertir en un valor de tipo int, con falso convirtiéndose en cero y verdadero convirtiéndose en uno.

y entonces las expresiones:

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

El uso de estas reglas se convierte en:

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

Los valores booleanos están sujetos a las promociones enteras habituales, con falsedefinido como 0y truedefinido como 1. Eso hace que todas las comparaciones estén bien definidas.

De acuerdo con el estándar C ++ (5.9 operadores relacionales)

2 Las conversiones aritméticas habituales se realizan en operandos de tipo aritmético o de enumeración.

y

1 ... El tipo de resultado es bool.

y (3.9.1 Tipos fundamentales)

6 Los valores de tipo bool son verdaderos o falsos.49 [Nota: No hay tipos o valores de bool con signo, sin signo, cortos o largos. —Nota final] Los valores de tipo bool participan en promociones integrales (4.5).

y (4.5 Promociones integrales)

6 Un valor de tipo bool se puede convertir en un valor de tipo int, con falso convirtiéndose en cero y verdadero convirtiéndose en uno .

Entonces, en todos sus ejemplos, verdadero se convierte en int 1 y falso se convierte en int 0

Estas expresiones

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

son enteramente equivalentes a

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

Boolean falsees equivalente a int 0, y boolean truees equivalente a int 1. Entonces esto explica por qué la expresión false < true=> 0 < 1es la única que regresa true.