使用reinterpret_cast转换Vulkan着色器数据是否属于未定义行为？

我在学习Vulkan教程时遇到一个问题：教程里把着色器代码读到std::vector<char>中，然后用reinterpret_cast转成const uint32_t*传给VkShaderModuleCreateInfo结构体。但我觉得这可能触发未定义行为，因为uint32_t的对齐要求比char高。相关代码如下：

std::vector<char> readFile(const std::string& filename) {
    std::ifstream file{filename, std::ios::ate | std::ios::binary};

    if (!file.is_open()) {
        throw std::runtime_error{"failed to open file"};
    }

    std::size_t fileSize{static_cast<std::size_t>(file.tellg())};
    std::vector<char> buffer(fileSize);
    file.seekg(0);
    file.read(buffer.data(), fileSize);
    file.close();
    return buffer;
}

int main() {
    auto code{readFile("file")};
    auto pCode{reinterpret_cast<const std::uint32_t*>(code.data())};
}

你的判断完全正确，这种写法确实会触发未定义行为。

C++标准明确规定，通过reinterpret_cast转换指针后访问目标类型时，必须满足目标类型的对齐要求。std::vector<char>的内存是按char的对齐规则分配的（通常是1字节），而uint32_t的对齐要求通常为4字节。直接将char*转换为uint32_t*并访问，会违反类型的对齐约束，属于标准定义的未定义行为范畴。

你给出的修改方案是可行的，能彻底解决对齐问题：

std::vector<std::uint32_t> readFile(const std::string& filename) {
    std::ifstream file{filename, std::ios::ate | std::ios::binary};

    if (!file.is_open()) {
        throw std::runtime_error{"failed to open file"};
    }

    std::size_t fileSize{static_cast<std::size_t>(file.tellg())};
    std::vector<std::uint32_t> buffer(fileSize / sizeof(std::uint32_t));
    file.seekg(0);
    file.read(reinterpret_cast<char*>(buffer.data()), fileSize);
    file.close();
    return buffer;
}

方案的合理性说明： #

• std::vector<uint32_t>会按照uint32_t的对齐要求分配内存，完全满足类型的对齐需求，转换后访问不会触发未定义行为。
• 将uint32_t*转换为char*传给file.read()是安全的：C++标准允许将任何对象的指针转换为char*来访问其底层字节，这属于合法的类型转换。

额外注意事项： #

SPIR-V格式的着色器文件大小必须是sizeof(uint32_t)的整数倍，否则fileSize / sizeof(std::uint32_t)会截断数据，导致读取不完整。建议在代码中添加校验逻辑：

if (fileSize % sizeof(std::uint32_t) != 0) {
    throw std::runtime_error("shader file size is not a multiple of uint32_t");
}

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