C++ Visual Studio 有符号整数的奇怪行为

Question

我的计算中有一些很长很长的边界常数。现在我有一个奇怪的行为，因为某些条件无效，因为数字被“误解” 第一个输出是我想要使用的数字....在输出中你可以看到 - 符号被删除了，所以我想到了一个下溢，但是当我添加一个 0，所以数字更高，输出是正确的......

我正在使用 Visual Studio 2012

cout<<-2147483648<<endl;
cout<<-2147483649<<endl;
cout<<-21474836480<<endl;
cout<<-21474836490<<endl;
cout<<-214748364800<<endl;
cout<<-214748364900<<endl;

如您所见，在前 2 行中 - 符号已删除

2147483648
2147483647
-21474836480
-21474836490
-214748364800
-214748364900

任何想法这里有什么问题？

Answer 1

编译器警告不容忽视！

由于您没有为整型文字添加后缀，因此编译器使用 int 表示小于 INT_MAX 的值，使用 unsigned int 表示介于 INT_MAX 和 UINT_MAX 之间的值。假设一个 2 补码 32 位平台，INT_MAX 是 2147483647，所以 2147483648 和 2147483648 是无符号的，正如警告所说，对无符号类型应用减号仍然会给出正值。所以结果是溢出造成的。

正确的方法是用 L 为 long 和 LL 为long long 加后缀：

cout<<-2147483648LL<<endl;
cout<<-2147483649LL<<endl;
cout<<-21474836480LL<<endl;
cout<<-21474836490LL<<endl;
cout<<-214748364800LL<<endl;
cout<<-214748364900LL<<endl;

Answer 2

您应该仔细检查编译器提供给您的警告消息。如果您的代码没有产生警告，那么您应该提高编译器的警告生成级别。 MSVC 编译器上的这段代码会产生两个警告：

警告 C4146：一元减号运算符应用于无符号类型，结果 还没有签名

这基本上意味着，编译器将威胁前两个值作为unsigned int，然后将其应用于一元减号运算符。要解决这个问题，你应该隐式声明值类型：

cout << -(long long)2147483649 << endl;