C++ - Область переменных, созданных в методе класса

Question

Я пытаюсь изучить C++, и из моего понимания, если переменная выходит из области видимости, она уничтожается и ее память перераспределяется. Если у меня есть класс и его метод создает переменную, не следует ли эту переменную уничтожать после вызова метода? Например:

class TestClass { 
public: 
struct Pair{ 
    std::string name; 
    int value; 
}; 
void addPair() { 
    //should be deleted after push_back is called? 
    Pair x = Pair{ std::string{ "Test Object " }, counter++ }; 
    pairs.push_back(x); 
} 
void printPairs() { 
    for (int i = 0; i < pairs.size(); i++) { 
     std::cout << "pair { " << pairs[i].name << " : " << pairs[i].value << " } " << std::endl; 
    } 
} 
void removePair() { 
    pairs.pop_back(); 
} 
private: 
    int counter; 
    std::vector<Pair> pairs; 
}; 

Но когда я попытался addPair() затем printPairs() затем removePair() он работает отлично. Почему он не выдает ошибку, говоря о некорректном доступе к ячейке памяти?

Answer 1

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

Во-вторых, std::vector::push_backmakes a copy of its arguments. Поэтому ничего не стоит беспокоиться о том, когда передают ему локальные переменные.

Answer 2

Вы сказали:

от моего понимания, если переменная выходит из области видимости, то он уничтожается и его память перераспределяется.

Это правильно. «reallocated» - неправильное слово, которое я бы использовал. Я бы назвал это следующим: память, используемая объектом, доступна для использования другими объектами.

А потом спросил:

Если у меня есть класс, и это метод создает переменный, не следует, что переменное будет уничтожен после вызова метода?

Это правильно.

Однако ваша ситуация иная.

При использовании:

pairs.push_back(x); 

копия x помещается в pairs. Копия продолжает жить в pairs после возвращения функции. Следовательно, printPairs() и removePair() работают просто отлично.