STM32 HAL中如何正确将const参数转为非const？

问题描述 #

我正在为STM32 HAL函数编写C++包装类，遇到了以下问题：

HAL提供的I2C内存写入函数声明如下：

HAL_StatusTypeDef HAL_I2C_Mem_Write(I2C_HandleTypeDef *hi2c, uint16_t DevAddress, uint16_t MemAddress, uint16_t MemAddSize, uint8_t *pData, uint16_t Size, uint32_t Timeout);

该函数的pData参数是非const的uint8_t*，从声明上看意味着写入的数据可能被修改，但从逻辑上来说，写入操作不应该修改源数据——为了让包装类的接口更安全简洁，我定义的包装函数如下：

void nonVolatileStorage::write(const uint32_t startAddress, const uint8_t* sourceData, const uint32_t dataLength)

为了将const uint8_t*类型的sourceData传入HAL函数，我用了const_cast去除const属性：

uint8_t* pData{const_cast<uint8_t*>(sourceData)};

但静态代码检查工具SonarQube提示：

const_cast移除指针的const限定可能导致未定义行为。sonarqube(cpp:S859)

请问这种做法是否正确？

解答 #

核心结论 #

只要你能确定HAL_I2C_Mem_Write函数实际上不会修改pData指向的内容，那么当前的const_cast用法是安全的，不会触发未定义行为。

原因分析 #

• HAL函数将pData设为非const指针，大概率是API设计的历史遗留问题或者疏忽——I2C写操作的逻辑是读取源数据并通过总线发送，完全不需要修改输入的源数据。
• SonarQube的警告是通用规则的提醒：如果后续HAL函数的实现发生变化（或者你误将指向真正const内存的指针传入，比如字符串字面量、const数组），此时通过const_cast去除const后修改内存，就会触发未定义行为。

更稳妥的替代方案 #

如果想彻底消除静态检查警告并规避潜在风险，可以采用以下两种方式：

1. 拷贝到临时非const缓冲区
   将const源数据拷贝到一个可修改的临时缓冲区，再传给HAL函数，完全避免const_cast：

   std::vector<uint8_t> tempBuffer(sourceData, sourceData + dataLength);
   // 假设你已经持有hi2c句柄、设备地址等参数
   HAL_I2C_Mem_Write(&hi2c, devAddress, startAddress, MEM_ADD_SIZE_8BIT, tempBuffer.data(), dataLength, HAL_MAX_DELAY);
   

   这种方式的内存拷贝开销极小，对于I2C写操作的场景完全可以忽略。

2. 添加注释并抑制静态检查警告
   在const_cast代码上方添加明确注释，说明此处安全的原因（HAL函数不会修改数据），同时在SonarQube中针对该代码位置关闭cpp:S859警告（需符合团队的代码检查规范）。

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