你好，我是一名新手，请告诉我是否有任何错误，下一次我会尽力改进。
我正试图理解C++中的下溢和上溢。我的理解是如果变量的范围超出了其最大值或最小值，它将从范围的另一端开始。因此，如果short的最小值为-32768，并且我们对其进行-1操作，则新值应为SHRT_MAX。(32767) 以下是我的代码：
#include<iostream.h>
#include<limits.h>
#include<conio.h>
int main ( void )
{
int testpositive =INT_MIN ;
short testnegative = SHRT_MIN ;
cout<< SHRT_MIN<<"\n";
cout << testnegative-1<<"\n";
cout << INT_MIN << "\n";
cout << testpositive-1 << "\n";
cout<<testpositive-2;
getch();
return 0;
}
只有对于无符号类型，溢出/下溢的确切行为才有规定。
无符号整数应遵守算术模2^n的规则，其中n是该特定大小的整数值表示中的位数。
这意味着无符号算术不会溢出，因为无法用得到的结果表示结果无符号整数类型被减少模比结果无符号整数类型能够表示的最大值多一的数字。
对于普通的带符号整数类型，C++标准只是说任何事情都可能发生。
如果在表达式求值期间，结果在其类型的可表示值范围之外或未定义，则行为未定义
如果我们谈论的是x86处理器（或大多数其他现代处理器），确实行为与你描述的完全相同，对于CPU来说，有符号值和无符号值之间没有区别（存在有符号和无符号的操作，但是它们本身只是位）。
请注意，编译器可以假设（并且大多数现代优化编译器确实这样做）在正确的程序中不会发生有符号整数溢出，并且例如在以下代码中：
int do_something();
int do_something_else();
void foo() {
int x = do_something();
int y = x + 1;
if (x < y) {
do_something();
} else {
do_something_else();
}
}
编译器可以完全跳过测试和生成的代码中的else分支，因为在一个有效的程序中，有符号整数x总是小于x+1（因为有符号溢出不能被视为有效行为）。
然而，如果您将int替换为unsigned int，则编译器必须为测试和else分支生成代码，因为对于无符号类型，可能存在x > x + 1的情况。
例如，clang将foo的代码编译为
foo(): # @foo()
push rax
call do_something()
pop rax
jmp do_something() # TAILCALL
你可以看到源代码中只调用了do_something两次（除了对rax的奇怪处理），实际上没有提到do_something_else。 gcc生成的代码几乎相同。
在C++中，有符号整数溢出属于未定义行为。
例如：
INT_MIN - 1
-INT_MIN
这些表达式会导致未定义行为。
在一个16位的short和32位的int环境中，SHRT_MIN - 1和-SHRT_MIN不属于未定义行为，因为通过整数提升，操作数首先被提升为int。但是在一个16位的short和int环境中，这些表达式也属于未定义行为。
新值不需要是SHRT_MAX，它是未定义的。
int，因此没有溢出。考虑将结果强制转换回短整型以查看您所希望的内容。 - Hans Passant#include <iostream>而不是#include <iostream.h>。 - L. F.