does std set_union始终采用第一个共同元素

Question

当两个数组中有共同元素时，std set_union是否总是从第一个数组中获取这些共同元素？从下面的代码片断中可以看出它总是从第一个数组中挑选出共同的元素，但这是有保证的吗？如何让它从第二个挑选。

#include <algorithm> 
#include <vector> 
#include <string> 
#include <iostream> 

struct Foo 
{ 
    Foo(int i, const std::string& n): id(i), name(n){} 
    int id; 
    std::string name; 
}; 

bool comp(const Foo& first, const Foo& second) 
{ 
    return first.id < second.id; 
} 

int main() 
{ 
    Foo foo5A(5, "A"); 
    Foo foo10A(10, "A"); 
    Foo foo15A(15, "A"); 
    Foo foo20A(20, "A"); 
    Foo foo25A(25, "A"); 
    Foo fooA[] = {foo5A, foo10A, foo15A, foo20A, foo25A}; 

    Foo foo10B(10, "B"); 
    Foo foo20B(20, "B"); 
    Foo foo30B(30, "B"); 
    Foo foo40B(40, "B"); 
    Foo foo50B(50, "B"); 
    Foo fooB[] = {foo10B, foo20B, foo30B, foo40B, foo50B}; 

    std::vector<Foo> fooUnion; 
    std::set_union(fooA, fooA+5, fooB, fooB+5, std::back_inserter(fooUnion), comp); 

    for(const auto& f : fooUnion) 
    { 
    std::cout << f.id << ":" << f.name << std::endl;  
    } 
} 

的输出是：

5:A 
10:A 
15:A 
20:A 
25:A 
30:B 
40:B 
50:B 

Answer 1

是的，它从基准here：

两个集合的并集是由存在于任何一个所述元件形成或者两者兼而有之。第二个范围中具有第一个范围中的等效元素的元素不会复制到结果范围中。

如果你想让它从第二（fooB）挑，你换的参数：

std::set_union(fooB, fooB+5, fooA, fooA+5, std::back_inserter(fooUnion), comp);