- iOS/Objective-C 元类和类别
- objective-c - -1001 错误,当 NSURLSession 通过 httpproxy 和/etc/hosts
- java - 使用网络类获取 url 地址
- ios - 推送通知中不播放声音
我对基类析构函数中的 this 指针有一个奇怪的问题。
问题描述:
我有 3 个类(class):A1、A2、A3
A2 公开继承自 A1 并私有(private)继承 A3
class A2:private A3, public A1 {...}
A3 有一个函数 getPrimaryInstance() ...返回一个 A1 类型的引用到A2 实例:
A1& A3::getPrimaryInstance()const{
static A2 primary;
return primary;
}
A3 构造函数如下所示:
A3(){
getPrimaryInstance().regInst(this);
}
(其中 regInst(...) 是 A1 中定义的函数,它存储指向所有 A3 实例的指针)
与 A3 析构函数类似:
~A3(){
getPrimaryInstance().unregInst(this);
}
^问题就出在这里!
当名为 primary 的静态 A2 实例在程序终止时被销毁时,将调用 A3 析构函数,但在 内部~A3 我尝试在我正在销毁的同一实例上访问一个函数。=> 运行时访问冲突!
所以我认为可以使用如下简单的 if 语句来解决:
~A3(){
if(this != (A3*)(A2*)&getPrimaryInstance()) //Original verison
//if (this != dynamic_cast<A3*>(static_cast<A2*>(&getPrimaryInstance())))
//Not working. Problem with seeing definitions, see comments below this post
getPrimaryInstance().unregInst(this);
}
(双重转换的原因是继承:)
A1 A3
.\/
. A2
(但这并不重要,可以只是 (int)-cast 或其他)
问题在于它仍然会崩溃。使用调试器单步执行代码表明,当我的 A2 primary 实例被销毁时,析构函数中的 this 指针和我得到的地址由于某些原因,调用 getPrimaryInstance() 根本不匹配!我不明白为什么 this 指针指向的地址总是不同于它(据我所知)应该是什么。 :(
在析构函数中这样做:
int test = (int)this - (int)&getPrimaryInstance();
还向我展示了差异不是恒定的(我曾短暂地有一个理论认为存在一些恒定的偏移量)所以它就像是两个完全不同的物体,而它应该是同一个物体。 :(
我正在使用 VC++ Express (2008) 进行编码。在谷歌搜索了一下之后,我发现了以下 MS 文章:
FIX: The "this" Pointer Is Incorrect in Destructor of Base Class
这与我遇到的问题不同(据说它在 C++.Net 2003 中也已修复)。但无论症状看起来如何并且它们确实提供了一个简单的解决方法,所以我决定尝试一下:
删除了 not-working-if 语句,并在 A2 的第二次继承之前添加了 virtual,如下所示:
class A2:private A3, public A1 {...} // <-- old version
class A2:private A3, virtual public A1 {...} //new, with virtual!
成功了! this 指针看起来仍然是错误的,但不再给出访问冲突。
所以我的大问题是为什么?
为什么 this 指针没有指向它应该指向的位置(?)?
为什么像上面那样将 virtual 添加到继承中可以解决它(尽管 this 仍然指向 &getPrimaryInstance() 以外的其他地方)?
这是一个错误吗?有人可以在非 MS 环境中尝试吗?
最重要的是:这安全吗??当然它不再提示了,但我仍然担心它没有做它应该做的事。 :S
如果有人对此有了解或经验并且可以帮助我理解它,我将非常感激,因为我仍在学习 C++,这完全超出了我目前的知识范围。
最佳答案
你使用 C 强制转换会要了你的命。
它特别容易在多重继承的情况下中断。
您需要使用 dynamic_cast<> 来向下转换类层次结构。虽然您可以使用 static_cast<> 向上移动(就像我所做的那样),但有时我认为使用 dynamic_cast<> 向两个方向移动更清晰。
C++ 有 4 种不同类型的转换,旨在取代 C 风格的转换。您使用的是 reinterpret_cast<> 的等价物,但您使用的不正确(任何优秀的 C++ 开发人员看到 reinterpret_cast<> 都会在这里稍等片刻)。
~A3(){
if(this != (A3*)(A2*)&getPrimaryInstance())
getPrimaryInstance().unregInst(this);
}
Should be:
~A3()
{
if (this != dynamic_cast<A3*>(static_cast<A2*>(&getPrimaryInstance())))
{ getPrimaryInstance().unregInst(this);
}
}
A2 对象的布局:(大概是这样的)。
Offset Data
A2 0x00 |------------------
0x10 * A3 Stuff
*------------------
0x20 * A1 Stuff
*------------------
0x30 * A2 Stuff
在 getPrimaryInstance() 中
// Lets assume:
std::cout << primary; // has an address of 0xFF00
返回的引用将指向对象的 A1 部分:
std::cout << &getPrimaryInstancce();
// Should now print out 0xFF20
如果您使用 C 风格转换,它不会检查任何内容,只会更改类型:
std::cout << (A2*)&getPrimaryInstancce();
// Should now print out 0xFF20
std::cout << (A3*)(A2*)&getPrimaryInstancce();
// Should now print out 0xFF20
虽然如果您使用 C++ 转换它应该正确补偿:
std::cout << static_cast<A2*>(&getPrimaryInstance());
// Should now print out 0xFF00
std::cout << dynamic_cast<A3*>(static_cast<A2*>(&getPrimaryInstance()));
// Should now print out 0xFF10
当然,实际值都非常依赖于编译器,并且取决于实现布局。以上只是可能发生的情况的示例。
尽管如前所述,对当前正在销毁的对象调用 dynamic_cast<> 可能并不安全。
那怎么样
更改 regInst() 以便它为注册的第一个对象返回 true。 getPrimaryInstance() 将始终由第一个创建的对象创建,因此它将始终是第一个注册自己的对象。
将此结果存储在本地成员变量中,并且只有在您不是第一个时才注销:
A3()
{
m_IamFirst = getPrimaryInstance().regInst(this);
}
~A3()
{
if (!m_IamFirst)
{
getPrimaryInstance().unregInst(this);
}
}
问题:
Why does the this-pointer not point to the where it should(?)?
确实如此。仅仅使用 C-Cast 就会搞砸指针。
Why does adding virtual to the inheritance like above solve it (despite this still pointing somewhere else than &getPrimaryInstance())?
因为它改变了内存中的布局,使 C-Cast 不再搞砸您的指针。
Is this a bug?
没有。 C-Cast 的错误使用
Can someone try it in a non-MS environment?
它会做类似的事情。
And most importantly: Is this safe??
没有。它由实现定义虚拟成员的布局方式。你只是碰巧走运。
解决方案:停止使用 C 样式转换。使用适当的 C++ 转换。
关于c++ - 为什么 this 指针地址与析构函数中的预期地址不同 (c++),我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/4378054/
我开始考虑在我 future 的项目或重构中实现控制反转容器,我想知道在正确设计依赖项时哪些原则(除了 GoF 模式)可能需要牢记在心。假设我需要构建一个简单的控制台应用程序,如果它可以访问互联网,它
假设我有一个 RxC contingency table 。这意味着有 R 行和 C 列。我想要一个维度为 RC × (R + C − 2) 的矩阵 X,其中包含行的 R − 1 “主效应”以及列的
我正在尝试使用 DKMS 为正在运行的内核 (4.4) 构 build 备树覆盖。我天真的 Makefile 如下: PWD := $(shell pwd) dtbo-y += my-awsome-o
我有一个 sencha touch 项目。我是用 phonegap 2.9 构建的,并且可以正常工作 device.uuid 返回到设备 ID。当我尝试使用 3.1 device.uuid 构建时抛出
我在安装了 Xcode 4.5.1 的 Mt Lion 上运行。 默认情况下,当我构建并部署到 iOS 5.1 设备时,显示会在我旋转设备时旋转,但当我部署到 iOS 6 模拟器或运行 iOS 的 i
我正在尝试使用 Google Analytics Reporting API v4 构建多折线图。 一张图表,其中我按每天的 session 计数为每个设备(台式机/平板电脑/移动设备)设置了一条线。
我一生都无法使用 xcode 组织者“自动设备配置”中的“团队配置配置文件”在 xcode 4.0.1 中将我的应用程序构建到我的 iPad 上。 该应用程序完美地构建到模拟器,但当我构建到 iPad
我是一名优秀的程序员,十分优秀!