操作は「false <true」で明確に定義されていますか？

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 ++仕様によって規定されていますか？または、難読化されていますが、仕様に準拠したコンパイラは、trueがfalseよりも小さいと判断できますか？

#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 関係演算子のドラフトに移動すると、次のように表示されます（強調は今後の予定です）。

オペランドは、算術有するもの、列挙、またはポインタ型、または型のstd :: nullptr_tを。演算子<（以下）、>（以上）、<=（以下）、および> =（以上）はすべてfalseまたはtrueを返します。結果のタイプはブールです

boolは3.9.1からの算術型であり、基本型

bool型、char 型、char16_t型、char32_t型、wchar_t型、および符号付き整数型と符号なし整数型は、まとめて整数型 と呼ばれます。

そして

整数型と浮動小数点型はまとめて算術型と呼ばれます。

そして、trueしてfalseからbooleanリテラル2.14.6ブールリテラル：

boolean-literal:
    false
    true

セクション5.9に戻り、関係演算子のメカニズムをさらに確認すると、次のようになります。

通常の算術変換は、算術型または列挙型のオペランドに対して実行されます。

通常の算術変換はセクションで説明されている5と言いました。

それ以外の場合、整数の昇格（4.5）は両方のオペランドで実行されます。

そしてセクション4.5は言う：

bool型のprvalueはint型のprvalueに変換でき、falseはゼロになり、trueは1になります。

そして式：

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 ...結果のタイプはブールです。

および（3.9.1基本タイプ）

6 bool型の値は、trueまたはfalseです。49[注：符号付き、符号なし、短い、または長いbool型または値はありません。—end note] タイプboolの値は、整数昇格（4.5）に参加します。

および（4.5統合プロモーション）

6 bool型のprvalueは、int型のprvalueに変換できます。falseは0になり、trueは1になります。

したがって、すべての例で、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。