Деструктор по умолчанию для указателей?

Question

Предположим, у меня есть самостоятельно определить вектор класса и деструктор вектора класса определяется, как показано ниже,

~vector(void) { 
     for (uint64_t i = 0; i<len_elem; i++) { //destruct each elem 
       front[i].~T(); 
     } 
     ::operator delete(head); 
     head = nullptr; 
     capacity = 0; 
} 

В моем понимании, это деструктор отлично работает в большинстве случаев. Однако, если вектор равен vector<vector*> myVec, правильно ли будет выполняться код в деструкторе? Чтобы быть конкретным, правильно ли вызовет дескриптор векторного класса front[i].~T();?

Answer 1

TLDR: Ваш код в порядке.

Долгий ответ: Да и нет.

front[i].~T() «правильно вызовет деструктор для указателя *». Однако «деструктор» указателя ничего не делает. Так что этот код правильно ничего не делает.

Если вы хотите бесплатно вещи, на которые указывают указатели, это совсем другая вещь. Самое простое в этом случае - вместо этого использовать vector<std::unique_ptr<int>> или что-то еще, так что этот деструктор вызовет деструкторы unique_ptr и те деструкторы освободят память.

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

^{* Встроенный типов не технически есть члены, как деструкторы, но вы можете делать вид, что они делают для всех намерений и целей, кроме того, что вы не можете ссылаться на них по имени.}