Question

当我使用=-运算符将包含std :: vector的结构复制到未初始化的内存时，出现分段错误。关键代码如下：

template<typename T>
ComponentContainer
{
  T* buffer;
  size_t capacity;
  size_t m_size;

public:

  ComponentContainer();
  ~ComponentContainer();
  size_t size();
  void resize(size_t size);
  T & operator[](size_t index);
};

template<typename T>
void ComponentContainer<T>::resize(size_t newSize)
{
  if(this->m_size >= newSize)
  {
    this->m_size = newSize;
  }
  else
  {
    if(this->capacity < newSize)
    {
      const size_t newCapacity = capacity*2;
      T* newBuffer = (T*)malloc(newCapacity*sizeof(T));
      for(size_t i = 0; i<m_size; i++)
      {
        // checks if this->buffer[i] is valid intialized memory
        if(pseudo_checkIfElementIsInitialized(i))
        {
          // when this is uncommented no segfault happens
          //new (&newBuffer[i]) T(); 
          newBuffer[i] = this->buffer[i]; // <- segfault happens here 
        }
      }
      this->capacity = newCapacity;
      free(this->buffer);
      this->buffer = newBuffer;
    }
    this->m_size = newSize;
  }
}

当我遇到段错误时，T类型是带有std :: vector结构的结构。我怀疑std :: vector = -operator以某种方式使用了左侧变量newBuffer[i]，并且由于newBuffer[i]未初始化，因此发生了分段错误。

仅使用功能T & operator[](size_t index)的new位置创建对象。 malloc应该只分配内存而不初始化任何东西。

我试图写一个简单的例子，但是效果不是很好：

#include <iostream>
#include <vector>


struct Hello
{
    Hello()
    {
        std::cout << "constructor" << std::endl;
    }
    ~Hello()
    {
        std::cout << "destructor" << std::endl;
    }
    std::vector<double> v = std::vector<double>(1);
};


int main()
{
    Hello* buffer = (Hello*)malloc(1*sizeof(Hello));
    char* noise = (char*)buffer;
    for(size_t i = 0; i<sizeof(Hello); i++)
    {
        noise[i] = 100;
    }
    auto tmp = Hello();
    tmp.v[0] = 6.6;
    //new (&buffer[0]) Hello();
    buffer[0] = tmp;
    std::cout << buffer[0].v[0] << std::endl;

    return 0;
}

它可以正常运行而不会出现段错误。我认为这是因为未初始化的内存对于std :: vector = -operation来说是偶然的。

所以

a）理论是否正确

如果是

b）如何为我的T()用作T的每个类不使用默认构造函数（ComponentContainer）来解决此问题

Answer 1

是的，是的。您无法分配给不存在的对象。

取消对此行的注释！

如果您不能使用默认构造，请复制构造：

new (&newBuffer[i]) T(this->buffer[i]);

如果您不能做到这一点，那么，您就知道了。

malloc应该只分配内存而不初始化任何东西。

您是否可能低估了此声明的重要性？您不只是获取内存，然后决定是否使用一些值对其进行初始化。您必须先创建对象，然后再使用它们。这不是可选的。您正在编写C ++，而不是操纵磁带上的位和字节：）

带有std :: vector的Segfault =-对未初始化空间的操作

1 个答案: