Question

#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;
}

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

Answer 1

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

尝试this：

#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;
}

Answer 2

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

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

将其置于cout是另一回事 - 您是否同时尝试过？

Answer 3

无论没有可观察到的行为，编译器都很容易证明--i语句始终跟10/i后面，这反过来意味着--i不能被叫i==1。

由于i对翻译单元是静态的，优化程序也知道没有其他代码从i的初始值更改1。

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

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

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

3 个答案: