- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
考虑以下代码片段:
#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/
我来自 Asp.Net 世界,试图理解 Angular State 的含义。 什么是 Angular 状态?它类似于Asp.Net中的ascx组件吗?是子页面吗?它类似于工作流程状态吗? 我听到很多人
我一直在寻找 3 态拨动开关,但运气不佳。 基本上我需要一个具有以下状态的开关: |开 |不适用 |关 | slider 默认从中间开始,一旦用户向左或向右滑动,就无法回到N/A(未回答)状态。 有人
我是一名优秀的程序员,十分优秀!