백엔드 개발 C++ C 정의되지 않은 동작에서 다운캐스팅을 위해 `static_cast`를 사용하는 경우는 언제입니까?

C 정의되지 않은 동작에서 다운캐스팅을 위해 `static_cast`를 사용하는 경우는 언제입니까?

Nov 27, 2024 pm 02:16 PM

When is using `static_cast` for downcasting in C   undefined behavior?

C에서 Static_cast를 사용한 다운캐스팅

다운캐스팅은 객체 지향 프로그래밍에서 기본 클래스 포인터 또는 파생 클래스에 대한 참조를 캐스팅하는 데 사용되는 기술입니다. 클래스 포인터 또는 참조. C에서는 static_cast 연산자를 사용하여 이를 수행할 수 있습니다.

다음 코드 예제를 고려하세요.

class Base { public: Base() {} virtual void func(); };

class Derived : public Base { public: Derived() {} void func(); void func_d(); int a; };

int main() {
    Base *b = new Base();
    std::cout << sizeof(*b) << std::endl; // Prints 4

    Derived *d = static_cast<Derived *>(b);
    std::cout << sizeof(*d) << std::endl; // Prints 8
    d->func_d();
}
로그인 후 복사

이 예제에서는 Base 유형의 포인터가 생성되고 다음 개체로 초기화됩니다. 베이스를 입력하세요. sizeof 연산자는 기본 개체의 크기를 나타내는 4를 반환합니다.

그러나 static_cast를 사용하여 b를 Derived 유형의 포인터로 캐스팅하고 이를 d에 할당하려고 하면 *d의 크기는 8이 됩니다. 이는 파생 개체의 크기입니다. 일반적으로 *d의 크기가 *b의 크기와 같을 것으로 예상하기 때문에 이 동작은 예상치 못한 것입니다.

이 동작의 이유는 정의되지 않은 동작(UB) 개념에 있습니다. static_cast를 사용하여 객체를 실제로 가지고 있지 않은 유형으로 캐스팅하면 UB가 생성됩니다. 이 경우 b는 Derived 객체가 아닌 Base 객체를 가리킵니다. Static_cast는 객체의 기본 유형을 변경할 수 없으므로 캐스트 결과가 정의되지 않습니다.

C 표준의 섹션 5.2.9([expr.static.cast])에서는 다운캐스팅 규칙을 지정합니다. static_cast 사용: "'cv1 B에 대한 포인터' 유형의 prvalue가 실제로 D 유형 객체의 하위 객체인 B를 가리키는 경우 결과 포인터는 다음의 둘러싸는 객체를 가리킵니다. 그렇지 않으면 형변환 결과가 정의되지 않습니다."

이 경우 b가 가리키는 Base 객체는 Derived 객체의 하위 객체가 아니므로 형변환 결과가 정의되지 않습니다. UB의 증상은 매우 다양할 수 있으며 파생 멤버 함수(func_d)가 성공적으로 호출된다는 보장은 없습니다.

위 내용은 C 정의되지 않은 동작에서 다운캐스팅을 위해 `static_cast`를 사용하는 경우는 언제입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!

본 웹사이트의 성명
본 글의 내용은 네티즌들의 자발적인 기여로 작성되었으며, 저작권은 원저작자에게 있습니다. 본 사이트는 이에 상응하는 법적 책임을 지지 않습니다. 표절이나 침해가 의심되는 콘텐츠를 발견한 경우 admin@php.cn으로 문의하세요.

핫 AI 도구

Undresser.AI Undress

Undresser.AI Undress

사실적인 누드 사진을 만들기 위한 AI 기반 앱

AI Clothes Remover

AI Clothes Remover

사진에서 옷을 제거하는 온라인 AI 도구입니다.

Undress AI Tool

Undress AI Tool

무료로 이미지를 벗다

Clothoff.io

Clothoff.io

AI 옷 제거제

AI Hentai Generator

AI Hentai Generator

AI Hentai를 무료로 생성하십시오.

뜨거운 도구

메모장++7.3.1

메모장++7.3.1

사용하기 쉬운 무료 코드 편집기

SublimeText3 중국어 버전

SublimeText3 중국어 버전

중국어 버전, 사용하기 매우 쉽습니다.

스튜디오 13.0.1 보내기

스튜디오 13.0.1 보내기

강력한 PHP 통합 개발 환경

드림위버 CS6

드림위버 CS6

시각적 웹 개발 도구

SublimeText3 Mac 버전

SublimeText3 Mac 버전

신 수준의 코드 편집 소프트웨어(SublimeText3)

C 언어 함수에 의해 반환 된 값 유형은 무엇입니까? 반환 값을 결정하는 것은 무엇입니까? C 언어 함수에 의해 반환 된 값 유형은 무엇입니까? 반환 값을 결정하는 것은 무엇입니까? Mar 03, 2025 pm 05:52 PM

C 언어 함수에 의해 반환 된 값 유형은 무엇입니까? 반환 값을 결정하는 것은 무엇입니까?

Gulc : C 도서관은 처음부터 구축되었습니다 Gulc : C 도서관은 처음부터 구축되었습니다 Mar 03, 2025 pm 05:46 PM

Gulc : C 도서관은 처음부터 구축되었습니다

C 언어 함수 형식 문자 케이스 변환 단계 C 언어 함수 형식 문자 케이스 변환 단계 Mar 03, 2025 pm 05:53 PM

C 언어 함수 형식 문자 케이스 변환 단계

C 언어 기능의 정의 및 호출 규칙은 무엇이며 C 언어 기능의 정의 및 호출 규칙은 무엇이며 Mar 03, 2025 pm 05:53 PM

C 언어 기능의 정의 및 호출 규칙은 무엇이며

메모리에 저장된 C 언어 함수의 반환 값은 어디에 있습니까? 메모리에 저장된 C 언어 함수의 반환 값은 어디에 있습니까? Mar 03, 2025 pm 05:51 PM

메모리에 저장된 C 언어 함수의 반환 값은 어디에 있습니까?

뚜렷한 사용 및 문구 공유 뚜렷한 사용 및 문구 공유 Mar 03, 2025 pm 05:51 PM

뚜렷한 사용 및 문구 공유

STL (정렬, 찾기, 변환 등)의 알고리즘을 효율적으로 사용하려면 어떻게합니까? STL (정렬, 찾기, 변환 등)의 알고리즘을 효율적으로 사용하려면 어떻게합니까? Mar 12, 2025 pm 04:52 PM

STL (정렬, 찾기, 변환 등)의 알고리즘을 효율적으로 사용하려면 어떻게합니까?

C 표준 템플릿 라이브러리 (STL)는 어떻게 작동합니까? C 표준 템플릿 라이브러리 (STL)는 어떻게 작동합니까? Mar 12, 2025 pm 04:50 PM

C 표준 템플릿 라이브러리 (STL)는 어떻게 작동합니까?

See all articles