使用C 与C++以检验阵列注标越界之比较 - 亚东技术学院.PDF

亞 東 學 報 第 3 0 期 2010 年 12 月 頁 7 5 ~ 8 0 亞 東 技 術 學 院 使用C 與C++以檢驗陣列註標越界之比較 許金童* 中文摘要 3. 陣列變數m[4]與n[4]的註標值，正常範圍是0 ~ 本文探討有關電腦基礎課程的計算機程式之教 3 ，但可以越界使用4 、5 、6 與–1 等 。 學中，使用C/C++語言來宣告陣列變數時，由於各種 4. 越界的註標值，會access 到別處的變數資料。 版本之C/C++編譯程式，都未對陣列變數的註標值， 進行資料範圍的檢驗[1][2] ，因此程式設計者必須自 行撰寫註標值之範圍檢驗的段落敘述，以防止註標值 越界所造成的邏輯錯誤，C++包含了 C 的大部份功 能，而且又發展了不少新的指令使用法，本文擬將檢 驗註標值範圍的程式設計方法，做C 與C++之比較 ， 最後並使用物件導向技術，處理這個問題 。 關鍵詞：陣列變數、註標、越界、物件導向、類別 壹、緒論 計算機程式是電腦科學教育重要基礎課程之 圖1 程式prog_1.cpp 一，在課程中有一單元是介紹陣列變數的使用 [3][4] ，C/C++語言的陣列變數有一維、二維、三維三 類，本文僅探討一維整數陣列變數，至於二維、三維 與字元、浮點數等之情況，同理可知。 C/C++語言的語法規定，若陣列a[n]具有n 個元 素時，其註標值的範圍是0 至n–1 ，超越此範圍，稱 為「註標越界」，但程式的敘述句中，若使用了越界 的註標值，編譯程式並不會認定是「語法錯誤」，仍 會產生執行檔。觀察底下的程式例題prog_1 的螢光 幕顯示結果，可以得到底下結論： 1. 普通變數資料的存放，先宣告的放在較高位址處。 2. 陣列變數的存放，註標值較大的放在較高位址處。 圖2 程式prog_1 的輸出 * 作者為亞東技術學院電子工程系講師。 75 亞東學報 第30 期 將上例所有宣告的變數做成底下的圖表： 程式prog_2 的輸出結果如下圖： 圖3 程式prog_1 的資料佈置 很容易觀察到以下的結論： 1. 變數i 與m[6]共用記憶體，其資料都是 123 。 2. 變數j 與m[5]共用記憶體，其資料都是456 。 3. 變數m[4]的資料是記憶體殘值，資料未定。 4. 變數m[0]與n[4]共用記憶體，其資料都是 1000 。 5. 變數m[-1]與n[3]共用記憶體，其資料都是606 。 圖5 程式prog_2 的輸出 6. 變數n[-1]與k 共用記憶體，其資料都是789 。 因此在程式中，若做了「註標值越界」的指定敘 貳、檢驗註標值越界 述時，將可能造成其他變數的資料，被不小心破壞掉 由上一段的論述，如果要避免 「註標值越界」所 的後果，例如： 引起的錯誤，則在程式中必須加入檢驗註標值範圍的 1. 「m[6]=321; 」敘述，使變數i 由123 變成321 。 敘述，現在以底下的命題為例： 2. 「m[5]=654; 」敘述，使變數j 由456 變成654 。 3. 「n[4]=1234; 」敘述，使變數m[0] 由1000 變成1234 。 【宣告整數陣列a[5] ，呼叫亂數函式rand( )以製造a[ ] 4. 「m[-1]=