while 循环

while(condition)
{
    //........
}

循环在我们从事C语言开发的过程中可以说用的挺多的，但是今天想起了一个问题，源于我要在一个长字符串中查找特定字符串，于是我写了如下代码：

int main()
{
    int index = 0;
    while(index < UART_RXBUF_SIZE)
    {
        if(buf[index++] == 'o')
        {
            if(buf[index++] == 'p')
            {
                if(buf[index++] == 'e')
                {
                    if(buf[index++] == 'n')
                    {
                　　　　 printf("TRUE!\n");
                    　　return 1;
                    }
                }
            }
            
        }
    }
    printf("FALSE!\n");
    return 0;
}

但是我发现这会存在访问数组越界的问题。比如buf里最后一个字符是‘o’,那么程序就会访问buf[UART_RXBUF_SIZE],这显然越界了。

但是这时我想：while循环会不断检测溢出吗？比如会检测环境是否正常，如果发现不正常则产生中断，自动退出，以至于不会发生段错误。经过测试，while循环并不会这么做，测试如下：

int arry[8] = {0,1,2,3,4,5,6,7};

int main()
{
    int i = 6;
    while(i < UART_RXBUF_SIZE)
    {
        i++;
        printf("%d\n",i);
        i++;
        printf("%d\n",i);
        i++;
        printf("%d\n",i);
        i++;
        printf("%d\n",i);
        printf("%d\n",arry[i]);
    }
}

其中i可取7、 8。所以我很好奇各种编译器对此的处理方式是怎么样的？（在VC6.0中上面程序最后输出为0）。

所以此文提到的查找字符串的代码中，要加入数组越界访问的条件。