role0523

  以前在項(xiàng)目中，發(fā)現(xiàn)了一個(gè)由于數(shù)組越界訪問(wèn)的BUG。數(shù)組越界訪問(wèn)的結(jié)果是未定義的，在大多數(shù)情況下，會(huì)出現(xiàn)空指針異常。

    但是如果在結(jié)構(gòu)體中，兩個(gè)數(shù)組的內(nèi)存分配是連續(xù)的。為了示例方便，我將代碼做了簡(jiǎn)化，例如如下面的test結(jié)果體中，數(shù)組a和數(shù)組b的內(nèi)存是連續(xù)的，也就是說(shuō)a[9]后面跟的就是b[0].

    因此在訪問(wèn)a的時(shí)候，如果數(shù)組越界，就會(huì)訪問(wèn)到數(shù)組b中，例如a[29]=b[19]; 因此如果不對(duì)a的數(shù)組訪問(wèn)進(jìn)行下標(biāo)校驗(yàn)，將會(huì)從b中取得數(shù)據(jù)，如果在對(duì)a賦值時(shí)越界，將會(huì)對(duì)b中的數(shù)據(jù)進(jìn)行修改，這將會(huì)帶來(lái)調(diào)試的巨大麻煩，表現(xiàn)形式是b數(shù)據(jù)在某個(gè)地方被修改了。

因此，切記在訪問(wèn)或者操作數(shù)組時(shí)，一定要對(duì)數(shù)組下標(biāo)進(jìn)行校驗(yàn)，例如上面的例子可以修改為: