Question

设计程序语言为啥要引入布尔类型

Answer 1

在解释这个问题之前，首先需要解释一下什么是布尔类型。简单来说，只有两个值，false 和 true，也就是用来判断条件是否成立。

在设计程序的时候，你需要考虑程序接受了内容之后，会产生什么样的输出。也就是说，要对这其中的过程进行一个流程的控制，那么如何进行流程控制呢？

程序接受了输入之后，我们要把这个输入值和真值进行比较。根据比较的结果来判断，输入是否正确。这种类似的逻辑判断流程，也就是我们所谓的流程控制。举个例子，如果输入的值是5，但是真值为6，那么布尔类型的输出结果就是false。简单来说，引入布尔程序是为了进行对流程的控制，进而控制最后的输出结果。

其实这种布尔类型也可以简单地用0和1来表示，看起来似乎比“true”和“false”的布尔类型更为简单。那么如果这样的话，引入布尔类型的意义在哪里呢？个人认为是为了增加程序的可读性。简单来讲，就是更接近自然语言，能够方便理解，让人看着很舒服。

程序的设计也需要考虑到多方面的内容，如果仅仅考虑简便，0和1的结果也就足够了。大家所熟悉的C语言中就没有引入布尔类型。

布尔程序只具有两个值的特性，使得其在程序修复的过程中，可以作为中间语言进行代码的修复。不过那就是更为复杂的东西了，在这里姑且不作探讨。