访问原始数据时避免使用reinterpret_cast的C++20解决方案

在C++20中，你可以用std::bit_cast来替代reinterpret_cast完成指针类型转换，这是标准库提供的类型安全转换方式，Clang-Tidy通常不会对其发出警告，同时满足你的场景需求。

修改后的代码示例 #

#include <bit>
#include <span>

// 假设PixelFormat和bar的定义已存在
enum class PixelFormat { Monochrome8bit, Monochrome16bit };
template<typename T> void bar(std::span<T>);

void foo(std::span<uint8_t> pixels, PixelFormat format)
{
    switch (format) {
    case PixelFormat::Monochrome8bit:
        bar<uint8_t>(pixels);
        break;
    case PixelFormat::Monochrome16bit:
        // 用std::bit_cast转换指针类型，构造对应span
        auto uint16_ptr = std::bit_cast<uint16_t*>(pixels.data());
        bar<uint16_t>({uint16_ptr, pixels.size() / sizeof(uint16_t)});
        break;
    }
}

关键说明 #

1. std::bit_cast的优势：它是C++20引入的标准转换方式，要求源类型和目标类型的大小完全相同（指针类型在同一平台下大小必然一致），相比reinterpret_cast更具约束性，避免了一些无意义的类型转换，因此被Clang-Tidy等工具认可。
2. 对齐要求：必须确保原std::span<uint8_t>指向的内存块满足uint16_t的对齐要求，否则访问转换后的指针会触发未定义行为。你的场景假设字节序无问题，通常意味着内存是按对应格式对齐的。
3. 笔误修正：原代码中的unit8_t/unit16_t是拼写错误，需改为标准的uint8_t/uint16_t。

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