3강. 포인터를 제대로 이해하기: 주소, 역참조, nullptr, 위험한 포인터

?이번 강의에서 해결할 문제

포인터 문법을 *와 & 기호로만 외우면 null 확인 뒤에도 왜 크래시가 나는지 설명할 수 없습니다. 포인터는 주소를 저장하는 값이고, 역참조가 안전하려면 그 주소에 올바른 타입의 살아 있는 객체가 있어야 합니다.

✓학습 목표

✓이 강의를 마치면

• 객체, 주소, 포인터 변수와 역참조 결과를 구분합니다.
• nullptr 확인이 대상 수명 확인을 대신하지 못함을 설명합니다.
• 포인터를 선택적 비소유 관찰자로 제한해 사용합니다.

◇먼저 알아야 할 핵심 개념

int* pointer는 int 객체의 주소를 담을 수 있는 포인터 변수입니다. &value는 value의 주소를 얻고, *pointer는 그 주소의 객체에 접근합니다. nullptr는 가리키는 대상이 없다는 명시적인 값입니다. 초기화하지 않은 포인터, 파괴된 객체 주소, 배열 범위를 벗어난 주소의 역참조는 UB가 될 수 있습니다.

§왜 이 문제가 위험한가

포인터의 비트 값만 보고 대상이 살아 있는지 알 수 없습니다. 삭제 뒤 포인터를 nullptr로 바꾸더라도 같은 주소를 복사해 둔 다른 포인터는 그대로 댕글링입니다. 따라서 “삭제 후 null 대입”보다 누가 소유하고 관찰자는 언제 폐기되는지 설계하는 것이 먼저입니다.

§가장 작은 예제로 시작하기

pointer_basics.cpp

#include <iostream>

void printScore(const int* score) {
    if (score == nullptr) {
        std::cout << "score unavailable\n";
        return;
    }
    std::cout << "score=" << *score << '\n';
}

int main() {
    int score{120};
    int* observer{&score};

    *observer += 30;
    printScore(observer);
    printScore(nullptr);
}

예상 출력

score=150
score unavailable

§코드 한 줄씩 이해하기

1. score는 실제 정수 객체이고 값 120을 보관합니다.
2. observer는 score의 주소를 복사하지만 score를 파괴할 책임은 없습니다.
3. *observer += 30은 주소를 통해 원래 score 객체를 수정합니다.
4. printScore는 null을 허용한다는 계약을 포인터 타입과 분기로 드러냅니다.
5. 함수가 실행되는 동안 호출자가 score를 살아 있게 유지하므로 역참조가 유효합니다.

§실행 결과와 메모리·동작 흐름

score와 observer는 서로 다른 변수입니다. observer에 저장된 주소를 역참조하면 score 값이 120에서 150으로 바뀝니다. nullptr 호출은 역참조하지 않고 안내 문장을 출력합니다. null 검사는 선택성만 처리하며 수명은 호출자 계약으로 보장합니다.

✎단계별 실습

✎직접 실습

실습 목표

안전한 선택적 포인터 함수를 작성하고 주소와 값 변화를 구분합니다.

시작 전 상태와 실행 방법

위 코드를 C++17로 빌드하고 디버거에서 score, observer, *observer를 관찰합니다.

1단계: 최소 코드 작성

score 주소를 observer에 저장하고 printScore로 120을 출력합니다.

2단계: 값 또는 조건을 바꿔 결과 비교

역참조로 30을 더한 뒤 score와 *observer가 모두 150인지 확인합니다.

3단계: 작은 기능 확장

addScore(int* score, int amount)를 만들되 null이면 false, 수정에 성공하면 true를 반환하게 합니다.

4단계: 스스로 해결하기

포인터 없이 addScore(int& score, int amount)를 만들고 두 API의 null 가능성 차이를 문장으로 비교합니다.

막혔을 때

• *가 선언인지 역참조인지 해당 줄의 문맥을 표시합니다.
• null 역참조를 일부러 실행하지 말고 분기 누락을 코드 리뷰로 찾습니다.
• 주소가 출력마다 달라져도 정상입니다. 숫자 자체를 정답으로 기록하지 않습니다.

!흔한 실수와 해결 방법

!자주 하는 실수

• 초기화하지 않은 포인터 사용: nullptr 또는 유효한 주소로 즉시 초기화합니다.
• 포인터를 소유자로 추측: raw pointer에는 파괴 책임이 드러나지 않습니다. 소유권은 값이나 스마트 포인터로 표현합니다.
• null 검사만 하면 안전하다고 생각: 대상 객체의 수명과 범위도 유효해야 합니다.

§언제 사용하고 언제 피할까

포인터는 대상이 없을 수 있는 비소유 인자, 연속 메모리의 저수준 API, 기존 C 인터페이스 경계에서 사용합니다. null이 불가능한 필수 대상에는 참조를, 소유권 이전에는 unique_ptr 같은 명시적 타입을 우선합니다.

§게임 개발 연결

선택된 대상이 없을 수 있는 시스템은 포인터가 자연스럽지만, 대상을 제거할 수 있다면 관찰자 정리나 안정된 ID 재조회 정책이 함께 필요합니다.

?이해 점검 질문 3개

1. 포인터 변수와 포인터가 가리키는 객체는 왜 서로 다른 수명을 가질 수 있나요?
2. nullptr 검사가 댕글링 포인터를 찾지 못하는 이유는 무엇인가요?
3. 필수 수정 인자에 포인터보다 참조가 계약을 더 잘 드러내는 경우는 언제인가요?

■핵심 요약

■핵심 요약

포인터는 주소를 저장하는 값입니다. 역참조 전에는 null 여부뿐 아니라 올바른 타입, 유효 범위와 대상 수명까지 보장되어야 합니다.

§다음 강의 연결

4강. 참조와 포인터 선택 기준에서 함수 API가 필수성, 수정 여부와 소유권을 표현하도록 다듬습니다.