다차원 배열이 단차원 배열과 다르게 포인터로 소멸되는 이유는 무엇입니까?

배열이 차원에 따라 다르게 포인터로 소멸되는 이유

소개

배열과 포인터를 사용할 때 유형 소멸이 어떻게 발생하는지 이해하는 것이 중요합니다. . 2차원 배열이 이중 포인터로 붕괴될 것으로 예상할 수 있지만 항상 그런 것은 아닙니다. 왜 이런 일이 발생하는지 알아보고 동작의 차이를 살펴보겠습니다.

1차원 배열의 붕괴

테스트 사례에서 알 수 있듯이 1차원 배열은 실제로 단일 포인터로 붕괴됩니다.

<code class="cpp">std::is_same<int*, std::decay<int[]>::type>::value; // true</code>

단일 포인터로 포인터 연산을 수행할 수 있기 때문입니다.

다차원 배열의 붕괴

그러나 2차원 배열은 이중 포인터로 붕괴되지 않습니다. :

<code class="cpp">std::is_same<int**, std::decay<int[][1]>::type>::value; // false</code>

이중 포인터에는 배열 크기에 대한 추가 정보가 필요하기 때문입니다. 예를 들어 int[5][4]의 경우 컴파일러는 각 "내부" 배열의 길이가 4라는 것을 알고 있습니다. int(*)[4]로 캐스팅하면 이 정보가 유지되므로 포인터 연산이 가능해집니다.

그러나 int **로 캐스팅하면 이 차원 정보가 손실됩니다. 이는 단순히 포인터에 대한 포인터가 되며, 이는 의미 있는 포인터 연산을 수행하는 데 충분하지 않습니다.

차이점 이해

다음을 고려하세요.

<code class="cpp">char *tmp = (char *)p           // Work in units of bytes (char)
          + i * sizeof(int[4])  // Offset for outer dimension (int[4] is a type)
          + j * sizeof(int);    // Offset for inner dimension
int a = *(int *)tmp;            // Back to the contained type, and dereference</code>

이 코드 배열 액세스를 수동으로 수행하여 컴파일러가 차원 정보에 의존한다는 것을 보여줍니다. int**는 이 정보를 제공하지 않으므로 포인터 연산에 적합하지 않습니다.

결론

1차원 배열은 단일 포인터로 붕괴되지만 다차원 배열은 이중 포인터로 붕괴되지 않습니다. 필요한 차원 정보가 부족하기 때문입니다. 이 동작을 통해 단일 차원 포인터를 사용하여 의미 있는 포인터 연산이 가능해집니다.

위 내용은 다차원 배열이 단차원 배열과 다르게 포인터로 소멸되는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!