c++ - 绕过 C++ 严格别名规则

Question

我想在容器中存储有限数量的项目。我不想使用数组，因为我想避免不必要的对象构造函数调用。我不想使用 std::vector 因为隐式的 malloc 调用(我想尽量减少对堆的访问以获得最大的缓存一致性)。

所以我开始定义我自己的自定义容器，像这样:

template<typename T, size_t capacity> class my_array {
  private:
   char buffer[sizeof(T)*capacity];
   ...
  public:
   T& operator[](size_t i) { return *(T*)&buffer[i*sizeof(A)]; }
   ...
};

但是当我尝试实际使用这个容器时，我收到关于违反严格别名规则的编译器警告。我已经阅读了关于严格别名的内容，并且我理解为什么编译器优化会导致上述代码中断。

我该如何解决这个问题？

奇怪的是，我的编译器没有提示我的自定义 object_pool 类，除其他外，我将其用作关联 STL 数据结构的自定义分配器。该类看起来与上面的非常相似(使用 char[] 并执行类似的转换)。我不知道这两者之间有什么区别。

Answer 1

使用 std::array. . . . . . . . . . . . . !