arrays - 初始化一个非平凡可构造对象的数组

Question

我有一个类 Foo 需要构建一个引用(它将用于在该内存空间上工作)

template<typename T>
class Foo {
  public:
    Foo(T& value) : _value(value) {}
    ...
  private:
    T& _value;
};

我也有多个T实例的线性内存空间

std::array<T, SIZE> buffer;

我想要构建的是一个 Foo 类型的对象数组，它映射我的缓冲区的不同实例。这意味着必须使用正确的引用构建 Foo 的每个实例。

std::array<Foo<T>, SIZE> operators;

不过，operators 无法简单地初始化，我可以通过“Foo”构造函数“映射”缓冲区来设法构建它。

有什么办法吗？我尝试使用 std::forward 和 std::initializer_list 但它们不能从我的缓冲区构造。

请注意，出于通信目的，我需要我的缓冲区保持对齐，并且我将最终重载 Foo 类，以便为我的数组的不同元素实现不同的行为。

Answer 1

std::array 必须知道在初始化时如何构造引用。更喜欢使用这样的指针:

template<typename T>
class Foo {
  public:
    Foo() { } // used by std::array to create Foo<T>
    Foo(T& value) : _value(&value) {}
    operator T&() { return *_value; } // never call this on uninitialised objects
  private:
    T* _value = nullptr;
};

您可以做的是创建一个静态对象来预初始化您的引用。

template<typename T>
class Foo {
  static T _default; // default-object used to initialize the reference
  public:
    Foo() { } // used by std::array to create Foo<T>
    Foo(T& value) : _value(value) {}

    T& _value = _default;
};

int a = 0;
std::array<Foo<int>, 10> arr;
arr[0]._value = a;