考虑以下代码片段:

#include <new>
#include <iostream>

struct IDivideResult {
    virtual int result() = 0;
    virtual int remainder() = 0;
};

struct DivideResult : IDivideResult {
    DivideResult(int result, int remainder) : result_(result), remainder_(remainder) {}
    int result() override { return result_; }
    int remainder() override { return remainder_; }

    int result_, remainder_;
};

struct LazyDivideResult : IDivideResult {
    LazyDivideResult(int dividend, int divisor) : dividend_(dividend), divisor_(divisor) {}
    int result() override { return Transmogrify()->result(); }
    int remainder() override { return Transmogrify()->remainder(); }

    DivideResult *Transmogrify() {
        int result = dividend_ / divisor_;
        int remainder = dividend_ % divisor_;
        return new (this) DivideResult(result, remainder);
    }

    int dividend_, divisor_;
};

void Print(IDivideResult *div) {
    int result = div->result();
    int remainder = div->remainder();

    std::cout << result << " " << remainder << "\n";
}

int main() {
    IDivideResult *div = new LazyDivideResult(10, 3);
    Print(div);
}

我的问题是关于Print函数的行为。

预期的行为:调用result() div指向DivideResult类的实例后,调用remainder()函数将调用DivideResult::remainder()函数。

可能的(?)行为:在将result()指针调用为vtable的时刻
LazyDivideResult已缓存。下一次对remainder()的调用将重用先前缓存的vtable指针,因此将调用LazyDivideResult::remainder()

我听说虚拟表不是C++标准的一部分。同样,反汇编clang / gcc / msvc生成的代码也会呈现预期的行为。

因此,这里的问题是:是否允许编译器生成导致上述“可能的行为”的代码?有保证吗?

最佳答案

这是未定义的行为。

一旦调用div->result(),指针div就会变为无效,因为您已经结束了它所指向的对象的生存期。您观察到的症状是它在调用remainder时“成功”。

从理论上讲,一个实现可以假设您只将DivideResult传递给Print,因为传递LazyDivideResult将会是UB。

关于c++ - 透化多态对象,我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/52832137/

10-11 18:53