问：

我希望能够处理指向具有未知大小的数组成员的对象的指针，并通过指向其公共第一个成员的类型擦除指针访问该数组。我目前的尝试如下：

#include <cstddef>

struct node_base
{
    node_base* next;
    int size;
};

template <int n>
struct node
{
    node_base base;
    char data[n];

    node() : base{nullptr, n} {
        static_assert(offsetof(node, data) == sizeof(node_base));
    }
};

void process_queue(node_base* head)
{
    while (head)
    {
        for (int i = 0; i < head->size; ++i)
        {
            *(reinterpret_cast<char*>(reinterpret_cast<char*>(head) + sizeof(node_base)) + i) = i;
        }

        head = head->next;
    }
}

int main()
{
    node<3> a{};
    node<4> b{};
    node<2> c{};

    c.base.next = &b.base;
    a.base.next = &c.base;

    process_queue(&a.base);

    return a.data[2] + c.data[1];
}

此代码构建了一个类似队列的结构（节点，并以“a -> c -> b”的形式相互指向），并将指向第一个元素的指针传递给 。然后，该函数将遍历队列并访问直接存储在成员之后的数组，并写入值 ...到其条目中。abcprocess_queuenode<n>::datanode_base0n-1

挑战在于节点具有不同的类型，因此队列的指针指向实际节点的成员，我需要一些东西才能从那里获取实际数据。nextnode_base

尽管这似乎在成功返回期望值 3 的意义上起作用 （Godbolt），但我不确定这是否被允许。

问题

假设我通过某种方法知道指针指向具有大小数组的对象的第一个成员，通过上面的代码访问数组的元素是否合法？如果不是，它可以在不扩大规模的情况下合法化吗？curcur->sizenode<n>::datasizeof(node<n>)