跟着源码实现LevelDB（二）util/status.cc

概述

本小节实现了leveld的Status类，Status看起来是个简单的类，但是其中也包含了leveldb对极致的性能实现的巧妙设计

Status的内存管理

Status 只有一个成员变量 const char* state_; state[0…3] 表示长度，state[4] 1个字节 表示状态的枚举， state[5…] 表示状态的含义

// OK status has a null state_. Otherwise, state_ is a new[] array // of the following form: // state_[0..3] == length of message // state_[4] == code // state_[5..] == message const char* state_;

通义灵码的解释是

简化设计：通过一个指针管理所有状态信息，减少了类的复杂性。state_ 为 nullptr 表示成功状态（OK），否则指向一个动态分配的数组。 紧凑存储：将长度信息、状态码和消息合并存储在一个连续的内存块中，避免了多个独立成员变量带来的额外开销和内存碎片。 高效复制和移动：在复制或移动构造函数中，只需要处理一个指针，确保资源正确转移或复制，提高了性

从CopyState可以看到，先取state_的长度，再进行拷贝，+5是因为 4字节存长度，1字节存状态。

const char *Status::CopyState(const char * state) { if(state == nullptr) { return nullptr; } uint32_t size; std::memcpy(&size, state, sizeof(size)); char * result = new char[size + 5]; std::memcpy(result, state, size + 5); return result; } 使用Swap实现移动构造函数

我可能看的代码太少了，这种swap方式实现移动语义的奇技淫巧我是大为震惊， 不需要判断rhs是不是自己。

inline Status& Status::operator=(Status&& rhs) noexcept { std::swap(state_, rhs.state_); return *this; } 单元测试 本节没有新加单元测试，跑通原来的测试即可 ./leveldb_tests --gtest_filter="*Status*"

代码地址

github /9DemonFox/myleveldb/commit/0b184a279e4d92bb3e5ae35b2921c8b10c29848f