是否正确定义了“ 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。结果的类型是布尔

和布尔是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类型的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 ...结果的类型为bool。

和（3.9.1基本类型）

6 bool类型的值为true或false。49[注意：没有带符号，无符号，短或长的bool类型或值。—尾注] bool类型的值参与积分提升（4.5）。

和（4.5整体促销）

6 bool类型的prvalue可以转换为int类型的prvalue，false变为零，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。