C언어 포인터 배열 질문 있습니다.

Question

#include <stdio.h> int main(int argc, char* argv[]) { int a[3][3] &#61; { 10,20,30,40,50,60,70,80,90 }; // 이중 대괄호는 선택 사항 // int a[3][3] &#61; { {10, 20, 30}, {40, 50, 60}, {70, 80, 90} }; &#61;> 이거랑 같다. int(*p)[3]; p &#61; a; printf(&#34;%d
&#34;, *(p[2] &#43; 1) - *(p[0] &#43; 3)); printf(&#34;%d, %d&#34;, *(p[0] &#43; 1), *(*(p &#43; 1))); return 0; } 저는 이 코드에서 ' *(p[0] &#43; 3) ' 이 부분이 배열의 범위를 벗어났다고 생각해서 오류가 날 줄 알았는데 오류가 나질 않았는데 그 원리가 무엇인지 알려주실 수 있나요?

드림드림 · Answer

p[0] + 3 == &(a[1][0])

bot99 · Answer

원하시는 원리를 이해하기 위해서는 몇 가지 알아야 될 내용들이 있습니다.C의 배열은 경계선 검사 기능이 없습니다. 즉 int a[3]; 인 배열에 대해 a[3]을 참조하면 배열 마지막을 뚫고 나가 그 다음 공간을 참조합니다. 일반적으로 유효하지 않은 주소(invalid value)에 대해 참조 연산자 *를 쓰는 것은 undefined behavior이지만, 질문하신 경우에 대해서는 해당 공간에 객체가 이미 존재하여 유효한 주소값이 되므로, 배열의 경계선을 뚫고 갔다 하더라도 문제가 발생하진 않습니다.C의 배열 참조 연산은 실제로는 포인터 주소값 연산입니다. 간단하게 말하자면 a[i] <-> *(a &#43; i) 입니다.배열 타입의 수식(여기에 배열의 이름이 포함됨)은 그 자신의 첫번째 원소를 가리키는 포인터 주소값으로 자동 변환(decay)됩니다.포인터 주소값에 정수형을 더하는 연산의 경우, 그냥 더하는 것이 아니라 포인터 주소가 가리키는 공간의 크기 * 정수형의 값 만큼을 포인터 주소값에 더하게 됩니다. 예를 들어, sizeof(int) &#61;&#61; 4 인 환경에서는 int * pi &#61; (int *)0x400; &#43;&#43;pi; 의 결과 pi에 0x401가 아니라 0x404의 값이 들어갑니다.이제 질문하신 내용을 살펴봅시다.int (*p)[3]; 에서 p의 타입은 pointer to array[3] of int 입니다. 즉 int형 3개 만큼의 크기를 갖는 배열을 가리킬 수 있는 포인터 변수입니다.p[0] 은 *(p &#43; 0)과 같고, 이것의 데이터 타입은 array[3] of int 이지만, 위에서 말한 규칙(배열 타입 수식의 자동 변환)의 영향을 받아 또다시 pointer to int 타입으로 바뀝니다. 그리고 이 포인터 주소값이 가리키는 곳은 a[0][0], 즉 10이 저장된 공간입니다.*(p[0] &#43; 3)은 p[0]이 가리키는 공간에 대해 그 크기 단위(int형)로 뒤로 세칸 이동한 곳의 값이므로, 10 -> 20 -> 30 -> 40 으로 40이 저장된 곳, 즉 a[1][0]이 됩니다.

C언어 포인터 배열 질문 있습니다.

2개의 답변

기술 목록