부정적인 인덱스

Question

에서 배열의 요소에 액세스 나는이 기능이 있습니다

void func(int index, struct foo b[]) 
{ 
    // ... 
    a[0][0] = b[index].c[0]; 
    // ... 
} 

을하지만 때로는 함수가 인덱스 -2로 호출 : 범위를 벗어났습니다

a[0][0] = b[-2].c[0]; 

내가 -2 생각, 때로는 추락하지만 때때로 그렇지 않습니다.

배열 b의 선두 주소가 0xffd9cda4 인 경우 b [-2]의 가중치는 무엇입니까?
0xffd9cda4 + 0xfffffffe = 0x1ffd9cda2? 0x1ffd9cda2가 유효합니까?

Linux 64 비트에서 실행됩니다.

Answer 1

주소가 &b[0] 인 메모리 블록을 차지하는 배열이 b입니다. b[-2]의 주소가 무엇인지 알아 내려고하지 마십시오. 분명히이 배열이 차지하는 메모리 블록 내에 있지 않기 때문입니다.

배열 범위 밖의 메모리에 액세스하려고하면 정의되지 않은 동작가 생성됩니다.

*(b - 2) 

로

void func(int index, struct foo b[]) { 
    // ... 
} 

Answer 2

b[-2] 

가 동일 :

---

또한이 기능의 몸체 내에 배열 b의 사이즈를 취득 할 수없는 점에 유의 분명히 틀린 것입니다. 정의되지 않은 동작, 소유하지 않은 메모리 액세스. UB는 프로그램이 작동하지 않을 것이라는 의미는 아니며 프로그램의 동작이 정의되지 않았 음을 의미합니다..

Answer 3

경계 외부의 배열에 액세스하면 정의되지 않은 동작이 발생합니다. 그러나 C에는 자동 배열 범위 검사가 없습니다. 그래서 이것은 충돌을 일으킬 수 있지만 그것이 보장 될지는 아무 것도 없습니다. 흔히 메모리에 인접 해있는 객체에 오버플로되는 경우가 있습니다.

b이 배열이 아닌 포인터 인 경우 b[-2]이 유효 할 수 있습니다. 예 :

typedef struct foo { 
    int c[5]; 
} foo_struct; 
foo_struct x[10]; 
foo_struct *b = &x[3]; 

이제 할 경우

a[0][0] = b[-2].c[0]; 

가 상당의 일에 :이 경우

a[0][0] = x[1].c[0]; 

관련 배열 범위는 x의 것들이다.