.NET 下 模擬數組越界

前面一篇文章提到過 數組越界行爲，雖然編譯器爲咱們作了大量的檢查工做讓咱們避免這些錯誤。

可是我以爲仍是有必要模擬一下數組越界，感覺一下這個錯誤。

那麼對於.NET來講咱們怎麼來模擬數組越界呢？

 

1、 [VS]  項目 -> 右擊 -> 屬性 -> 生成 -> (勾選)容許不安全代碼

 

2、測試代碼

 1          unsafe private static void OutOfIndexMini()
 2         {
 3             int* i = stackalloc int[1];
 4 
 5             i[0] = 0;
 6             //i[0] = 1;
 7 
 8             //double* d = stackalloc double[1];
 9             //d[0] = 0.01;
10 
11             int* a = stackalloc int[3];
12 
13             for (; i[0] <= 3; i[0]++)
14             {
15                 a[i[0]] = 0;
16 
17                 Console.WriteLine($"int* i = {i[0]}");
18 
19                 Console.WriteLine($"int* a[{i[0]}] = {a[i[0]]}");
20             }
21 
22         }

View Code

 

簡單說明一下：

unsafe 關鍵字 -- 支持不安全代碼，就是說咱們能夠使用指針了。

stackalloc 關鍵字 -- 容許向堆棧申請內存了。

 

下面這兩句：我向內存申請 了數組 int[1]，容量爲一個int，並同時給這個賦值爲1

int* i = stackalloc int[1];

i[0] = 0;

 

接下來：我緊接着向內存申請了數組 int[3]，容量爲 3個int.

int* a = stackalloc int[3];

 

而後注意：個人for循環數組越界了  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，因此進入for循環

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 ?

此時 a[ 3 ] 對於咱們日常來講已經數組越界了，可是這裏仍然能夠正常賦值。那這個值咱們給了誰？

咱們先給出一個答案：

　　a[3] 其實越界到了 i[0] 地盤，也就是 a[3] = i[0] = 0,

　　這就形成 當 i[0] = 3 時，a[3] 越界將 i[0] 修改成0，程序進入死循環 ... ...

 

 3、驗證

若是，我將  i[0] 初始值修改一下，改爲1

int* i = stackalloc int[1];

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

 

那麼在越界後 a[3] = i[0] = 0 ，打印出來 i [0] = 0 說明數組確實越界並修改了值。

 

 

 那麼，我在中間再聲明一個不是int類型的數組，致使越界不是修改的 i[0] 這樣就不會死循環了。

int* i = stackalloc int[1];

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

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

int* a = stackalloc int[3];

 

 

4、原理分析

由於數組是相同的數據類型，連續內存。

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

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

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

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