`reinterpret_cast`는 실제로 언제 객체를 생성합니까?

Reinterpret_cast 및 사소한 기본 생성자: 정의되지 않은 동작으로의 여정

cppreference 문서에서는 한때 간단한 기본 생성 가능 객체를 다음을 사용하여 생성할 수 있다고 주장했습니다. 적절하게 정렬된 메모리에서 reinterpret_cast를 수행합니다. 그러나 이후 이 주장은 이러한 객체를 명시적으로 초기화하기 위해 place-new를 사용해야 한다는 요구 사항을 강조하기 위해 수정되었습니다.

The Mystery of Lifetime

reinterpret_cast가 객체를 생성한 경우 , 우리는 그들의 수명에 관한 딜레마에 직면하게 될 것입니다. 주조 작업 자체가 물체의 시작을 표시합니까? 아니면 alignas(X) char buffer[sizeof(X)]와 같은 표현식으로 스토리지를 할당했을 때 더 일찍 발생했을까요?

후자의 경우 스토리지 간에 조건문이 할당 및 캐스팅은 잠재적으로 X 객체나 다른 사소하게 기본 생성 가능한 엔터티인 Y를 생성할 수 있습니다.

표준

안타깝게도 C 표준에서는 이러한 비정질 객체 생성을 명시적으로 제외합니다. [intro.object]/1에 따르면 객체는 정의, new-expression, 공용체의 활성 구성원 활성화 또는 임시 객체 생성을 통해서만 생성될 수 있습니다.

공허한 존재도 아니다

공백한 초기화 수명이라는 개념은 이 상황과 관련이 없습니다. 해당 개념을 적용하려면 객체가 먼저 존재해야 하지만 여기서는 그렇지 않습니다.

일관적으로 정의되지 않음

C의 역사를 통틀어 reinterpret_casting의 동작은 사소합니다. 기본 생성 가능한 객체는 일관되게 정의되지 않은 상태로 유지되었습니다. C 11과 C 1z는 모두 서로 다른 개체가 서로 다른 주소를 가져야 한다는 기본 원칙을 고수하므로 동일한 스토리지 내에서 여러 개체를 생성하는 것은 슈뢰딩거의 고양이와 같은 역설입니다.

결론

reinterpret_cast 작업은 객체를 생성하는 마법의 도구가 아닙니다. 프로그래머는 창의력을 발휘하려고 시도하면서 정의되지 않은 동작을 호출하고 코드를 예측할 수 없는 위험한 깊이에 빠뜨릴 위험이 있습니다.

위 내용은 `reinterpret_cast`는 실제로 언제 객체를 생성합니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!