std::variant 中具有可变长度数组的结构

Question

所以我正在使用这种具有可变长度数组成员的结构类型，如下所示：

struct Entry;

struct Data {
    int members;
    size_t entries_size;
    Entry entries[1];
};

entries_size成员是entires数组的实际大小，只有从网络读取时才知道。 问题是我想在其他网络数据类型中的std::variant中使用它，我怎样才能将它放入具有整个数据 object 足迹的std::variant中，而没有悬空指针飞来飞去？

std::variant<Data, OtherData2, OhterData3...> v;

Answer 1

这不能在 C++ 中完成，C++ 根本无法以这种方式工作。

在 C++ 中，所有对象都有定义的类型和定义的固定大小。 您正在使用一种常见的类似 C 的方法手动过度分配 memory 以便在 memory 中可以有额外的Entry ，在形式之后。

采取具体、严格、控制良好的步骤可以在不违反（大多数）“规则”的情况下完成此操作（但仅假设Entry是微不足道的，当然，这还不清楚）。

然而，在混音中引入一个变体几乎是一个亮点。 std::variant （当然）不是一个平凡的 POD。 在为这种 franken-variant 过度分配计算量的 memory 后，这个特殊的 showstopper 可能会使用placement new 来解决。

然而，一旦越过了这个障碍，下一个障碍就是不可逾越的：C++ 无论如何都不能保证变体的内部布局。 毕竟，变体必须跟踪构造了哪个变体值，并且所有这些的附加元数据可以出现在为变体值保留空间之前或之后。 未指定。 游戏结束。

Answer 2

正如已经指出的，这是不合法的 C++。 它只是不会以这种方式工作。 但是，如果条目的数量是有限的，则可以这样做：

template <std::size_t N>
struct Data {
    int members;
    static constexpr std::size_t entries_size = N;
    Entry entries[N];
}; // Of couse, you might want to use std::array<Entry,N> instead!

// ...
std::variant<Data<2>, Data<8>, Data<32>> example;

当然，这是高度情境化的。 如果您知道传入的数据将分为 2、8 或 32 个条目，您可以在编译时指定这些。 如果条目的数量是完全可变的，没有任何保证，请使用std::vector 。 这就是它的用途。