如何无UB计算含柔性数组的非标准布局结构体大小并做编译期验证？

核心方案：组合Entry作为首成员+编译期断言验证布局 #

实现代码 #

#include <cstddef>
#include <type_traits>

enum class EntryType
{
   SingleElement,
   MultipleElements
};

struct Entry
{
   Entry* next_;
   EntryType type_;
};

struct SingleValueEntry : Entry
{
   int value_;
};

struct MultipleValuesEntry
{
   Entry entry_;
   int values_[1]; // C风格灵活数组成员模拟

   static constexpr size_t estimateSize(size_t valuesCount) noexcept
   {
      // 标准布局类型可安全使用offsetof，无UB
      return offsetof(MultipleValuesEntry, values_) + sizeof(values_[0]) * valuesCount;
   }
};

// 编译期断言，确保Entry是MultipleValuesEntry的首个成员且类型正确
static_assert(offsetof(MultipleValuesEntry, entry_) == 0, "Entry must be the first member of MultipleValuesEntry");
static_assert(std::is_same_v<decltype(MultipleValuesEntry::entry_), Entry>, "First member must be of type Entry");
static_assert(std::is_standard_layout_v<MultipleValuesEntry>, "MultipleValuesEntry must be standard layout");

void process(Entry* entry)
{
   if (entry->type_ == EntryType::MultipleElements)
   {
      // 因entry_是首个成员，指针可安全互转，无UB
      auto* mpe = reinterpret_cast<MultipleValuesEntry*>(entry);
      // 使用mpe->values_等成员
   }
}

方案合法性与优势 #

1. 无未定义行为：

   • MultipleValuesEntry是标准布局类型（所有成员public、无虚函数/基类、成员均为标准布局类型），因此使用offsetof完全符合标准，不会触发警告或UB。
   • 由于entry_是结构体的首个成员，MultipleValuesEntry*与Entry*满足**指针可互转（pointer-interconvertible）**要求，reinterpret_cast转换合法。

2. 保留编译期验证：

   • 三个静态断言从三个维度确保布局正确性：
     • 断言entry_的偏移为0，防止后续修改将其移出首位置。
     • 断言entry_的类型为Entry，防止误改成员类型。
     • 断言结构体为标准布局，避免因后续修改破坏布局合法性。
   • 任何布局变更都会触发编译错误，从根源避免生产环境崩溃。

其他方案的问题分析 #

原继承方案（offsetof警告） #

继承Entry的MultipleValuesEntry属于非标准布局类型（基类和派生类均含非静态数据成员），标准明确禁止对非标准布局类型使用offsetof，因此该方案存在UB风险，警告合理。

ChatGPT建议的std::aligned_storage方案 #

该方案中，将未初始化的std::aligned_storage存储区强制转换为MultipleValuesEntry*并访问成员，属于访问未初始化对象的成员，违反C++对象模型规则，存在明确UB，不可行。

自行实现offsetof宏 #

手动计算偏移需处理对齐、内存布局等复杂细节，极易因编译器差异、对齐规则变更引入UB，维护成本极高，不推荐。

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