从派生班级的基类中陈述占用缓冲区

Question

我想创建一个结构对象数组，每个对象都包含一个具有值的成员。但是，此值在对象之间的类型可能有所不同。由于尺寸不能有所不同，因此我决定将一个占位缓冲区放在基类中，我试图从模板到类型的派生类中别名。但这是行不通的：

#include <iostream>
#include <string>

struct some_struct_base
{
    std::string name_;
    char placeholder_[sizeof(std::string)];
    some_struct_base* next_;
    some_struct_base* prev_;
};

template <typename T>
struct some_struct : some_struct_base
{
    using val = static_cast<T>(some_struct_base::placeholder_);
};


int main()
{
    std::cout << sizeof(some_struct<std::string>) << std::endl;

    some_struct_base arr[10]; // <-- this is why the size needs to be fixed
    std::cout << static_cast<some_struct<std::string>>(arr[10]).val << std::endl; // <-- allow this
}

产量：

<source>:99:17: error: expected type-specifier before 'static_cast'
   99 |     using val = static_cast<T>(some_struct_base::placeholder_);
      |                 ^~~~~~~~~~~

我可以中途理解这一点，因为Val定义了类型而不是可变名称。但是我不想向派生类介绍新成员（例如参考成员，例如），因为这需要在嵌入式系统上运行，而另外4个字节已经要求太多。

如何使用最小空间 /没有其他开销来实现这一目标？