Винаги ли трябва да извиквам vector clear() в края на функцията?

Ако разгледаме записа cppreference.com за std::vector::~vector казва:

Унищожава контейнера. Деструкторите на елементите се извикват и използваното хранилище се освобождава. Имайте предвид, че ако елементите са указатели, посочените обекти не се унищожават.

така че не, не е нужно да извиквате clear.

Ако искаме да отидем на проект на стандарт, трябва да разгледаме раздел 23.2.1 Общи изисквания за контейнера параграф 4, който казва:

В таблици 96 и 97 X обозначава клас контейнер, съдържащ обекти от тип T, a и b означават стойности от тип X, [...]

и след това погледнете Table 96 — Container requirements, който има следния запис на израз:

(&a)->~X()  

и следната бележка:

забележка: деструкторът се прилага към всеки елемент от a; цялата памет е освободена.

Актуализация

Това е RAII в действие и както Bjarne Stroustrup казва в Защо C++ не предоставя конструкция "finally"?:

Тъй като C++ поддържа алтернатива, която почти винаги е по-добра: техниката „придобиването на ресурс е инициализация“ (TC++PL3 раздел 14.4). Основната идея е да се представи ресурс чрез локален обект, така че деструкторът на локалния обект да освободи ресурса. По този начин програмистът не може да забрави да освободи ресурса.

Няма абсолютно никаква нужда да правите това. std::vector и всички други контейнери автоматично унищожават своите елементи, когато самите те биха били унищожени. Това означава, че техните деструктори са отговорни за това действие. Така че недей.

Красотата на това е, че контейнерите са естествено безопасни за изключение^[1]:

void someFunc(void) {

    std::vector<std::string> contentVector;

    // here are some operations on the vector

    throw std::runtime_error("I just want to throw!");

    contentVector.clear();
}

Ще бъде ли извикан ред contentVector.clear();? Не. Но все още сте в безопасност, защото е гарантирано, че деструкторът на contentVector ще бъде извикан.

От вектор^[2]:

Унищожава контейнера. Деструкторите на елементите се извикват и използваното хранилище се освобождава. Имайте предвид, че ако елементите са указатели, посочените обекти не се унищожават.

^[1] _{Все пак трябва да направите елементите си безопасни при изключения (нека те правилно освобождават ресурсите си, когато се извикат техните деструктори).}

^[2] _{Вижте коментарите по-долу за някои мисли относно SGI STL документите}.

Няма нужда, ще се изчисти автоматично, след като излезе извън обхвата, т.е. деструкторът ще унищожи контейнерен обект.

Можете да пропуснете използването на функцията .clear(), защото деструкторът на вектор се изпълнява веднъж contentVector излиза извън обхвата при '}'.

Това освобождава паметта, която съхранява данните на вектора.

Тъй като не мисля, че някой друг е споменал това, но ако вашият вектор беше

std::vector<std::string*> vector;

трябва да освободите паметта, разпределена за всеки елемент, преди функцията да приключи (освен ако не сте предали собствеността на някъде другаде - като глобална променлива и т.н.)

for (auto i : vector) {
  delete i;
}