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

你说：

根据我的理解，如果一个变量超出范围，那么它就会被销毁并重新分配它的内存。

没错。 “重新分配”不是我会使用的正确词。我将其表述为：对象使用的内存可供其他对象使用。

然后你问：

如果我有一个类并且它的方法创建了一个变量，那么该变量不应该在方法调用之后被销毁吗？

没错。

但是，您的情况有所不同。

使用时：

pairs.push_back(x);

x 的副本放置在 pairs 中。函数返回后，副本继续存在于pairs。因此，printPairs() 和 removePair() 工作得很好。

Answer 2

首先，访问范围外的变量是未定义的行为。该程序可能会抛出错误，但它可能甚至可以正常工作。所以不能保证会引发错误。

第二，std::vector::push_backmakes a copy of its arguments。因此，将局部变量传递给它时无需担心。