是否应在分配时将布尔值截断为 true 或 false

>我发现存储在布尔变量(顺便说一句 Visual-C++ 和 clang++)中的值存在差异，在存储的值既不真也不假的情况下(如果它以某种方式损坏)，我不确定这是一个视觉C++错误，还是只是我应该忽略的 UB。

以以下示例为例：

#include <cstdint>
#include <iostream>
#include <string>
#include <limits>
bool inLimits(bool const v)
{
return (static_cast<std::int32_t>(v) >= static_cast<std::int32_t>(std::numeric_limits<bool>::min()) && static_cast<std::int32_t>(v) <= static_cast<std::int32_t>(std::numeric_limits<bool>::max()));
}
int main()
{
bool b{ false };
bool const* const pb = reinterpret_cast<bool const*>(&b);
std::uint8_t * const pi = reinterpret_cast<std::uint8_t*>(&b);
std::cout << "b: " << b << " pb: " << (*pb) << " pi: " << std::to_string(*pi) << std::endl;
std::cout << "b is " << (inLimits(b) ? "" : "not ") << "in numeric limits for a bool" << std::endl;
*pi = 3; // Simulate a bad cast during boolean creation
bool const b2{ b };
bool const b3{ *pb };
std::cout << "b: " << b << " pb: " << (*pb) << " pi: " << std::to_string(*pi) << std::endl;
std::cout << "b2: " << b2 << " b3: " << b3 << std::endl;
std::cout << "b is " << (inLimits(b) ? "" : "not ") << "in numeric limits for a bool" << std::endl;
std::cout << "b2 is " << (inLimits(b2) ? "" : "not ") << "in numeric limits for a bool" << std::endl;
std::cout << "b3 is " << (inLimits(b3) ? "" : "not ") << "in numeric limits for a bool" << std::endl;
return 0;
}

这是视觉C++的输出

b: 0 pb: 0 pi: 0
b is in numeric limits for a bool
b: 3 pb: 3 pi: 3
b2: 3 b3: 3
b is not in numeric limits for a bool
b2 is not in numeric limits for a bool
b3 is not in numeric limits for a bool

这是 clang++ 的输出

b: 0 pb: 0 pi: 0
b is in numeric limits for a bool
b: 1 pb: 1 pi: 3
b2: 1 b3: 1
b is in numeric limits for a bool
b2 is in numeric limits for a bool
b3 is in numeric limits for a bool

看起来在按值构造新的布尔值时，以及当它与流运算符一起使用时，clang++ 中有一个限制检查。

我应该忽略这一点，还是只有视觉C++才有的错误？ 谢谢！

编辑：对于那些不了解示例目的的人来说，它只是一个展示，用于"模拟"内存损坏或代码另一部分中的错误，这些错误导致布尔值被初始化为真或假以外的其他东西，无论布尔值的二进制表示如何。

(我想知道我是否必须使用断言保护我的代码免受其他地方的不当使用，但前提是此行为不是 UB)

第二次编辑：添加了numeric_limits代码。