案件
最近在看一个项目的时候，遇到了一段代码，去处掉一些不相关的东西以后，剩下的大概就是这些了吧。
#include <stdio.h>
int array[] = {1, 2, 3, 4, 5, 6, 7};
#define LEN (sizeof(array) / sizeof(array[0]))
int main(void)
{
int i, sum = 0;
for(i = -1; i < LEN - 1; i++)
sum += array[i+1];
printf("%d\n", sum);
return 0;
}
执行效果是这个样子的：
hdd@hdd:~/cprogram(master)$ ./a.out
0
这个执行结果相当诡异，虽然循环的初始变量是-1，但是下面取数组元素的时候，也把i加上了1啊，理论上不会是这个结果啊。
调查
任何诡异的事情必然就有原因，不能错过这样一个毁三观的机会。
锁定问题
N久没动手写过C语言，但是从-1开始赋值这种作死的写法，还是应该避免，所以我修改了一下循环，成了下面这个样子。
for(i = 0; i < LEN; i++)
sum += array[i]
运行结果是：
hdd@hdd:~/cprogram(master)$ ./a.out
28
居然对了！多运行了几次，结果都是对的，排除了程序其他部分的问题，就锁定在循环体本身或者是累加变量出错了。于是用gdb将断点打在了
sum += array[i+1]
希望能够观察到运行过程中，局部变量sum的值的变化。
但是断点设置好了以后，执行运行，直接就执行完毕了，这个结果有点让人意外，但是还是说明了问题所在，这个循环体根本就没有进去啊！
尝试解释
既然现在知道了是循环体没有进去，那么问题就应该很简单了，要么就是循环变量初始化错了，要么就是循环条件出错了。
首先本着哪里复杂，哪里更有可能出错的基础上，怀疑循环条件出错了，因为这个循环条件里面，主要是牵涉到一个宏展开，而且两份代码，一个运行错误，一个运行正常，其中一个差异就是条件中是否是LEN - 1，于是我怀疑是宏展开的时候产生了歧义，因为宏展开是在预处理阶段做的，于是使用gcc -E，看了一下预处理以后的结果，省略去无关代码以后，只看展开后的循环体：
for(i = -1; i < (sizeof(array) / sizeof(array[0])) - 1; i++)
sum += array[i + 1];
看了一下，好像就是我们想要他表达的意思，当然代码很多问题是看不出来的，得运行，于是我在代码中加上了这样两行：
int len = (sizeof(array) / sizeof(array[0])) - 1;
printf("%d\n", len);
执行以后，准确的输出了6，完美的避开了我们的猜想。
那就只剩下最后一个可能性了，有人说的好。排除掉所有的可能性以后，最不可能的就是答案，那问题就出在了循环变量初始化上了，就是i = -1出错了。
可是问题到这里，我实在想不出有什么问题能让这句出错，一句简单的赋值。
求助
这个时候我求助了 @lyc 同学，事实证明，我问对人了，我给他运行了一下程序，他问了一句，这个LEN的展开结果，是有符号数还是无符号数啊？我恍然大悟，sizeof的返回值是size_t，而size_t从刚刚gcc -E中这句可以看出类型：
typedef long unsigned int size_t;
是一个无符号整数。
结论
这样子，问题就清晰了，因为sizeof返回的是无符号数，所以LEN是一个无符号数，当无符号数和-1做<操作的时候，根据类型转换规则，会将-1转换成对应的无符号数，因为机器码中-1最高位是1，当按照无符号数解释的时候，就相当大了，所以<返回False，循环体不会执行
刨根
本着死磕到底的决心，我决定弄明白c语言的类型转换规则，于是参考了《一站式学习C编程》中的这部分内容
数据类型系统
首先为了弄明白这个问题，得弄明白的另外一个问题是C语言中的基本数据类型，首先申明，由于不同体系结构之间的差异，这里默认讲的是x86/Linux/gcc。
整型
在C语言中char型占了一个字节的存储空间，一个字节通常是8个bit，如果按照无符号数来解释，就是0~255， 如果按照有符号来解释，就是-128~127。C语言规定了signed和unsigned两个关键字来表示是否是无符号数。
那么常用的char是无符号还是有符号呢？在C标准中规定是Implementation Defined，设么意思呢，就是编译器在实现的时候，可以按照是无符号，也可以按照是有符号，在不同平台上，那种效率高，就采用哪种实现，但是具体的实现方式，需要在文档中明确写出。这里面提到的Implementation Define还有Unspecifiled、Undefined这三种的区别，后续会用一篇文章来讲，这里仅仅是提到一下。
除了char以外，整型还包括short int、int、long int、long long int等，每种都可以加上signed和unsigned修饰。
浮点数
C标准中规定的浮点型有float、double、long double
类型转换
简单的讲完了类型以后，就可以讲一下类型转换规则了。
Interger Promotion
这条转换规则规定：
- 在一个表达式中，凡是可以使用int和unsigned int作为右值的，也都可以使用有符号和无符号的char型、short型和Bit-filed。
- 如果原始类型的取值范围都能用int型表示，则类型被提升为int，如果表示不了，则提升为unsigned int
主要适用于以下情况：
- 如果函数的形参类型未知，比如Old Style C的函数声明，或者参数列表中有...
- 算数运算中的类型转换。有符号和无符号的char、short和Bit-filed做算数运算的时候
Usual Arithmetic Conversion
这条规则规定，连个算数类型的操作数做算数运算，如果两边操作数的类型不同，编译器自动做类型转换，是的两边类型相同之后，再继续运算。转换规则如下：
- 如果一边的类型是long double，则把另外一边也转换成long double
- 否则，如果一边的类型是double，则把另外一边也转成double
- 否则，如果有一边是float，则把另外一边也转换成float
- 否则，两边都是整数的话，按照Integer Promotion做类型转换
如果类型还是不相同，则需要继续转换，我们规定char、short、int、long、long long的转换级别一个比一个高，相同类型的unsigned和signed具有相同rank，则继续转换规则如下：
- 如果两边都是有符号的，或者都是无符号的，那么脚底rank转换成较高rank
- 否则，如果一边是无符号，一边有符号，且无符号的rank不低于有符号的rank，则把有符号转换成无符号类型
- 否则，一边有符号，一边无符号，且无符号的rank低于有符号rank。如果有符号类型可以覆盖这个无符号数的取值，则把无符号数转换成有符号数的类型
- 否则，则把两边都转成有符号数的rank对应的无符号类型
赋值操作
除了算数运算，在赋值或者初始化时，等号两边的类型不相同，则编译器会把等号右边的类型，转换成等号左边的类型，再赋值。
这个规则比较简单，但是这里面有两个很容易被忽略的情况。函数调用传参的过程，相当于定义形参，并且用实参对形参初始化，函数的返回过程，相当于定义一个临时变量，并且用return的表达式对其初始化，所以上述规则也适用于这两种情况。
强制类型转换
除了上面讲到三种称为隐式转换规则，我们自己也可以通过类型转换运算符，规定某个表达式的类型
以上，洋洋洒洒的把类型转换的基本规则差不多写完了，但是给人的感觉就是复杂的令人发指。越是复杂的东西，就越是很难凭借记忆去掌握，所以上面的转换规则我觉得干脆不需要掌握，只是让自己知道，类型之间的混用会很麻烦很容易引发我们开篇讲到的bug，所以需要的是尽量避免，并且在程序出错的时候能够想起来从这上面找到原因，就OK了。
好了，就先扯这么多了，最后感谢宋劲彬先生的《一站式学习C编程》以及 @雨痕 老师的推荐
