删除 A 类型指针，指向 B 类型指针

Question

假设我有一个 ABC* 类型的指针和另一个 XYZ* 类型的指针，它们都派生自一个公共父类。

如果我通过显式转换将 XYZ* 分配给 ABC*，那么如果我调用

会发生什么

删除 abc; // abc 是 XYZ* 类型的

我会得到任何异常还是可以正常工作？

我已经尝试了上面的代码，它没有崩溃。那么谁能告诉我在什么情况下会删除抛出异常/故障/崩溃等？

删除指针会导致程序崩溃的情况有哪些？如果它们都定义了自定义析构函数，它们会崩溃吗

编辑：这是我的测试代码，没有任何崩溃

class ABC
{
public:
    int a;
    int b;
    int c;
};

class XYZ
{
public:
    double a;
    double b;
    double c;
};

int main()
{
    ABC* abc = new ABC();
    XYZ* xyz = (XYZ*)abc;

    delete xyz;

    return 0;
}

P.S：我在 Windows 平台上，如果有帮助的话。

EDIT2：好的，所以在读数之后，我将我的问题更改为，何时删除指针会导致崩溃（不包括未定义的行为）？

EDIT3： 调用 delete 时会发生什么？将调用谁的析构函数？

Answer 1

这是非法的。如果在非数组删除表达式中要删除的指针的类型与要删除的对象的动态类型不同，则指向的对象的类型必须是要删除的对象的基类删除并且基类必须有一个虚析构函数。

参见 ISO/IEC 14882:2003 5.3.5 [expr.delete]/2。

Answer 2

您的代码将表现出未定义的行为。请注意，这并不意味着它会崩溃，只是在您执行删除后它将处于未定义状态。认为 UB 总是会导致崩溃（如果是这样就好了）的想法是错误的。

Answer 3

如果我通过显式转换将 XYZ* 分配给 ABC*

如果 XYZ 不是 ABC 的子类，那么这种显式转换，无论是通过 reinterpret_cast 还是 C 样式转换，都是未定义的行为。有时你会很幸运，即使程序有未定义的行为，它也会正常工作。不要计算你的幸运星，也不要故意调用未定义的行为。

Answer 4

如果 XYZ 不是从 ABC 派生的，那么您不应该将前者的对象转换为后者 - 无论您的删除是否有效是无关紧要的。