看一个例子, 把从地址data 开始的N个字节的内容置0:
void memclr(char *data, int N)
{
for(;N>0; N --)
{
*data = 0;
data ++;
}
}
首先, 编译器无论多高级,也不可能知道 N 的输入是否可以是 0。 因此, 在第一个循环开始之前,编译器需要对这个问题进行明确的确定。
其次,编译器也不知道数组指针data是否4字节对齐, 如果是,那么编译器就可以使用int 而不是char 类型的指针, 这样可以一次写4个byte 而不是1个byte。而且编译器也不知道 N 是不是4 的整数倍,如果是,那个编译器就可以重复循环体中的内容4次或者利用int 类型的指针一次写4个byte.
然而编译器必须是保守的,只能假定N的所有可能的值和data所有可能的边界值。