Der erste (gut abgestimmte) Kommentar der akzeptierten Antwort beklagt einen fehlenden Operator für die vorhandenen Standardsatzoperationen.
Einerseits verstehe ich das Fehlen solcher Operatoren in der Standardbibliothek. Auf der anderen Seite ist es einfach, sie (für die persönliche Freude) hinzuzufügen, wenn dies gewünscht wird. Ich habe überladen
operator *() für Schnittmenge von Mengenoperator +() zur Vereinigung von Mengen.
Beispiel test-set-ops.cc:
#include <algorithm>
#include <iterator>
#include <set>
template <class T, class CMP = std::less<T>, class ALLOC = std::allocator<T> >
std::set<T, CMP, ALLOC> operator * (
const std::set<T, CMP, ALLOC> &s1, const std::set<T, CMP, ALLOC> &s2)
{
std::set<T, CMP, ALLOC> s;
std::set_intersection(s1.begin(), s1.end(), s2.begin(), s2.end(),
std::inserter(s, s.begin()));
return s;
}
template <class T, class CMP = std::less<T>, class ALLOC = std::allocator<T> >
std::set<T, CMP, ALLOC> operator + (
const std::set<T, CMP, ALLOC> &s1, const std::set<T, CMP, ALLOC> &s2)
{
std::set<T, CMP, ALLOC> s;
std::set_union(s1.begin(), s1.end(), s2.begin(), s2.end(),
std::inserter(s, s.begin()));
return s;
}
// sample code to check them out:
#include <iostream>
using namespace std;
template <class T>
ostream& operator << (ostream &out, const set<T> &values)
{
const char *sep = " ";
for (const T &value : values) {
out << sep << value; sep = ", ";
}
return out;
}
int main()
{
set<int> s1 { 1, 2, 3, 4 };
cout << "s1: {" << s1 << " }" << endl;
set<int> s2 { 0, 1, 3, 6 };
cout << "s2: {" << s2 << " }" << endl;
cout << "I: {" << s1 * s2 << " }" << endl;
cout << "U: {" << s1 + s2 << " }" << endl;
return 0;
}
Zusammengestellt und getestet:
$ g++ -std=c++11 -o test-set-ops test-set-ops.cc
$ ./test-set-ops
s1: { 1, 2, 3, 4 }
s2: { 0, 1, 3, 6 }
I: { 1, 3 }
U: { 0, 1, 2, 3, 4, 6 }
$
Was mir nicht gefällt, ist die Kopie der Rückgabewerte in den Operatoren. Möglicherweise könnte dies mithilfe der Zugzuweisung gelöst werden, aber dies liegt immer noch außerhalb meiner Fähigkeiten.
Aufgrund meines begrenzten Wissens über diese "neue ausgefallene" Bewegungssemantik war ich besorgt über die Operatorrückgaben, die Kopien der zurückgegebenen Sätze verursachen könnten. Olaf Dietsche wies darauf hin, dass diese Bedenken unnötig sind, da sie std::setbereits mit einem Bewegungskonstruktor / einer Zuweisung ausgestattet sind.
Obwohl ich ihm glaubte, dachte ich darüber nach, wie ich das überprüfen sollte (für etwas wie "selbstüberzeugend"). Eigentlich ist es ganz einfach. Da Vorlagen im Quellcode bereitgestellt werden müssen, können Sie einfach mit dem Debugger durchgehen. So legte ich einen Haltepunkt direkt an die return s;von der operator *()und ging mit einstufiges , die mich sofort verbleit instd::set::set(_myt&& _Right) : et voilà - unterwegs Konstruktor. Danke, Olaf, für die (meine) Erleuchtung.
Der Vollständigkeit halber habe ich auch die entsprechenden Zuweisungsoperatoren implementiert
operator *=() für "destruktive" Schnittmenge von Mengenoperator +=() für "destruktive" Vereinigung von Mengen.
Beispiel test-set-assign-ops.cc:
#include <iterator>
#include <set>
template <class T, class CMP = std::less<T>, class ALLOC = std::allocator<T> >
std::set<T, CMP, ALLOC>& operator *= (
std::set<T, CMP, ALLOC> &s1, const std::set<T, CMP, ALLOC> &s2)
{
auto iter1 = s1.begin();
for (auto iter2 = s2.begin(); iter1 != s1.end() && iter2 != s2.end();) {
if (*iter1 < *iter2) iter1 = s1.erase(iter1);
else {
if (!(*iter2 < *iter1)) ++iter1;
++iter2;
}
}
while (iter1 != s1.end()) iter1 = s1.erase(iter1);
return s1;
}
template <class T, class CMP = std::less<T>, class ALLOC = std::allocator<T> >
std::set<T, CMP, ALLOC>& operator += (
std::set<T, CMP, ALLOC> &s1, const std::set<T, CMP, ALLOC> &s2)
{
s1.insert(s2.begin(), s2.end());
return s1;
}
// sample code to check them out:
#include <iostream>
using namespace std;
template <class T>
ostream& operator << (ostream &out, const set<T> &values)
{
const char *sep = " ";
for (const T &value : values) {
out << sep << value; sep = ", ";
}
return out;
}
int main()
{
set<int> s1 { 1, 2, 3, 4 };
cout << "s1: {" << s1 << " }" << endl;
set<int> s2 { 0, 1, 3, 6 };
cout << "s2: {" << s2 << " }" << endl;
set<int> s1I = s1;
s1I *= s2;
cout << "s1I: {" << s1I << " }" << endl;
set<int> s2I = s2;
s2I *= s1;
cout << "s2I: {" << s2I << " }" << endl;
set<int> s1U = s1;
s1U += s2;
cout << "s1U: {" << s1U << " }" << endl;
set<int> s2U = s2;
s2U += s1;
cout << "s2U: {" << s2U << " }" << endl;
return 0;
}
Zusammengestellt und getestet:
$ g++ -std=c++11 -o test-set-assign-ops test-set-assign-ops.cc
$ ./test-set-assign-ops
s1: { 1, 2, 3, 4 }
s2: { 0, 1, 3, 6 }
s1I: { 1, 3 }
s2I: { 1, 3 }
s1U: { 0, 1, 2, 3, 4, 6 }
s2U: { 0, 1, 2, 3, 4, 6 }
$