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

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 중국어 웹사이트의 기타 관련 기사를 참조하세요!