ich komme mit der 'set/map::lower_bound'-Funktion nicht klar (wohlgemerkt: *keine* 'multimap'). Der Standard sagt (in den Associative Container requirements):

returns an iterator pointing to the first element with key not less than k

In meinen Augen ergibt das aber keinen großen Sinn, oder der Name ist schlecht gewählt, denn angenommen ich habe ein 'set<int>' mit den Elementen 1, 2, 3, 5. Dann müsste mir 'lower_bound(4)' ja 5 liefern. Das ist aber definitiv *keine* untere Schranke für 4.

Übersehe ich etwas? (Ich hab's auch getestet, und erhalte das vorhergesagte Ergebnis.)

? Verstehe nicht was du willst. Er gibt dir doch das zurück was der Standard vorschreibt.

Ja, aber die Rückgabe ist dumm. Eine untere Schranke ist was anderes.

Ich baue gerade einen standardkonformen sortierten, assoziativen Container auf Basis einer Skip List (Boost hat noch keine … hint, hint ^^). Die Klasse besitzt dieselbe Schnittstelle wie eine std::map. Und bei den Bound-Funktionen verzage ich gerade an der Implementierung, weil die vom Standard vorgeschriebenen Rückgabewerte einfach keinen Sinn ergeben.

idx:  0   1   2   3   4   5   6
val:  1   5   9  11  15  20  22

dann liefern Dir die Aufrufe lower_bound(8) und upper_bound(17) die Iteratoren bei den Indizes
2 und 5 - also das halboffene Intervall [a_2, a_5)
Jetzt kannst Du dies durch einen set ersetzen, dessen kleinstes Element den Wert 8 und dessen größtes Element den Wert 17 hat. Beachte, dass das Intervall halboffen ist und der obere Wert nicht verändert wird.
Also aus

[..........)
idx:  0   1  2   3   4   5   6
val:  1   5  9  11  15  20  22

wird

val:  1   5  [ 8 ... 17 ] 20  22

unter Einhaltung der Ordnung des sets

Gruß
Werner

std::map<double, std::string> mymap;
double a = 1.0/6.0 + 1.0/3.0; //mit etwas pech gibt das eben nicht 0.5

mymap[a] = "Hier steht 0.5, oder?". //vermutlich mymap[0.49999999999997] oder sowas
cout << mymap[0.5] << endl; // gibt wohl n leeren string.
for(/*...*/iterator it = mymap.lower_bound(0.5-epsilon); it != mymap.upper_bound(0.5+epsilon)) cout << *it.second << endl;

Man sollte dabei natürlich beachten das es entegen dem was Werner Salomon schreibt sicht auf die Keys bezieht und nicht auf die Values. Da die Values ja nicht sortiert sind, macht es keinen Sinn dies auf second anzuwenden.

Ich glaube, Werner meint schon das richtige und die Indizes sind nur zur Veranschaulichung der Position. Mein Beispiel war ja auch mit std::set, da gibt's keine Werte, nur Schlüssel.

Mit set kommt es hin, sein Beispiel sieht aber eben mehr nach einer Map aus. Deswegen wollte ich das noch einmal erwähnen.

Er erwähnt aber explizit "set". Und das im ersten Satz.

mir fällt gerade auf: Eure Erklärung ist fein, aber leider „versagt“ sie, sobald man zu 'equal_range' kommt. Der Standard definiert den Rückgabewert von equal_range(k) als make_pair(lower_bound(k), upper_bound(k)) .

Für Multi-Map-Container mag das sinnvoll sein, aber wieso ist die Methode auch in Unique-Map-Containers vorhanden, und nimmt nur einen Parameter an (wenn sie zwei annähme, wäre sie sinnvoller)?

was versagt denn da? Du kriegst alle Elemente, x für die weder x<k noch k<x gilt. Die also bezüglich Deiner Ordnung in etwa als "gleich k" einzustufen sind.

Eben. Da kann ich auch gleich 'find' aufrufen.

Jester schrieb:

was versagt denn da? Du kriegst alle Elemente, x für die weder x<k noch k<x gilt. Die also bezüglich Deiner Ordnung in etwa als "gleich k" einzustufen sind.

Eben. Da kann ich auch gleich 'find' aufrufen.

Allerdings mit dem Unterschied, dass du mit lower_bound gleich einen Iterator hast, den du zum Einfügen verwenden kannst, falls das Element fehlt.

Mir zickt nur gerade meine Iterator-Klasse rum. Sieht wohl doch so aus, als müsste ich sie zweimal identisch implementieren: als 'iterator' und 'const_iterator'. Ba.