前言

前面一篇文章提到過(guò) 數(shù)組越界行為，雖然編譯器為我們做了大量的檢查工作讓我們避免這些錯(cuò)誤。

但是我覺(jué)得還是有必要模擬一下數(shù)組越界，感受一下這個(gè)錯(cuò)誤。

那么對(duì)于.NET來(lái)說(shuō)我們?cè)趺磥?lái)模擬數(shù)組越界呢？

一、 [VS] 項(xiàng)目 -> 右擊 -> 屬性 -> 生成 -> (勾選)允許不安全代碼

二、測(cè)試代碼

unsafe private static void OutOfIndexMini()
  {
   int* i = stackalloc int[1];

   i[0] = 0;
   //i[0] = 1;

   //double* d = stackalloc double[1];
   //d[0] = 0.01;

   int* a = stackalloc int[3];

   for (; i[0] <= 3; i[0]++)
   {
    a[i[0]] = 0;

    Console.WriteLine($"int* i = {i[0]}");

    Console.WriteLine($"int* a[{i[0]}] = {a[i[0]]}");
   }

  }

簡(jiǎn)單說(shuō)明一下：

unsafe 關(guān)鍵字 -- 支持不安全代碼，就是說(shuō)我們可以使用指針了。

stackalloc 關(guān)鍵字 -- 允許向堆棧申請(qǐng)內(nèi)存了。

下面這兩句：我向內(nèi)存申請(qǐng) 了數(shù)組 int[1]，容量為一個(gè)int，并同時(shí)給這個(gè)賦值為1

int* i = stackalloc int[1];

i[0] = 0;

接下來(lái)：我緊接著向內(nèi)存申請(qǐng)了數(shù)組 int[3]，容量為 3個(gè)int.

int* a = stackalloc int[3];

然后注意：我的for循環(huán)數(shù)組越界了i[0] <= 3

for (; i[0] <= 3; i[0]++)
{
　　a[i[0]] = 0;

　　Console.WriteLine($"int* i = {i[0]}");

　　Console.WriteLine($"int* a[{i[0]}] = {a[i[0]]}");
}

初始值 i[ 0 ] = 0，所以進(jìn)入for循環(huán)

i[0] = 0 >>> a[ i[ 0 ] ] =0 >>>a[ 0 ] =0

i[0] = 1 >>> a[ i[ 0 ] ] =0 >>>a[ 1 ] =0

i[0] = 2 >>> a[ i[ 0 ] ] =0 >>>a[ 2 ] =0

i[0] = 3 >>> a[ i[ 0 ] ] =0 >>>a[ 3 ] =0 ?

此時(shí) a[ 3 ] 對(duì)于我們平常來(lái)說(shuō)已經(jīng)數(shù)組越界了，但是這里仍然可以正常賦值。那這個(gè)值我們給了誰(shuí)？

我們先給出一個(gè)答案：

　　a[3] 其實(shí)越界到了 i[0] 地盤(pán)，也就是 a[3] = i[0] = 0,

　　這就造成 當(dāng) i[0] = 3 時(shí)，a[3] 越界將 i[0] 修改為0，程序進(jìn)入死循環(huán) ... ...

三、驗(yàn)證

如果，我將 i[0] 初始值修改一下，改成1

int* i = stackalloc int[1];

//i[0] = 0;
i[0] = 1; 

那么在越界后a[3] = i[0] = 0 ，打印出來(lái) i [0] = 0 說(shuō)明數(shù)組確實(shí)越界并修改了值。

那么，我在中間再聲明一個(gè)不是int類(lèi)型的數(shù)組，導(dǎo)致越界不是修改的 i[0] 這樣就不會(huì)死循環(huán)了。

int* i = stackalloc int[1];

//i[0] = 0;
i[0] = 1;

double* d = stackalloc double[1];
d[0] = 1;

int* a = stackalloc int[3];

四、原理分析

因?yàn)閿?shù)組是相同的數(shù)據(jù)類(lèi)型，連續(xù)內(nèi)存。

第一次：i=0 ，a[0] 內(nèi)存地址 1000

第二次：i=1 ，a[1] 內(nèi)存地址 1004

第三次：i=2 ，a[2] 內(nèi)存地址 1008

第四次：i=3 ，a[3] 內(nèi)存地址 1012，也就是越界到了 i[0]

總結(jié)

以上就是這篇文章的全部?jī)?nèi)容了，希望本文的內(nèi)容對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值，如果有疑問(wèn)大家可以留言交流，謝謝大家對(duì)腳本之家的支持。

最新評(píng)論