C++编译时计算连续内存分段偏移与大小并支持命名访问的实现问题

问题根因分析 #

• 联合体类型双关不符合标准要求：C++标准明确禁止访问联合体非活跃成员，你初始化了SegmentSizes::names成员后访问arr属于未定义行为，MSVC对这种用法做了非标准扩展所以能编译，GCC严格遵循标准因此报错。
• reinterpret_cast无法用于常量表达式：C++规定constexpr上下文不允许出现reinterpret_cast操作，你在初始化SegmentOffsets::names时用reinterpret_cast转换数组指针，因此编译器判定整个表达式不满足编译期常量要求。
• 额外风险：你当前的写法依赖结构体成员内存连续对齐的假设，一旦结构体成员出现对齐填充就会导致取值错误，稳定性极差。

可行实现方案 #

我们可以放弃不可靠的联合体类型双关写法，改用枚举+constexpr数组+具名访问函数的方案，同时满足遍历和按名称访问的需求，完全符合C++标准，兼容所有主流编译器：

#include <array>
#include <iostream>
#include <cstdint>

struct Memory {
    // 分段ID定义，调整顺序只需要改这里的枚举顺序
    enum SegmentID {
        triangleSegment,
        polyhedronSegment,
        squareSegment,
        segmentCount
    };

    // 分段大小定义，调整大小只需要对应改数组元素
    static constexpr std::array<uint8_t, segmentCount> segmentSizes = {
        1,  // triangleSegment
        10, // polyhedronSegment
        2   // squareSegment
    };

    // 编译期计算偏移量数组
    static constexpr auto calcSegmentOffsets() {
        std::array<uint16_t, segmentCount> offsets{};
        uint16_t curr = 0;
        for (size_t i = 0; i < segmentCount; ++i) {
            offsets[i] = curr;
            curr += segmentSizes[i];
        }
        return offsets;
    }
    static constexpr std::array<uint16_t, segmentCount> segmentOffsets = calcSegmentOffsets();

    // 具名访问接口，修改分段/新增分段只需要加对应的访问函数
    static constexpr uint8_t triangleSize() { return segmentSizes[triangleSegment]; }
    static constexpr uint16_t triangleOffset() { return segmentOffsets[triangleSegment]; }

    static constexpr uint8_t polyhedronSize() { return segmentSizes[polyhedronSegment]; }
    static constexpr uint16_t polyhedronOffset() { return segmentOffsets[polyhedronSegment]; }

    static constexpr uint8_t squareSize() { return segmentSizes[squareSegment]; }
    static constexpr uint16_t squareOffset() { return segmentOffsets[squareSegment]; }
};

int main() {
    // 按名称访问示例
    std::cout << "三角形分段大小：" << static_cast<int>(Memory::triangleSize()) << "\n";
    std::cout << "多面体分段偏移：" << Memory::polyhedronOffset() << "\n";
    std::cout << "正方形分段偏移：" << Memory::squareOffset() << "\n";

    // 遍历示例
    std::cout << "\n遍历所有分段：\n";
    for (size_t i = 0; i < Memory::segmentCount; ++i) {
        std::cout << "分段" << i << " 大小：" << static_cast<int>(Memory::segmentSizes[i]) 
                  << " 偏移：" << Memory::segmentOffsets[i] << "\n";
    }
    return 0;
}

方案优势 #

• 完全符合C标准，兼容GCC、Clang、MSVC所有主流编译器，C17及以上版本即可运行
• 调整成本极低：新增/删除/调整分段顺序时，只需要修改SegmentID枚举、segmentSizes数组、新增对应的具名访问函数三处代码，所有使用具名接口的地方完全不需要修改
• 无额外运行时开销，所有值均为编译期计算完成，和原有方案性能完全一致

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