除以零在虚拟析构函数中工作正常

Division by zero works fine in virtual Destructor

本文关键字：工作 析构函数 虚拟      更新时间：2023-10-16
#include <iostream>
using namespace std;
static int i=1;
class Parent
{
public:
    virtual ~Parent(){10/i;}
};
class Child: public Parent
{
public:
    virtual ~Child(){--i;}
};
int main()
{
    Parent *ptr = new Parent;
    Parent *ptr1 = new Child;
    delete ptr;
    delete ptr1;
    //cout<<10/i;
    return 0;
}

为什么父类的虚拟析构函数不提供任何运行时错误？而代码的注释部分在取消注释时会引发错误。

我想您的编译器优化了代码并删除了无用的部分，包括基类析构函数中的10/i。

试试这个：

#include <iostream>
using namespace std;
static int i=1;
class Parent
{
public:
    virtual ~Parent(){int tmp = 10/i; cout << tmp; }
};
class Child: public Parent
{
public:
    virtual ~Child(){--i;}
};
int main()
{
    Parent *ptr = new Parent;
    Parent *ptr1 = new Child;
    delete ptr;
    delete ptr1;
    //cout<<10/i;
    return 0;
}

未定义的行为是未定义的，因此任何事情都可能发生。

没有副作用的语句对于编译器来说微不足道，因此它甚至不会尝试执行基析构函数内部的内容。

把它放在cout是另一回事——你都试过吗？

尽管没有可观察到的行为，编译器很容易证明--i语句后面总是跟着 10/i ，这反过来意味着不能i==1调用--i。

由于i对翻译单元是静态的，因此优化器还知道没有其他代码更改i其初始值 1 。

因此，现代优化器可以证明Child::~Child也没有被调用。

反过来，这意味着无法访问main的第四行。这是事情变得非常有趣的地方。 main似乎没有分支，但对于编译器来说并非如此。 new可能会抛出，这会为该程序引入两个分支。由于"通常"的非异常分支无法证明无法执行，优化器可能会得出结论，唯一可访问的分支是 2，其中任一语句new抛出 （！）

相关文章：