设置差异的输出可以存储在第一个输入中吗？

Question

如果我有 2 个向量（或双端队列）：

我可以将它们的 set_difference 存储在第一个向量中吗？

这个例子来自 cpp wiki 参考：

std::vector<int> v1 {1, 2, 5, 5, 5, 9};
std::vector<int> v2 {2, 5, 7};
std::vector<int> diff;

std::set_difference(v1.begin(), v1.end(), v2.begin(), v2.end(), 
                    std::inserter(diff, diff.begin()));

如果改成：

std::vector<int> v1 {1, 2, 5, 5, 5, 9};
std::vector<int> v2 {2, 5, 7};

std::set_difference(v1.begin(), v1.end(), v2.begin(), v2.end(), 
                    v1.begin());

注意第一个输入是指第一个向量，是的，我知道 STL 适用于范围，而不适用于容器。

Answer 1

从 N3797，§25.4.5.4/2 [set.difference]

要求：结果范围不得与任何一个原始范围重叠。

因此，如果您尝试将结果写入任一输入范围，行为将是不确定的。