C++ std::bit_cast vs reinterpret_cast: 올바른 타입 변환 도구 선택 가이드

타입 퍼닝(Type Punning)의 필요성

• 타입 퍼닝: 어떤 값의 비트 패턴을 다른 타입으로 재해석하는 작업 (예: uint32_t 비트를 float로 해석).
• 직렬화, 해시 함수, 저수준 데이터 처리 등에서 필수적.
• C++에서 올바르게 수행하는 방법은 까다로움:
  • reinterpret_cast: 엄격한 앨리어싱 규칙 위반으로 UB 발생 가능.
  • union: C++에서는 비활성 멤버 접근 시 UB 발생.
  • memcpy: 안전하고 잘 정의된(well-defined) 타입 퍼닝 방법 (컴파일러 최적화로 성능 저하 없음).

std::bit_cast: memcpy의 구문 편의(Syntax Sugar)

• C++20에 도입된 값 대 값(value-to-value) 타입 퍼닝 도구.
• memcpy와 동일한 의미론, 원본의 비트를 새로운 타입 객체에 복사.
• std::bit_cast 사용 조건: sizeof(To) == sizeof(From) 및 두 타입 모두 간단 복사 가능(trivially copyable).
• 장점: constexpr 지원, 기본 생성 필요 없음, 의도 명확성.
• 주의: 포인터에 사용 시 포인터 값의 비트만 복사하며, 대상 객체 타입 변환이나 const 제거와는 무관. 엄격한 앨리어싱 규칙 위반 발생 가능.

reinterpret_cast의 올바른 사용법

• 주요 용도: 포인터 및 참조 타입 변환.
• 핵심: 엄격한 앨리어싱 규칙(Strict Aliasing Rule) 이해.
  • 규칙: 객체에 대해 type-accessible 하지 않은 glvalue로 접근 시 UB 발생.
  • char, unsigned char, std::byte 타입은 모든 타입에 대한 바이트 단위 접근 허용.
  • reinterpret_cast 자체는 UB가 아니며, 변환 결과를 역참조할 때 UB 발생 여부가 결정됨.
• 합법적 사용 예시: char* → int* (UB), char* → unsigned int* (UB). (단, std::launder 사용 시 예외)

포인터 ↔ 정수 변환

• reinterpret_cast는 포인터와 정수 간 변환을 안전하게 지원.
  • 포인터 → 정수: 값 보존 (implementation-defined).
  • 정수 → 포인터: 포인터 값 생성.
• 왕복 변환(Round-trip) 표준 보장.
• std::bit_cast도 가능하나, 플랫폼 의존적 가정 및 provenance 보존 불확실.

정리: 언제 어떤 도구를 사용할 것인가?

• 값의 비트 패턴 재해석 (타입 퍼닝): std::bit_cast (안전하고 명확).
• 포인터 타입 변환 후 접근 (Strict Aliasing 준수 범위 내): reinterpret_cast.
• char*, std::byte* 기반 접근: reinterpret_cast.
• 포인터 ↔ 정수 변환: reinterpret_cast.

핵심: std::bit_cast는 값 재해석, reinterpret_cast는 포인터 변환 및 저수준 조작에 사용합니다. 각 도구의 설계 목적에 맞게 사용해야 UB를 피하고 명확한 코드를 작성할 수 있습니다.