Почему первый элемент уничтожен?

Question

У меня есть кусок кода, как это:

class Data 
{ 
    public: 
     Data(const std::vector<int> &_data) 
     { 
      my_data = _data; 
     } 

    private: 
     std::vector<int> my_data; 
}; 


int main() 
{ 
    std::vector<std::shared_ptr<Data>> vec = { 
     std::shared_ptr<Data>(new Data(std::vector<int>({ 1, 2 ,3 }))), 
     std::shared_ptr<Data>(new Data(std::vector<int>({ 3, 4 ,5 }))) 
    }; 

    // breakpoint 

    return 0; 
} 

каким-то образом, когда я приостановить программу для проверки значений (в контрольной точке), первый элемент (vec[0]) уничтожается, а второй один (vec[1]) отлично. Что здесь происходит? Это ошибка в компиляторе? Я использую новую Visual Studio 2013.

Answer 1

Случается, что ошибка в VS2013 вызывает двойное удаление в первом элементе initializer_list. Вотток:

1. Инициализатор построен.
2. целевой вектор зарезервирован размером 1 и первый элемент скопирован (через конструктор копирования).
3. вектор медленно растет до размера initializer_list.
4. Инициализатор уничтожается с помощью вектор-деструктора (то есть delete[]). Последний элемент уничтожается первым.
5. Первый элемент снова разрушается с помощью скалярного деструктора (то есть delete).

Я видел это на другом посту и проверял поведение с помощью отладчика. См. here

Для VS2013, initializer_list подходит только для базовых типов.

Answer 2

Я думаю, что это что-то с общей записью указателя, что общий объект-указатель будет уничтожен, если уничтожается последний оставшийся shared_ptr, владеющий объектом. последнему оставшемуся shared_ptr, которому принадлежит объект, присваивается другой указатель через оператор = или reset(). Надеюсь, это поможет

Answer 3

У меня не было VS2013, поэтому я проверяю код в MinGW 4.7 в windows, я не нашел проблему выше. Когда я останавливаюсь в этой точке останова, первый элемент (vec [0]) и второй (vec [0]) элемент не уничтожаются.

Поэтому я предполагаю, что причина этой проблемы заключается в том, что вы пишете какой-то простой код в этой точке останова, а оптимизатор vs оптимизирует его, поэтому вы остановились в странном месте точно между двумя функциями деструктора элементов.

Вы можете опубликовать код разборки выше, чтобы мы могли явно идентифицировать проблему. :)

Answer 4

Возможно, это ошибка в компиляторе. Если вы добавите некоторые записи в конструктор данных и деструктор, вы увидите, что это происходит.

std::cout << __FUNCTION << ":" << this << std::endl; 

Я подтверждаю эту проблему в Visual Studio 2013. В разделе «clang» этот код ведет себя так, как ожидалось.