C++ bool 获得随机/错误值?

-1 c++ debugging boolean

在调试我的代码时,我注意到发生了一些奇怪的事情,所以我添加了更多行并且更加困惑:

#include <iostream>
#include <memory>

struct Node
{
    size_t size = 0;
};

class MallocMetadata {
public:
    size_t size; /** Effective allocation - requested size **/
    bool is_free;
    MallocMetadata *next;
    MallocMetadata *prev;
    MallocMetadata *next_free;
    MallocMetadata *prev_free;
};

int main()
{
    size_t size = 0;
    auto node = std::make_shared<Node>();
    int tmp_res=node->size - size - sizeof(MallocMetadata);
    bool test=(node->size - size - sizeof(MallocMetadata)) < 128;
    bool test1=tmp_res<128;
    std::cout << tmp_res << "\n";
    std::cout << test << "\n";
    std::cout << test1 << "\n";
}
Run Code Online (Sandbox Code Playgroud)

运行这 3 行后,我看到:

tmp_res=-48
test = false
test1 = true
Run Code Online (Sandbox Code Playgroud)

这怎么可能!为什么test是假的,-48 小于 128

这是一个证明:

在此处输入图片说明

Mik*_*CAT 7

看起来该部分node->size - size - sizeof(MallocMetadata)是用无符号整数计算的。

当无符号整数的计算将是负数时,将类型的最大数加一并返回结果。

因此,该值看起来像是大值(128 或更多),从而使表达式为(node->size - size - sizeof(MallocMetadata)) < 128假。

另一方面,int tmp_res=node->size - size - sizeof(MallocMetadata);将大值转换为int. int是有符号的,它可能给出与上面不执行转换为int.

  • 这怎么一样啊?我希望它们的总和小于 128,而不仅仅是 `node-&gt;size` (2认同)
  • @mick 基本代数 `a - b - c &lt; d === a &lt; d + b + c` (2认同)
  • 我有点失望和担心看到至少有两个人同意“这怎么一样”的评论,当这是在小学学习的基本代数...... (2认同)