使用（STL）副本具有不确定的行为吗？

Question

在评估中，我选择了LINE I上的运行时错误选项。 虽然我认为这是正确的选择，但没有未定义行为这样的选项。

我不确定，但我认为评估中有错误。我编译并运行了该程序，它确实使用三种不同的编译器（Cpp.sh，here以及在Mac OS X上本地）打印了3, 9, 0, 2, 1, 4, 5,。

由于LINE I，程序是否具有未定义的行为？

#include <iostream>
#include <algorithm>
#include <vector>
using namespace std;
void printer(int i) {
        cout << i << ", ";
}
int main() {
        int mynumbers[] = { 3, 9, 0, 2, 1, 4, 5 };
        vector<int> v1(mynumbers, mynumbers + 7);
        copy(mynumbers, mynumbers + 7, v1.end());//LINE I
        for_each(v1.begin(), v1.end(), printer);//LINE II
        return 0;
}

Answer 1

是的，是UB。

std::copy要做的第一件事是解除对v1.end()的引用，然后causes undefined behavior取消引用。