Как предотвратить временный выход из сферы действия?

Question

В следующем случае моего объекта выходит из области видимости и получить доступ к недопустимому указателю:

struct Animal 
{ 
    char* buffer; 
    Animal() { buffer = new char[100]; } 
    ~Animal() { delete[]buffer; } 
}; 


int main() 
{ 
    vector<Animal> list; 

    { 
     Animal dog; 
     list.push_back(dog); 
    } 

    list[0].buffer[50] = 7; // Buffer's been deleted, can't access it 
} 

я думаю, что лучший способ, чтобы предотвратить это было бы построить объект Animal на месте в векторе, но дон Не знаю, как это сделать. Я думал о выполнении:

list.push_back(Dog()); 

Но это по-прежнему создает временный характер, если она не оптимизирована в сторону, и я предпочел бы не полагаться на это, потому что в другом месте (другой компилятор), он не может делать то же самое.

Edit: Благодаря Реми Лебо я узнал, вы можете построить вектор элемент непосредственно в векторе, нет временных, ни копирования, с помощью функции:

template< class... Args > 
void emplace_back(Args&&... args); 

Я не знаю, как VARIADIC шаблон аргументов работает, но описание:

Добавляет новый элемент в конец контейнера. Элемент равен , построенный по std :: allocator_traits :: construct, который обычно использует новое размещение для создания элемента на месте в месте , предоставляемом контейнером. Аргументы арг ... направляются в конструктор как станд :: вперед (арг) ....

Answer 1

Проблема заключается не в том, что временная выходит из области видимости. Реальная проблема заключается в том, что Animal нарушает Rule of three, не реализуя конструктор копирования или оператор присваивания копии.

Когда вы вставляете временные объекты в вектор, создается копия объекта, но создатель, созданный компилятором, просто копирует указатель как есть, он не выделяет копию памяти. Таким образом, при временном уничтожении память освобождается в деструкторе, а копия остается с висящим указателем на недопустимую память.

Добавить конструктор копирования выделить новую память:

struct Animal 
{ 
    char* buffer; 

    Animal() { 
     buffer = new char[100]; 
    } 

    Animal(const Animal &src) { 
     buffer = new char[100]; 
     std::copy(src.buffer, src.buffer+100, buffer); 
    } 

    ~Animal() { 
     delete[] buffer; 
    } 

    Animal& operator=(const Animal &rhs) { 
     if (this != &rhs) { 
      std::copy(rhs.buffer, rhs.buffer+100, buffer); 
     } 
     return *this; 
    } 
}; 

В качестве альтернативы, используйте std::vector вместо исходного указателя, и пусть компилятор генерировать подходящий конструктор копирования, копирующий оператор присваивания и деструктор для вас:

struct Animal 
{ 
    std::vector<char> buffer; 
    Animal() : buffer(100) {} 
}; 

Или просто выделить память статически, а не динамически:

struct Animal 
{ 
    char buffer[100]; 
};