慕田峪4524236
2019-05-25 16:11:01
訪問數(shù)組越界沒有錯(cuò)誤,為什么?我在C ++程序中為這樣的邊界分配值:#include <iostream>using namespace std;int main(){
int array[2];
array[0] = 1;
array[1] = 2;
array[3] = 3;
array[4] = 4;
cout << array[3] << endl;
cout << array[4] << endl;
return 0;}程序打印3和4。應(yīng)該是不可能的。我正在使用g ++ 4.3.3這是編譯和運(yùn)行命令$ g++ -W -Wall errorRange.cpp -o errorRange
$ ./errorRange34只有在分配時(shí)才array[3000]=3000會(huì)給我一個(gè)分段錯(cuò)誤。如果gcc沒有檢查數(shù)組邊界,我怎么能確定我的程序是否正確,因?yàn)樗赡軙?huì)導(dǎo)致一些嚴(yán)重的問題?我用上面的代碼替換了vector<int> vint(2);vint[0] = 0;vint[1] = 1;vint[2] = 2;vint[5] = 5;cout << vint[2] << endl;cout << vint[5] << endl;而且這個(gè)也沒有產(chǎn)生任何錯(cuò)誤。
4 回答

楊__羊羊
TA貢獻(xiàn)1943條經(jīng)驗(yàn) 獲得超7個(gè)贊
使用g ++,您可以添加命令行選項(xiàng): -fstack-protector-all。
在您的示例中,它產(chǎn)生以下結(jié)果:
> g++ -o t -fstack-protector-all t.cc
> ./t
3
4
/bin/bash: line 1: 15450 Segmentation fault ./t
它并沒有真正幫助你找到或者解決問題,但至少段錯(cuò)誤會(huì)讓你知道什么是錯(cuò)的。

蕭十郎
TA貢獻(xiàn)1815條經(jīng)驗(yàn) 獲得超13個(gè)贊
g ++沒有檢查數(shù)組邊界,你可能用3,4覆蓋了一些東西,但沒有什么真正重要的,如果你嘗試使用更高的數(shù)字,你就會(huì)崩潰。
您只是覆蓋了未使用的堆棧部分,您可以繼續(xù)直到到達(dá)堆棧的已分配空間的末尾并最終崩潰
編輯:你無法解決這個(gè)問題,也許靜態(tài)代碼分析器可能會(huì)揭示這些故障,但這太簡(jiǎn)單了,即使對(duì)于靜態(tài)分析器,也可能有類似(但更復(fù)雜)的故障未被發(fā)現(xiàn)
添加回答
舉報(bào)
0/150
提交
取消