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

Question

如果我有 2 个 vector (或双端队列):

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

也就是来自 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());

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

Answer 1

来自 N3797，§25.4.5.4/2 [set.difference]

Requires: The resulting range shall not overlap with either of the original ranges.

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