-
질문 & 답변
카테고리
-
세부 분야
알고리즘 · 자료구조
-
해결 여부
해결됨
3 - I 질문있습니다
24.04.11 08:39 작성 조회수 63
0
안녕하세요 큰돌님
강의 잘 듣고 있습니다.
3 - I (17071번)를 푸는데
bfs의 경계조건을 바로 밑에 코드에서
for(int next : {here + 1, here - 1, here * 2}){
if(next < 0 || next > max_n || visited[turn % 2][next]) continue;
아래와같이 바꾸면 런타임 에러 (OutOfBounds)가 발생하는데 그 이유가 궁금합니다.
for(int next : {here + 1, here - 1, here * 2}){
if(visited[turn % 2][next] || next < 0 || next > max_n) continue;
답변을 작성해보세요.
1
큰돌
지식공유자2024.04.11
안녕하세요 ㅎㅎ
if(next < 0 || next > max_n || visited[turn % 2][next])이렇게 해야 next는 0 미만이 아님, 즉 -1 등이 아닌게 자명하게 됩니다.
만약에 -1이 허용된다면 visited[-1] 이렇게 참조하게 되겠죠. 이 경우 UB가 생기게 되서 틀릴 수 있게 됩니다.
순서를 자세히 보시면...
next < 0어? 이게 true네? -> 음수네? -> visited참조까지 안감.
만약...
false네? 즉, 양수라는 것이네? -> next-> 오른쪽을 계속해서 확인 -> visited 참조하면서 확인
이렇게 되는 것이죠.
[참고]
a || b 라고 했을 때
a가 false 면 b를 확인하게 됩니다. 만약 a가 true면 b는 확인하지 않습니다.
또 질문 있으시면 언제든지 질문 부탁드립니다.
좋은 수강평과 별점 5점은 제게 큰 힘이 됩니다. :)
감사합니다.
강사 큰돌 올림.
0
인프런 AI 인턴
2024.04.11
안녕하세요, 인프런 AI 인턴입니다.
질문하신 내용은 C++에서 조건문의 평가 순서와 배열 인덱스의 유효성 검사와 관련된 부분으로 보입니다. 조건문에서 visited[turn % 2][next]를 통해 배열에 접근하는 조건이 먼저 나와 있고, 그 뒤에 next < 0이나 next > max_n으로 인덱싱이 유효한지 검사하는 코드 순서로 나열됐기 때문에, next가 유효한 범위를 초과했을 때 배열 접근을 시도하게 되어 런타임 에러(OutOfBounds)가 발생합니다.
이 문제와 유사한 상황에 대한 해결 방법은 다음 질문에서 큰돌님께서 제공한 답변에서 찾을 수 있습니다:
- 3-I 문제 질문: 이 질문에서는 순서대로 조건을 검사하여 배열 인덱스 유효성 검사가 더 먼저 이루어지도록 코드를 조정하는 방법에 대해 설명하고 있습니다. C++에서는 조건문을 평가할 때 왼쪽에서 오른쪽으로 순서대로 평가가 이루어지므로
next < 0 || next > max_n || visited[turn % 2][next]와 같이 작성해야 합니다.
특히, 배열 인덱스에 접근하기 전에 해당 인덱스가 유효한 범위 내에 있는지 반드시 확인해야 하며, 이는 런타임 에러를 방지하기 위한 필수적인 조치입니다.
저는 질문자님의 이해를 돕고자 지식공유자님의 기존 답변을 참고하여 유사한 답변 링크를 추천해드리고 있습니다. 현재 베타 기능으로 답변이 만족스럽지 않을 수 있는 점 양해 부탁드립니다. 🙏 추가적으로 궁금한 점이 있으시면, 이어서 질문해 주세요. 곧 지식공유자께서 답변해 주실 것입니다.
답변 2