用指针低三位存放额外信息的优化方法

在8字节对齐的情况下指针的低三位都是0,在某些情况下我们需要维持跟指针对应的额外信息,例如标志位,但是又不想为此创建一个结构体,那就可以利用指针的低三位来存储额外信息。

比如说我们希望原子操作的类型是64位的数据,这样可以利用CMPXCHG机器指令实现CAS操作,即我们希望定义std::atomic<T *>的变量实现原子操作,而不希望定义std::atomic<S>,S为某个结构体。这时候就可以应用上述技巧。

具体实现方式如下所示:

std::uintptr_t是定义一个可以表示地址值(指针值即地址值)的无符号整型。将指针转换成std::uintptr_t然后进行位运算。以下代码作为示例:

#include <iostream>
#include <stdint.h>

struct Data
{
    // 定义一些数据成员
    long int a;
    long int b;
    long int c;
};

// 定义三个标志位,不用细究三个标志位的具体含义,这个在这里不重要。
static constexpr std::uintptr_t HAS_DATA = 1;
static constexpr std::uintptr_t NEED_DATA = 2;
static constexpr std::uintptr_t CLOSED = 4;
static constexpr std::uintptr_t FLAGS_MASK = HAS_DATA | NEED_DATA | CLOSED;
static constexpr std::uintptr_t PTR_MASK = ~FLAGS_MASK;

int main()
{
    Data * dp = new Data();
    dp->a = 88;
    dp->b = 99;
    dp->c = 77;

    std::cout << "指针值为 " << std::hex << reinterpret_cast<int64_t>(dp) << std::endl;
    // 在指针上附加上标志位
    std::uintptr_t ptr_int = reinterpret_cast<std::uintptr_t>(dp) | HAS_DATA;
    std::cout << "加过标记位后 " << std::hex << ptr_int << std::endl;

    // 取标志位
    std::uintptr_t flags = ptr_int & FLAGS_MASK;
    std::cout << "标记位 " << flags << std::endl;

    // 需要用指针的时候,清零低三位,恢复指针值原来的值
    dp = reinterpret_cast<Data*>(ptr_int & PTR_MASK);
    std::cout << "使用恢复后的指针" << std::dec << dp->a << ", " << dp->b << ", " << dp->c << std::endl;
    return 0;
}
©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容

  • 转至元数据结尾创建: 董潇伟,最新修改于: 十二月 23, 2016 转至元数据起始第一章:isa和Class一....
    40c0490e5268阅读 1,776评论 0 9
  • (1)线程的基本概念和常见问题: 每个进程都有自己的独立进程地址空间和上下文堆栈,进程中实际执行单位为线程,每个进...
    菠落箩落萝阅读 877评论 0 0
  • 最近看objc源码,有一些C++的知识点,对我这样的小白有点困难,因此整理了一份使用到的c++知识点,供自己查阅,...
    山已几孑阅读 691评论 0 2
  • OC底层原理 学习大纲 学习是一件循序渐进的事情。步子大了扯到蛋🥚 我们回顾下之前学习的内容。 将所学知识进行串联...
    markhetao阅读 964评论 2 6
  • **AtomicInteger** 是Java提供的原子操作类,其内部通过 **UnSafe** 工具类,使用 =...
    发燊阅读 492评论 0 0