c++ - 通过成员访问表达式调用虚函数

Question

我遇到了以下规则 N4296::12.7/4 [class.cdtor]:

If the virtual function call uses an explicit class member access (5.2.5) and the object expression refers to the complete object of x or one of that object’s base class subobjects but not x or one of its base class subobjects, the behavior is undefined.

这是什么意思？你不能举例说明一下吗？对我来说有点难以想象。

Answer 1

如果你还想知道，这是指当你在一个基类的析构函数中，你指的是整个对象已经被销毁的东西。一个例子:

struct Derived;

struct Base {
    Derived &der;
    Base(Derived &d): der(d) {}
    ~Base();
};

struct Derived: Base {
    int value;
    Derived(): Base(*this) {}
};

#include <iostream>

Base::~Base() {
    std::cout <<
        der.value // this is the undefined behavior! der.value is *gone*
        << std::endl;
}

AFAIK，除了在 Base 的析构函数中访问 der.value 之外，该代码中的所有内容都是合法的，因为当您销毁 Base 时，您您已经销毁了您在 der

中保留引用的 Derived