답변.

문제의 역사:

포인터 수치 연산은 C 언어에서 메모리, 배열 및 구조체와 효율적으로 작업하기 위해 도입되었습니다. 이는 메모리 주소 지정 및 C가 가장 낮은 수준에서 어떻게 작동하는지와 밀접하게 연관되어 있습니다. 포인터에 더하거나 빼는 것은 배열의 연속 요소에 접근할 수 있게 해줍니다.

문제:

주요 어려움은 포인터 수치 연산이 숫자 수치 연산과 동등하지 않다는 점입니다. 포인터에 1을 더하면, 이는 포인터가 가리키는 타입의 크기만큼 증가합니다. 전형적인 오류는 할당된 배열의 경계를 넘어가는 것, 호환되지 않는 타입의 포인터와 작업하는 것, void*로 계산을 시도하는 것입니다.

해결책:

포인터 작업 시 항상 타입의 크기를 고려하고, void*로 수학적 계산을 피하며, 배열의 경계를 확인하십시오. 배열의 요소에 접근할 때는 인덱싱 또는 계산된 포인터를 사용하고, 먼저 경계를 검사해야 합니다.

코드 예제:

#include <stdio.h>
int main() {
   int arr[5] = {1, 2, 3, 4, 5};
   int *p = arr;
   printf("%d\n", *(p + 2)); // 3
   // 허용되지 않음: p + 10은 배열의 경계를 넘어갑니다.
   return 0;
}

주요 특징:

• 포인터에 더하는 것은 주소를 sizeof(타입)만큼 증가시키며 바이트 단위가 아님
• 비교는 동일한 배열의 요소를 가리키는 포인터만 가능
• void*에 대한 수치 연산은 허용되지 않음 (일부 GNU 확장을 제외하고)

함정 질문.

포인터에 float 타입의 값이나 다른 타입의 변수를 더할 수 있습니까?

아니요, 포인터에는 정수 타입의 값만 더하거나 뺄 수 있습니다. 부동 소수점 사용은 컴파일 오류를 초래합니다.

*(arr + i)와 arr[i]는 항상 동일한 결과를 반환합니까, i가 배열의 경계를 넘어가더라도?

아니요. 의미적으로는 동등하지만, 인덱스가 배열의 경계를 넘어가면 두 표현식 모두 정의되지 않은 동작으로 이어집니다.

다른 배열을 가리키는 포인터를 빼면 어떻게 됩니까?

결과는 표준에 의해 정의되지 않으며 오류로 간주됩니다. 빼기는 동일한 배열(또는 하나의 블록으로 할당된 메모리) 내의 포인터 간에만 가능합니다.

일반적인 오류 및 안티 패턴

• 포인터 작업 시 배열의 경계를 넘어가는 것(buffer overrun)
• 명시적 형 변환 없이 void*에 대해 수치 연산 수행
• 이미 해제된 메모리에 접근하기 위해 포인터 사용

실생활의 예

개발자가 배열 순회를 위해 포인터 수치 연산을 사용하는 코드:

장점:

• 일부 아키텍처에서 인덱싱보다 빠름.

단점:

• 경계를 확인하는 것을 잊어버려서 메모리 손상(segmentation fault) 발생.

리팩토링된 버전에서는 각 단계에서 경계 확인이 명시적으로 사용됩니다:

장점:

• 배열 경계를 넘어가는 것에 대한 보장

단점:

• 코드가 약간 길어졌고 보조 기능 개발이 필요했습니다.