为什么C++短整型溢出了还可以比较！

复习C++的时候，看到一段通过比较两个short变量之和与2^15大小来判定是否溢出的代码，惊到我了，两个short相加都超过short取值范围了，还能和最大取值范围比较？？？

虽然很不服，还是打开了编辑器，想（毫无头绪地）验证一下这是怎么一回事。

C++获取变量类型

其实我只知道typeof，而我不知道的是，这东西并不能向用户输出变量类型?它整个作用都在编译阶段

通过Google+Stack overflow的神奇组合，typeid().name()方法浮出水面，是的，第一个括号里填表达式。

验证程序

输出结果

s=short  i==integer 

结论

原来两个short型变量相加得到了int型变量?C++是强类型语言，这种转换最好说明一下吧。

补充

两个short相加无论是否溢出，加起来都作为int型变量。