对非const套接字接收缓冲区的const视图做const_cast是否为未定义行为？

问题背景 #

我通过recv()系统调用接收非const的UDP字节，随后将字节缓冲区传递给业务代码，代码读取字节的方式如下：

const auto* msg = reinterpret_cast<const BusinessMessage*>(buffer); // BusinessMessage是与发送方字节完全匹配的紧凑结构体
... // 受框架代码限制，必须保持msg为const...
DoBusinessLogic(msg->GetField1(), msg->GetField2(), ...);

注：这类reinterpret_cast在代码中广泛存在，已经过十余年的实战检验，尽管我知道一些纯粹主义者可能会反对。

目前由于业务框架限制，我需要修改msg的Field2。通常正确的做法是使用mutable成员变量，但受框架约束无法实现。因此我为BusinessMessage添加了一个const成员函数来修改Field2，代码如下：

struct BusinessMessage : Field1, Field2, ... // 遗憾的是我无法修改此实现以支持mutable成员变量
{
    void NonConstSetField2(int value) const
    {
        const Field2* field = static_cast<const Field2*>(this);
        Field2* mutableField = const_cast<Field2*>(field);
        mutableField->Set(value);
    }
};

我通过UB-Sanitizer测试未发现报错，但同事认为这属于未定义行为。请问根据C++标准，这是否属于未定义行为？即便技术上是UB，在现代GCC（如>=12）编译器下是否安全？

回答 #

一、C++标准层面的判定 #

根据C++标准，这种操作不属于未定义行为，但需满足核心前提：

• 原始对象（即buffer指向的UDP接收内存）本身并非const-qualified。你的场景中buffer是recv()返回的非const内存区域，完全符合这个要求。
• const_cast的合法用途之一就是移除指向非const对象的指针/引用的const属性。只有当原始对象本身是const类型（比如全局const变量、被const修饰的局部对象）时，通过const_cast修改才会触发未定义行为。

你的代码里，msg只是一个指向非const内存的const指针，并非指向真正的const对象。通过const_cast修改Field2，本质是操作原本就允许被修改的内存，完全符合C++标准规则。

二、现代GCC（>=12）下的安全性 #

在GCC 12及以上版本中，这种操作是安全的：

• GCC对const_cast的处理严格遵循C++标准，只要原始对象非const，编译器不会因为这类操作触发异常优化逻辑。
• UB-Sanitizer未检测到问题也能佐证这一点——UB-Sanitizer专门捕捉违反标准的未定义行为，无报错说明当前编译环境下操作合规。

需要注意的额外事项：

• 确保BusinessMessage的内存布局与buffer中的字节完全匹配，不存在对齐或填充差异（你提到已有十余年实战检验，这一点应该已验证）。
• 绝对不要用这种方式修改真正的const对象，那确实会触发未定义行为，可能导致崩溃、数据损坏或其他不可预测的结果。

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