操作“假

Question

C规范是否定义了：

1. 布尔参数的“小于”运算符的存在性，如果存在，则为

换句话说，以下操作的结果是否由规范定义？

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;
}

Answer 1

根据C标准（5.9关系运算符）

2通常的算术转换是对算术或枚举类型的操作数执行的。

和

1...结果的类型是bool。

和（3.9.1基本类型）

6 bool类型的值是true或false.49[注：没有符号，无符号，短或长bool类型或值。-结束注释]bool类型的值参与积分促销（4.5）。

和（4.5积分促销）

6布尔类型的PR值可以转换为int类型的PR值，假变为零，真变为一。

所以在你们所有的例子中，true被转换成int 1，false被转换成int 0

这些表达

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

完全等同于

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

Answer 2

布尔值受通常整数提升的影响，false定义为0，true定义为1。这使得所有的比较都很明确。

Answer 3

TL；博士：

根据C标准草案对操作进行了明确定义。

细节

我们可以通过查看C标准草案第5.9节“关系运算符”来了解这一点，它说（重点放在后面）：

操作数应具有算术、枚举或指针类型，或std:：nullptr_t类型。运算符

布尔是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变为0，true变为1。

所以这些表达：

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

使用这些规则成为：

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