有符号和无符号字符答案

【问题标题】：Signed and unsigned char有符号和无符号字符
【发布时间】：2019-01-15 20:48:33
【问题描述】：

为什么signed char和unsigned char这样的两个char值相同的不相等？

char a = 0xfb; 
unsigned char b = 0xfb;
bool f;
f = (a == b); 
cout << f;

以上代码中f的值为0。
当a 和b 具有相同的值时，为什么会这样？

【问题讨论】：

你在编译器中看到过这个警告吗？ warning: overflow in conversion from 'int' to 'char' changes value from '251' to ''\37777777773'' [-Woverflow] char a=0xfb;see here.
我的代码在没有任何警告的情况下运行并且输出为 0;
尝试启用警告。 a 的值为 -5。 b 的值为251。它们不相等。
@Bathsheba 我认为深入了解语言律师细节对 OP 没有帮助。让我们尝试解释观察到的行为。
@RaymondChen：垃圾。在这里选择答案是合适的。我真的不明白你的意思。不要 (i) 对 OP 做出假设，并且 (ii) 不要假设整个页面都针对 OP。你上面的评论是无知的。我可以访问一台机器，其中 char、short、int、long 和 long long 的大小都相同。

【解决方案1】：

您尝试分配给这两个变量的是十进制的251。由于char 无法保存该值，您将遭受值溢出，如下警告所示。

警告：从 'int' 到 'char' 的转换溢出将值从 '251' 更改为 ''\37777777773'' [-Woverflow]

因此a 可能会保持价值-5 而b 将是251，它们确实不相等。

【讨论】：

【解决方案2】：

f 的值，事实上，程序的行为，是实现定义的。

从 C++14 开始¹，对于 signed char，假设 CHAR_MAX 是 127，a 可能是 -5。正式地说，如果char 是signed 并且数字不适合char，则转换是实现定义的或引发实现定义的信号。

b 是251。

为了比较a == b（并保留char 是比int 更窄的类型的假设）两个参数都转换为int，-5 和@ 987654339@因此保留。

那是false，因为数字不相等。

最后，请注意，在 char、short 和 int 大小相同的平台上，您的代码结果将是 true（而 == 将在 @987654346 @类型）！故事的寓意：不要混合你的类型。

¹ C++14 去掉了 1 的补码并带符号幅度signed char。

【讨论】：

【解决方案3】：

没有接受小于int 的整数的算术运算符。因此，两个 char 值首先被提升为 int，详情请参阅 integral promotion 。

char 在你的平台上签名，所以0xfb 被提升为int(-5)，而unsigned char 被提升为int(0x000000fb)。这两个整数比较不相等。

另一方面，[basic.fundamental] 中的标准要求所有 char 类型占用相同的存储量并具有相同的对齐要求；也就是说，它们具有相同的对象表示，并且对象表示的所有位都参与了值表示。因此，memcmp(&a, &b, 1) == 0 是 true。

【讨论】：