请考虑以下代码段:
#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。