C++ 객체 수명과 암묵적 객체 생성: reinterpret_cast 사용의 안전성 탐구

객체 수명의 기본 규칙

• 저장 기간(Storage Duration): 메모리가 할당되어 유지되는 기간 (automatic, static, thread, dynamic).
• 객체 수명(Object Lifetime): 해당 스토리지 위에서 특정 타입의 살아있는 객체가 존재하는 기간.
  • 시작: 적절한 정렬과 크기의 스토리지가 확보되고 초기화가 완료된 시점.
  • 종료: 소멸자 호출 시작, 스토리지 해제, 또는 스토리지 재사용 시점.
• 스토리지와 객체 수명은 별개의 개념이며, 동일한 스토리지에 여러 객체가 순차적으로 생성 및 소멸될 수 있습니다.

reinterpret_cast 와 객체 생성

• reinterpret_cast는 포인터 타입만 변경할 뿐, 대상 주소에 새로운 객체를 생성하지 않습니다.
• reinterpret_cast로 얻은 포인터를 역참조하려면, 해당 주소에 살아있는 객체가 반드시 존재해야 합니다.
• malloc()으로 할당받은 메모리나 원시 바이트 배열에 reinterpret_cast 후 바로 접근하는 것은 **미정의 동작(UB, Undefined Behavior)**입니다. (단, std::launder 사용 시 예외)

포인터의 파생 관계와 std::launder

• 포인터는 단순히 주소를 가리키는 것을 넘어, **어디에서 파생되었는지(derived-from)**에 따라 유효성이 달라집니다.
• reinterpret_cast는 표면적인 타입만 변환하며, 포인터의 출처(provenance)까지 보정해주지 않습니다.
• std::launder: 포인터의 파생 관계 간극을 메워, 해당 주소에 실제로 존재하는 객체를 가리키는 유효한 포인터를 얻도록 합니다.

스토리지 재사용과 투명한 교체

• 동일한 스토리지에 새로운 객체를 생성하면 기존 객체의 수명이 종료되고 새로운 객체의 수명이 시작됩니다.
• 투명한 교체(Transparent Replacement): 일정 조건(const 멤버 부재 등) 만족 시, 기존 포인터가 자동으로 새로운 객체를 가리키도록 허용됩니다.
• 조건 불만족 시: std::launder를 사용하여 포인터를 최신 객체로 교정해야 합니다.

관행의 합법화: 암묵적 객체 생성 (C++20)

• 암묵적 수명(Implicit-Lifetime) 타입: 스칼라, 배열, POD 타입 등 C 호환성이 높은 타입.
• Blessed Operation: C 스타일 할당 함수(malloc), operator new, 메모리 복사 함수, unsigned char/char/std::byte 배열 접근 시.
• 핵심: Blessed Operation 수행 시, 미래의 접근 방식에 따라 과거 시점에 객체가 암묵적으로 생성된 것으로 소급 결정됩니다.
• 단, 동일 스토리지에 다른 타입으로 동시 접근하는 것은 여전히 UB입니다.

실무 가이드라인 요약

• malloc, mmap 등 OS/표준 라이브러리 할당 함수로 확보한 스토리지에 reinterpret_cast 후 접근하는 패턴: C++20의 암묵적 객체 생성으로 인해 안전하고 잘 정의된 동작입니다.
• 바이트 배열(unsigned char)에 reinterpret_cast 후 접근: blessed operation 이지만, 포인터 파생 관계 문제로 std::launder가 이론적으로 필요합니다. 실무에서는 대부분 안전하게 동작하며, P3006 제안으로 향후 규칙 완화 예정입니다.
• std::start_lifetime_as: 과거로 소급하지 않고 현재 시점에 수명을 강제 시작. 멀티스레드 환경에서 데이터 경합(data race)을 유발할 수 있어 주의 필요.