답변.

질문 배경: C 언어에서 포인터는 다른 객체의 주소를 저장하는 변수입니다. 문제는 이러한 값을 어떻게 비교할 것인지였으나, 메모리는 예측할 수 없는 방식으로 할당될 수 있습니다. 언어는 포인터 간 비교 연산을 허용하지만, 행동이 확정적이도록 하기 위해 여러 제한이 있습니다.

문제: 올바르게 비교할 수 있는 포인터는 같은 배열의 요소나 같은 객체를 가리키는 포인터만 가능합니다. 서로 관련 없는 객체를 가리키는 포인터(서로 다른 변수나 공통 배열에 포함되지 않은 할당된 메모리 영역)는 정의되지 않은 동작(Undefined behavior)을 초래합니다.

해결책: 서로 관련 없는 메모리 영역 간의 포인터 비교를 피하고, 같은 배열/문자열/버퍼 내에서만 사용하며, NULL과의 비교는 안전합니다.

코드 예제:

#include <stdio.h>

int main() {
    int arr[5] = {1, 2, 3, 4, 5};
    int *p1 = &arr[1];
    int *p2 = &arr[3];

    if (p1 < p2) {
        printf("p1은 p2보다 배열의 더 이전 요소를 가리킵니다.\n");
    }
}

주요 특징:

• 포인터 비교의 적합성은 동일 객체에 대한 소속 여부에 따라 결정됩니다.
• NULL과의 비교는 항상 안전하며 유효성을 검사하는 데 사용됩니다.
• 서로 다른 객체에 대한 포인터 비교는 정의되지 않은 동작을 초래합니다.

속임수 질문.

1. malloc을 통해 얻은 포인터를 서로 다른 메모리 블록을 가리키는 경우 비교할 수 있나요?

아니요, 그러한 포인터를 비교할 수 없습니다 — 표준에 의해 행동이 정의되지 않습니다. 동일한 메모리 블록을 가리키는 포인터만 비교할 수 있습니다.

2. int와 double 타입의 포인터가 서로 다른 변수를 가리키지만 동일한 수치 값을 가리키는 경우, 포인터 비교의 결과는 무엇인가요?

비교하려면 두 포인터가 동일한 타입으로 캐스트되고 동일한 객체를 가리켜야만 가능합니다. 그렇지 않으면 결과는 정의되지 않으며, 주소 값이 동일할 수 있지만 표준은 그러한 행동을 보장하지 않습니다.

3. 배열의 첫 번째 요소를 가리키는 포인터와 배열의 끝을 가리키는 포인터(com 예: arr와 arr + N)를 비교하는 것이 올바른가요?

네, 이는 올바릅니다. arr + N은 마지막 요소 다음의 상상적인 요소를 가리키며, 컴파일러는 arr <= arr + N임을 보장합니다.

일반적인 오류 및 안티 패턴

• 서로 다른 객체에 대한 포인터 비교
• 배열 소속을 고려하지 않은 포인터 순서 분석
• 관련 없는 영역 간의 논리를 구성하기 위한 비교 결과 사용

실제 사례

직원이 서로 다른 메모리 블록에서 할당된 두 구조체의 "먼저 생성되었는지"를 확인하기 위해 주소 비교 기능을 구현하기로 결심했습니다.

장점:

• 코드가 그의 컴퓨터에서 작동했습니다.

단점:

• 다른 아키텍처에서는 일부 포인터가 다른 포인터보다 작게 되어, 코드 결과가 예측할 수 없게 되었고, 버그가 드물게 그리고 우연히 나타났습니다.

리뷰 후, 모든 구조체를 공통 버퍼에서 할당한 후 적절한 범위에서 비교하는 방식으로 포인터 소속 확인이 구현되었습니다.

장점:

• 프로그램이 이식 가능해졌습니다.
• "자신의 것"만 비교해야 한다는 제한이 명확히 반영되었습니다.

단점:

• 저장 구조의 복잡성이 약간 증가했습니다.