如何让C++结构体的指针成员与结构体本身保持相同的可变性

有两种常用的无额外性能开销的实现方式，都能满足「结构体可变时指针成员可变、结构体const修饰时指针成员也为const」的需求：

方案1：使用模板定义泛化的Bytes结构体 #

这是改造成本最低的方案，通过模板参数控制元素的可变性，完全兼容原有代码逻辑：

#include <cstdint>

template <typename T>
struct BasicBytes {
    T* buffer;
    uint32_t length;
};

// 定义别名兼容原有非const的使用场景，原有代码不需要做任何修改
using Bytes = BasicBytes<uint8_t>;
// 新增const版本的别名，用于持有只读缓冲区
using ConstBytes = BasicBytes<const uint8_t>;

使用示例如下：

const uint8_t buffer[] = "Hello";
const uint32_t length = sizeof(buffer);
// 用ConstBytes初始化const实例，编译完全合法
const ConstBytes bytes = { buffer, length };

// 支持非const到const的隐式转换，符合常规的类型兼容规则
Bytes writable_buf = { /* 可写缓冲区初始化 */ };
ConstBytes readable_buf = writable_buf; // 自动转换，无额外开销

方案2：封装getter接口控制可变性 #

如果不想改动结构体的模板定义形式，可以把成员设为私有，通过不同const属性的成员函数返回对应可变性的指针：

#include <cstdint>

struct Bytes {
    Bytes(uint8_t* buf, uint32_t len) : buffer(buf), length(len) {}

    // 非const实例返回可写指针
    uint8_t* get_buffer() { return buffer; }
    // const实例返回只读指针
    const uint8_t* get_buffer() const { return buffer; }
    uint32_t get_length() const { return length; }

private:
    uint8_t* buffer;
    uint32_t length;
};

这种方式只需要把原有代码中直接访问buffer成员的逻辑，改为调用get_buffer()即可，不需要调整业务逻辑，也能实现可变性同步的要求。

注意：不要为了通过编译强行用const_cast去掉指针的const属性，这会导致未定义行为，如果后续意外修改了const修饰的原始缓冲区，会触发程序崩溃或者不可预期的错误。

内容的提问来源于stack exchange，提问作者smolus