<![CDATA[Warum brauch std::map nur less?]]>Wieso braucht die map kein == Operator?

Wenn ich z.B. map.find(suche) mache wird das dann so gemacht?
if( !(suche < element) && !(element < suche)) -> == -> gefunden

]]>https://www.c-plusplus.net/forum/topic/193675/warum-brauch-std-map-nur-lessRSS for NodeWed, 13 May 2026 22:44:34 GMTFri, 28 Sep 2007 14:13:50 GMT60<![CDATA[Reply to Warum brauch std::map nur less? on Fri, 28 Sep 2007 14:13:50 GMT]]>Wieso braucht die map kein == Operator?

Wenn ich z.B. map.find(suche) mache wird das dann so gemacht?
if( !(suche < element) && !(element < suche)) -> == -> gefunden

]]>https://www.c-plusplus.net/forum/post/1374427https://www.c-plusplus.net/forum/post/1374427Fri, 28 Sep 2007 14:13:50 GMT<![CDATA[Reply to Warum brauch std::map nur less? on Fri, 28 Sep 2007 14:36:52 GMT]]>Ja klar, wenn du eigene Klassen hast, wärs ja schrecklich wenn du nur für den Vergleich alle Vergleichs-Operatoren == > < => <= != definieren müsstest 🙂

]]>https://www.c-plusplus.net/forum/post/1374441https://www.c-plusplus.net/forum/post/1374441Fri, 28 Sep 2007 14:36:52 GMT<![CDATA[Reply to Warum brauch std::map nur less? on Fri, 28 Sep 2007 16:49:27 GMT]]>glaub ehr das std::less "<" dafür da ist um die elemente in std::map stortiert abzulegen.. gleiche elemente darf std::map nicht enthalten..

]]>https://www.c-plusplus.net/forum/post/1374530https://www.c-plusplus.net/forum/post/1374530Fri, 28 Sep 2007 16:49:27 GMT<![CDATA[Reply to Warum brauch std::map nur less? on Fri, 28 Sep 2007 16:58:42 GMT]]>black knight schrieb:

Wieso braucht die map kein == Operator?
Wenn ich z.B. map.find(suche) mache wird das dann so gemacht?
if( !(suche < element) && !(element < suche)) -> == -> gefunden

Genaugenommen: !map.key_compare()(suche, element) && !map.key_compare(element, suche). Für den Default-Fall key_compare() == std::less, resultiert das aber ziemlich genau in dem Code, den du angegeben hast.

Eine Map verwendet also nicht Gleichheit (==) sondern "Äquivalenz im Sinne der Sortierreihenfolge" um zu prüfen, ob zwei Element gleich sind. Das gilt übrigens nicht nur für map, sondern für alle sortierten Container (set, multimap, ...) und ale Algorithmen, die auf sortierten Sequenzen arbeiten (std::lower_bound,...).

]]>https://www.c-plusplus.net/forum/post/1374542https://www.c-plusplus.net/forum/post/1374542Fri, 28 Sep 2007 16:58:42 GMT<![CDATA[Reply to Warum brauch std::map nur less? on Fri, 28 Sep 2007 18:07:02 GMT]]>BorisDieKlinge schrieb:

gleiche elemente darf std::map nicht enthalten..

Klar, aber bei "find" will ich ja ein gleiches finden.

]]>https://www.c-plusplus.net/forum/post/1374581https://www.c-plusplus.net/forum/post/1374581Fri, 28 Sep 2007 18:07:02 GMT<![CDATA[Reply to Warum brauch std::map nur less? on Fri, 28 Sep 2007 21:04:42 GMT]]>Die map braucht kein ==, weil < ausreicht, um die Gleichheit abzubilden, wenn es eine gültige Metrik ist. Dann gilt nämlich folgendes:

T a, b;

assert( ( a == b )   ==   (not (a < b) and not (b < a)) );

