c – 修改vector之后对vector.back()的引用的奇怪行为

#include <vector>
#include <iostream>

int main()
{
    std::vector<int> vec;
    vec.push_BACk(0);
    for (int i = 1; i < 5; i++)
    {
        const auto &x = vec.BACk();
        std::cout << "Before: " << x << ",";
        vec.push_BACk(i);
        std::cout << "After: " << x << std::endl;
    }
    return 0;
}

代码用g test.cc -std = c 11 -O0编译,结果如下：

Before: 0,After: 0
Before: 1,After: 0  
Before: 2,After: 2
Before: 3,After: 3

我期待第二行输出

Before: 1,After: 1

因为x是对向量中的项的引用,不应通过将项附加到向量来修改该项.

但是我现在还没有阅读反汇编代码或进行任何其他调查.此外,我不知道这是否是语言标准中的未定义行为.

我想要解释一下.谢谢.