글 읽기 - -1번 인덱스를 접근하는데 왜 정상종료되나요?

vegatrash 5년 전 0

문제를 풀다가 아래와 같은 코드가 들어있는 코드를 이용해 문제를 풀었더니 통과가 되었는데

당시엔 모르다가 지금 보니 분명히 -1번 인덱스를 접근하고 있는데도 아무 오류없이 잘 종료되더라고요...

문제번호를 굳이 적은 이유는 혹시 무슨 문제인지 궁금해 하실까봐 적었습니다.

저 문제에서 제가 제출한 코드 보셔도 되고 아래에 중요한것만 간추린 코드 보셔도 됩니다

#define _CRT_SECURE_NO_WARNINGS
#define TRUE 1
#define FALSE -1
#define SAME 0
#include <iostream>
#include <stdio.h>
#include <string>
#include <algorithm>
#include <math.h>
#include <vector>
#include <queue>
#include <list>
#include <time.h>
#include <memory.h>
#include <functional>
#include <utility>
#include <set>
#include <stack>
#include <unordered_set>

using namespace std;

int main() {
	string s = "1234";
	string p = "1536";
	vector<int> v(s.size());
	fill(v.begin(), v.end(), 0);
	for (int i = s.size() - 1; i >= 0; i--) {
		v[i - 1]--;
	}
    ///////// i가 0일때는 v[-1]--;라는 계산을 수행할텐데 왜 0코드로 종료가 될까요?
    
	//cout << v[-1];
	return 0;
}

djm03178 5년 전 1

C++은 인덱스가 배열의 범위를 넘어가는지 검사하지 않으며, 넘어간다고 하더라도 반드시 즉각 오류가 난다는 보장이 없습니다.

프로그램에게 메모리는 딱 요청한 바이트 수만큼이 아니라 페이지 단위로 할당되기 때문에 범위를 조금 벗어났다고 해서 바로 할당받지 않은 주소를 접근하는 것이 아닐수도 있으며, 변수들 역시 주로 연속된 공간에 할당되므로 인덱스를 살짝 벗어난 위치는 다른 변수의 주소일 가능성도 높습니다.