如何解决可以在指针的最低有效位中存储无关数据吗？
| 让我先说一下，我知道我将要提出的是一种致命的罪过，即使考虑到这一点，我也可能会在《编程地狱》中燃烧。 就是说，我仍然有兴趣知道是否有任何理由无法解决该问题。 情况是：我有一个引用计数智能指针类，该类在任何地方都可以使用。当前看起来像这样（注意：不完整/简化的伪代码）：class IRefCountable
{
public:
IRefCountable() : _refCount(0) {}
virtual ~IRefCountable() {}
void Ref() {_refCount++;}
bool Unref() {return (--_refCount==0);}
private:
unsigned int _refCount;
};
class Ref
{
public:
Ref(IRefCountable * ptr,bool isObjectOnHeap) : _ptr(ptr),_isObjectOnHeap(isObjectOnHeap)
{
_ptr->Ref();
}
~Ref()
{
if ((_ptr->Unref())&&(_isObjectOnHeap)) delete _ptr;
}
private:
IRefCountable * _ptr;
bool _isObjectOnHeap;
};
解决方法
任何原因？除非最近标准中发生了变化，否则指针的值表示形式是实现定义的。当然，某个地方的某些实现可能会拉出相同的窍门，为自己的目的定义这些本来没有使用的低位。某些实现更有可能使用字指针而不是字节指针，因此，与其相邻的两个字不在\“ addresses \” 0x8640和0x8642，而在\“ addresses \” 0x4320和0x4321 。
解决该问题的一种棘手方法是使Ref成为（事实上的）抽象类，并且所有实例实际上都是RefOnHeap和RefNotOnHeap的实例。如果周围有很多引用，则用于存储三个类的代码和元数据而不是一个的额外空间将由每个Ref的一半大小所节省的空间来弥补。 （效果不是很好，如果没有虚拟方法，编译器可以忽略vtable指针，而引入虚拟方法会将4或8个字节加回到类中）。
,这里的问题是它完全依赖于机器。这不是人们经常在C或C ++代码中看到的东西，但是肯定在汇编中已经完成了很多次。旧的Lisp解释器几乎总是使用此技巧将类型信息存储在低位。 （我在C代码中看到过int，但在针对特定目标平台实施的项目中却看到过int。）
就个人而言，如果我试图编写可移植的代码，则可能不会这样做。事实是，它几乎肯定会在“所有合理的现代桌面环境”上运行。 （当然，它将在我能想到的每一个上都起作用。）
在很大程度上取决于代码的性质。如果您正在维护它，而没有其他人必须处理“痛苦的世界”，那么可能就可以了。您将必须为以后可能需要支持的任何奇怪的架构添加ifdef \。另一方面，如果您将其作为“便携式”代码发布到世界上，那将引起关注。
解决此问题的另一种方法是编写两个版本的智能指针，一个版本用于将在其上运行的计算机，另一个版本用于将不起作用的计算机。这样，只要同时维护两个版本，更改配置文件以使用16字节版本就没什么大不了的。
不用说，您必须避免编写任何其他代码，假设
sizeof(Ref)
std::[u]intptr_t
std::intptr_t
bool
Ref(IRefCountable * ptr) : _ptr(ptr)
{
if(ptr != 0)
_ptr->Ref();
}
0
class Ref
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 dio@foxmail.com 举报，一经查实，本站将立刻删除。
