前言
前面一篇文章提到過 數組越界行為，雖然編譯器為我們做了大量的檢查工作讓我們避免這些錯誤。
但是我覺得還是有必要模擬一下數組越界，感受一下這個錯誤。
那么對于.NET來說我們怎么來模擬數組越界呢？
一、 [VS] 項目 -> 右擊 -> 屬性 -> 生成 -> (勾選)允許不安全代碼
二、測試代碼
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
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]]}"); } } |
簡單說明一下：
unsafe 關鍵字 -- 支持不安全代碼，就是說我們可以使用指針了。
stackalloc 關鍵字 -- 允許向堆棧申請內存了。
下面這兩句：我向內存申請 了數組 int[1]，容量為一個int，并同時給這個賦值為1
|
1
2
3
|
int* i = stackalloc int[1];i[0] = 0; |
接下來：我緊接著向內存申請了數組 int[3]，容量為 3個int.
|
1
|
int* a = stackalloc int[3]; |
然后注意：我的for循環數組越界了i[0] <= 3
|
1
2
3
4
5
6
7
8
|
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，程序進入死循環 ... ...
三、驗證
如果，我將 i[0] 初始值修改一下，改成1
|
1
2
3
4
|
int* i = stackalloc int[1];//i[0] = 0;i[0] = 1; |
那么在越界后a[3] = i[0] = 0 ，打印出來 i [0] = 0 說明數組確實越界并修改了值。
那么，我在中間再聲明一個不是int類型的數組，導致越界不是修改的 i[0] 這樣就不會死循環了。
|
1
2
3
4
5
6
7
8
9
|
int* i = stackalloc int[1];//i[0] = 0;i[0] = 1;double* d = stackalloc double[1];d[0] = 1;int* a = stackalloc int[3]; |
四、原理分析
因為數組是相同的數據類型，連續內存。
第一次：i=0 ，a[0] 內存地址 1000
第二次：i=1 ，a[1] 內存地址 1004
第三次：i=2 ，a[2] 內存地址 1008
第四次：i=3 ，a[3] 內存地址 1012，也就是越界到了 i[0]
總結
以上就是這篇文章的全部內容了，希望本文的內容對大家的學習或者工作具有一定的參考學習價值，如果有疑問大家可以留言交流，謝謝大家對服務器之家的支持。
原文鏈接：https://www.cnblogs.com/sunchong/p/10249359.html