/EDIT: Hmm … 'false and false' … ergibt 'false'. 😉 Code korrigiert.
/EDIT2: Mist, steht ja bereits korrekt im ersten Posting. 😞

]]>https://www.c-plusplus.net/forum/post/1374658https://www.c-plusplus.net/forum/post/1374658Fri, 28 Sep 2007 21:04:42 GMT<![CDATA[Reply to Warum brauch std::map nur less? on Fri, 28 Sep 2007 21:43:13 GMT]]>um auf gleichheit zu testen, muss der operator nicht überladen werden, es wird standardmäßig immer auf binäre gleichheit geprüft. Den operator == muss man nur dann überladen, wenn das Objekt Speicher auf dem Heap reserviert (mit new).

]]>https://www.c-plusplus.net/forum/post/1374673https://www.c-plusplus.net/forum/post/1374673Fri, 28 Sep 2007 21:43:13 GMT<![CDATA[Reply to Warum brauch std::map nur less? on Fri, 28 Sep 2007 21:48:33 GMT]]>Krux schrieb:

um auf gleichheit zu testen, muss der operator nicht überladen werden, es wird standardmäßig immer auf binäre gleichheit geprüft.

Was meinst Du mit binäre Gleichheit? Bit-für-Bit-Gleichheit?

Falls Du das meinst: nein, das ist falsch.

]]>https://www.c-plusplus.net/forum/post/1374674https://www.c-plusplus.net/forum/post/1374674Fri, 28 Sep 2007 21:48:33 GMT<![CDATA[Reply to Warum brauch std::map nur less? on Sat, 29 Sep 2007 09:12:24 GMT]]>Um nochmal auf die Frage zu antworten: Map braucht nur less, weil die Datenstruktur als Binärbaum implementiert ist. Um ein Element zu finden, wird folgender Pseudocode verwendet:

node find_node(node n, value v) {
    if (n == null_ptr) return null_ptr;
    if (v < n->value) return find_node(n->left_child, v);
    if (n->value < v) return find_node(n->right_child, v);
    return n;
}

// Der Aufruf lautet dann natürlich:
find_node(tree->root, v);
]]>https://www.c-plusplus.net/forum/post/1374733https://www.c-plusplus.net/forum/post/1374733Sat, 29 Sep 2007 09:12:24 GMT<![CDATA[Reply to Warum brauch std::map nur less? on Sat, 29 Sep 2007 09:47:01 GMT]]>Wenn du dich dafür interressiert, wie man mit op< die ganzen anderen Vergleichsoperatoren abbildet, dann schau dir mal die Implementierung von Boost.Operators an.

]]>https://www.c-plusplus.net/forum/post/1374746https://www.c-plusplus.net/forum/post/1374746Sat, 29 Sep 2007 09:47:01 GMT<![CDATA[Reply to Warum brauch std::map nur less? on Sat, 29 Sep 2007 10:26:03 GMT]]>Nochmal ein Stichwort zur Ausgangsfrage:

http://de.wikipedia.org/wiki/Strenge_schwache_Ordnung

]]>https://www.c-plusplus.net/forum/post/1374757https://www.c-plusplus.net/forum/post/1374757Sat, 29 Sep 2007 10:26:03 GMT<![CDATA[Reply to Warum brauch std::map nur less? on Sat, 29 Sep 2007 19:29:28 GMT]]>Was die STL angeht ist wohl eher der Link angebracht: http://www.sgi.com/tech/stl/StrictWeakOrdering.html
EDIT: Er. Ok, nicht "eher" sondern zusätzlich - der erklärt nicht *warum* ein "less" pedicate ausreichend ist bzw. was "strict weak ordering" bedeutet 🙂 /EDIT

]]>https://www.c-plusplus.net/forum/post/1375032https://www.c-plusplus.net/forum/post/1375032Sat, 29 Sep 2007 19:29:28 GMT<![CDATA[Reply to Warum brauch std::map nur less? on Sat, 29 Sep 2007 22:00:47 GMT]]>Konrad Rudolph schrieb:

Krux schrieb:

um auf gleichheit zu testen, muss der operator nicht überladen werden, es wird standardmäßig immer auf binäre gleichheit geprüft.

Was meinst Du mit binäre Gleichheit? Bit-für-Bit-Gleichheit?

Falls Du das meinst: nein, das ist falsch.

sorry, mein fehler, hab da was mit dem standardkopierkonstruktor verwechselt gehabt. Der == operator ist standardmäßig nicht verfügbar.

]]>https://www.c-plusplus.net/forum/post/1375104https://www.c-plusplus.net/forum/post/1375104Sat, 29 Sep 2007 22:00:47 GMT