使用reinterpret_cast转换指针时触发丢弃const限定符错误，如何修正？

尝试将内存布局一致的两个struct指针互相转换，同时保证const正确性，但编译报错。核心需求是返回一个不可修改的指针，不希望丢失const属性。

代码示例 #

struct queue
{
    // ...
};

typedef struct queue* queue_handle;

struct dummy_queue
{
    // ...
};

struct queue_wrapper
{
    auto get_queue() const -> queue_handle {
        return reinterpret_cast<const queue_handle>(&d);
    }

    dummy_queue d;
};

int main()
{
    queue_wrapper w;
    w.get_queue();
}

编译错误信息 #

<source>: In member function 'queue* queue_wrapper::get_queue() const':
<source>:17:16: error: 'reinterpret_cast' from type 'const dummy_queue*' to type 'queue_handle' {aka 'queue*'} casts away qualifiers
   17 |         return reinterpret_cast<const queue_handle>(&d);
      |                ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

错误根源是const queue_handle的写法不符合需求：queue_handle是queue*的别名，const queue_handle等价于queue* const（指针本身不可变，但指向的对象可修改），而实际需要的是const queue*（指向的对象不可修改）。

有两种可行的修正方式：

方式1：直接使用const queue*作为返回类型和转换目标 #

修改get_queue的返回类型与转换代码，直接明确指向const对象的指针：

struct queue_wrapper
{
    auto get_queue() const -> const queue* {
        return reinterpret_cast<const queue*>(&d);
    }

    dummy_queue d;
};

方式2：定义带const的类型别名 #

如果希望继续使用别名风格，可以额外定义一个指向const对象的指针别名：

typedef struct queue* queue_handle;
typedef const struct queue* const_queue_handle;

struct queue_wrapper
{
    auto get_queue() const -> const_queue_handle {
        return reinterpret_cast<const_queue_handle>(&d);
    }

    dummy_queue d;
};

两种方式都能正确保留const属性：在const成员函数中，&d是const dummy_queue*，转换为const queue*不会丢失const限定符，符合编译器的const正确性检查。

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