对象的实际类型与当前静态类型不相关，并调用其析构函数

示例：

struct T { .... };
struct U { .... };

void foo(void* p) {
    delete static_cast<T*>(p);   // Undefined behavior
}

void bar() {
    foo(new U);
}

例中 p 实际指向的不是 T 类型的对象，程序的行为是未定义的。