C++ 中的布尔值是什么？

Question

我遇到了一些非常有趣的代码，让我想知道 bool 是什么。我一直认为它是一种原始类型，例如 int 或 char 或 long。但是今天，我看到了这样的东西：

void boolPtrTest()
{
    bool thisBool = true;

    boolPtrHere(thisBool);

    printf("thisBool is %s\n", thisBool ? "true" : "false");
}

void boolPtrHere(bool& theBool)
{
    theBool = false; // uhh, dereferencing anyone?
}

并且此代码运行 - 没有错误 - 并打印“thisBool is false”！

为了让这更奇怪，我运行了以下代码：

bool myBool = new bool();

...代码运行良好！

在你问我一个“noobish”问题之前给我投反对票

这是我的问题：是 bool 是什么？它是在逐个实现的基础上定义的吗？从上面显示的证据来看，我会说这是一个类。从实际的角度来看（忽略上述内容），将 bool 定义为 int / char 的 typedef 或将其定义为 #define 似乎也是合适的。但是如何知道它是什么（这会影响您如何对待它）？

编辑：我想我会补充一点，我正在使用 VS 2008。

Answer 1

我只是没有看到你描述的“怪异”。

你声明了一个bool，初始化为true。 通过调用一个函数并通过引用传递它，您可以将其值更改为false。

然后你打印出这个值，它就起作用了。 问题是什么？更准确地说，有什么证据表明正在发生奇怪的事情？

由于您想了解详细信息，bool 可能是一个字节（char）或int。 当您将其分配为真/假时，它会获得值 0 或 1。（使用 sizeof 和 printf("%d") 来检查它）。

我怀疑真正的问题是您不了解boolPtrHere 的pass-by-reference。您没有将指针传递给布尔值。您正在通过内存引用传递实际值。 （将其视为不需要取消引用的指针）。

Answer 2

void boolPtrHere(bool& theBool)
{
    theBool = false; // uhh, dereferencing anyone?
}

这段代码没有任何问题。 通过引用获取布尔值。不需要取消引用。

bool myBool = new bool();

new 返回一个地址，该地址转换为true，因为它从不返回非零值。这是一种常见的转换，尤其是在 C 代码中：

int* my_int = malloc(10 * sizeof(int));
if (!my_int) // my_int is converted to bool
    memory_error();

Answer 3

bool 是基本类型； true 和 false 是已初始化的 bool 类型的对象仅有的两个值。

您的函数boolPtrHere() 没有指向bool 的指针（这将是bool*）；它需要一个bool 的引用。它的工作原理与 C++ 中的任何其他参考一样。

至于你的最后一个例子：

bool myBool = new bool();

在 C++ 中，指针可隐式转换为 bool。新表达式返回一个指向动态分配的bool 对象的指针。该指针随后被转换为bool 并存储在 myBool 中。如果指针为空，那么 myBool 将为假；否则它将为真（因为new 永远不会返回 null，myBool 在这种情况下将始终为真）。

Answer 4

Bool 是定义良好的原始整数类型，就像 int、char 等一样。它也有到其他整数类型的数学转换，这有时会让人感到困惑，但我不认为这是你目前的困惑。

我不确定您对包含的第一个代码段有什么特别之处。布尔值可以是引用，就像其他任何东西一样。看来您可能对那里的指针和引用之间的区别感到困惑。

至于第二个代码sn-p，那就有点棘手了。那实际上是内存泄漏，如果我们换一种方式写，应该会更清楚它在做什么：

 bool myBool = (new bool) != 0 ? true : false;

从中，您可以看到它所做的是从堆中分配一个布尔值，然后将结果与 NULL/0 进行比较，并使用该比较的结果来分配给布尔值。请注意，最初从堆中分配的值被泄露。我有点惊讶这不会为您生成编译器错误，我怀疑在某些编译器上它会。

Answer 5

引用不需要被取消引用。指针可以。

Answer 6

这样想：

typedef enum { false=0, true=1 } bool;

Answer 7

我一直认为它是 原始类型，如 int 或 char 或 长。

您似乎是从 Java 的角度来看待 C++。在 Java 中，原始类型总是按值传递，而其他类型总是引用。

C++ 不同。如果以这种方式声明，任何类型都可以是引用。也可以声明int &x或int *x，所以bool没有什么奇怪的。

Answer 8

关于 bool 的一个非常小的惊喜是 sizeof(bool) >= 1。 bool 需要一个完整字节的存储空间。这样它们就可以有一个唯一的地址并被指向，就像在 boolPtrHere 函数中一样。