复习C++的时候，看到一段通过比较两个short变量之和与2^15大小来判定是否溢出的代码，惊到我了，两个short相加都超过short取值范围了，还能和最大取值范围比较？？？
虽然很不服，还是打开了编辑器，想（毫无头绪地）验证一下这是怎么一回事。
C++获取变量类型
其实我只知道typeof，而我不知道的是，这东西并不能向用户输出变量类型?它整个作用都在编译阶段
通过Google+Stack overflow的神奇组合，typeid().name()方法浮出水面，是的，第一个括号里填表达式。
验证程序
输出结果
结论
原来两个short型变量相加得到了int型变量?C++是强类型语言，这种转换最好说明一下吧。
补充
两个short相加无论是否溢出，加起来都作为int型变量。