C/C에서 2D 배열을 1D 배열로 처리하면 정의되지 않은 동작이 발생하는 이유는 무엇입니까?

2D 배열을 1D 배열로 처리: 정의되지 않은 동작

C 및 C에서 다차원 배열은 메모리에 연속적으로 저장됩니다. 그러나 1차원 인덱싱을 사용하여 다차원 배열에 액세스하면 정의되지 않은 동작이 발생할 수 있습니다.

다음 코드를 고려하세요.

int a[25][80];
a[0][1234] = 56; // Line 2
int* p = &a[0][0];
p[1234] = 56; // Line 4

2번째 줄:
이것은 line은 a[25][80] 배열의 경계 외부에 있는 요소에 액세스하려고 시도합니다. a 의 첫 번째 차원의 크기는 25이지만 라인 2에서는 유효한 범위를 벗어나는 1235번째 요소에 액세스하려고 합니다. 이로 인해 언어 정의를 위반하기 때문에 정의되지 않은 동작이 발생합니다.

4행:
이 행도 정의되지 않은 동작을 트리거합니다. 배열 a에는 25 * 80 = 2000개의 요소가 있고 p는 배열의 시작을 가리킵니다. 따라서 p[1234] 표현식은 유효한 범위를 벗어나는 배열의 1235번째 요소에 액세스하려고 시도합니다. 범위를 초과하는 포인터를 사용하여 배열을 첨자화하는 것은 정의되지 않은 동작으로 간주됩니다.

상수 표현식:
위 코드에서 정의되지 않은 동작은 상수 표현식에도 나타납니다. 다음 코드는 정의되지 않은 동작으로 인해 컴파일되지 않습니다.

constexpr int f(const int (&a)[2][3])
{
    auto p = &a[0][0];
    return p[3]; // Undefined behavior
}
int main()
{
    constexpr int a[2][3] = { 1, 2, 3, 4, 5, 6, };
    constexpr int i = f(a);
}

이는 상수 표현식의 정의되지 않은 동작이 여전히 불법이며 컴파일러가 이러한 코드를 거부함을 보여줍니다.

위 내용은 C/C에서 2D 배열을 1D 배열로 처리하면 정의되지 않은 동작이 발생하는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!