C++除法时类型转换详解：负整数与unsigned整型变量的除法运算

今天在写一道循环数组的题时，因为在写取余运算时，没有在前面再加一个数组长度，我写出了这样的bug：

vector<int> nums = {-2,-1,1,-2,-2};
	
int i = 0;
i = (i + nums[i]) % nums.size();
cout << nums[i];

按我之前的理解，i应该等于-2 % 5 = -2，但是神奇的是，代码并没有因nums[-2]报错，而通过验证发现，i竟然等于4，这是为什么呢？

以此为契机，我学习到了关于C++除法时类型转换的相关知识。
在C++ 11中，对运算时的类型转换做出了相关定义，参考常规算数转换（Usual arithmetic conversions）与整数转换等级（Integer conversion rank）：

1. 整数转换等级：long long int > long int > int > short > signed char。
2. 任何无符号整数类型的等级与其对应的有符号整数类型的等级相同。
3. 在除法运算中，若两个操作数一个有符号一个无符号，如果无符号操作数的类型的转换等级大于或等于有符号操作数的转换等级，那么有符号的操作数会被转换为无符号操作数的类型。

而在C++ 11的标准库中，size()函数的返回类型是size_type，这是vector类类型的配套类型，被定义为与unsigned型（unsigned int, unsigned long）具有相同的含义。而且可以保证足够大能够存储任意vector/string对象的长度。
根据上述转换规则，size()函数的返回值为unsigned型（unsigned int, unsigned long），其转换等级大于等于除数-2的int型。故，-2会被转换为无符号操作数的类型。

我们写一个除法运算和取余运算来进行验证：

vector<int> nums = {-2,-1,1,-2,-2};
	
cout << (-2) / nums.size() << endl;
cout << (-2) % nums.size();

输出结果为：

利用5 * 858,993,458 + 4，得到数值4,294,967,294
而这个数，正是-2的补码！

综上，我们验证了C++中负整数与unsigned整型变量的除法运算的类型转换理论的正确性。