数据类型的提升（promotion）

假如参与运算的数据类型不同或者取值范围过小，编译器会自动将其转换为相同的类型，这个类型就叫数据类型的提升（promotion）。

1. C++ 语言环境的规定

unsigned char a = 17;
short b = -18;
int c = 2;
unsigned int d = 0;
cout << (a + b) * c + d << endl;
        // 不是 -2
        // 而是 4294967294

• （1）整数 & 实数 ⇒ 实数

• （2）两个都是整数型或实数型 ⇒ 转换为取值范围更大的数据类型；

  (a+b)*c ⇒ int * int ⇒ int

• （3）两个都是小于 int 型的整数型 ⇒ 都转换为 int 型；

  a + b ⇒ unsigned char + short ⇒ int

• （4）无符号整数型（unsigned）有符号整数型（signed）混用，转换为无符号整数型；

  (a+b)*c + d ⇒ int + unsigned ⇒ unsigned

2. 常见错误

判断数组元素是否在给定的整数型变量数组 vector<int> 中按牲畜排列：

bool isSorted(const vector<int>& seq){
    for (int i = 0; i < seq.size()-1; ++i)
        if (seq[i] > seq[i+1])
            return false;
    return true;
}

可能引起数据类型提升错误的原因在于，for 循环的上限值，seq.size() - 1。STL 中，所有容器的 size() 函数将会返回无符号整数型变量 size_t。

因此，seq.size()-1 总是转换为 size_t 类型，最大值就会变成全1（2^32-1）。

bool isSorted(const vector<int>& seq){
    for (int i = 1; i < seq.size(); ++i)
        if (seq[i] > seq[i-1])
            return false;
    return true;
}