C++ Lernen - Verständnisfragen

It0101

@Tyrdal sagte in C++ Lernen - Verständnisfragen:

@It0101 Hier hast du aber auch Iteratoren genutzt und nicht wie von wob vermutet eine range based for loop.

Ja natürlich. Ich fummel doch nicht innerhalb einer Range-Based-Loop mit erase rum....

Dann war das Missverständnis ein anderes, als ich dachte.

Edit: jetzt hab ich's noch mal gelesen. Es verhält sich im Grunde genau so wie @SeppJ es geschrieben hat.

wob

Ah, dann hatte ich dich falsch verstanden. Jetzt, wo ich deinen Post nochmal lese, ist es wohl das "und", was ich nicht richtig verstanden hatte.

Statt

Ich verwende eigentlich ausschließlich die Range-Based-Loop und eben die Variante mit Iteratoren, insbesondere dann wenn ich den Iterator z.B. zum Aufruf von "erase()" benötige.

Wäre klarer gewesen:

Ich verwende eigentlich ausschließlich die Range-Based-Loop. Wenn ich aber den Iterator z.B. zum Aufruf von "erase()" benötige, verwende ich die Variante mit Iteratoren.

Das meintest du. Dann ist es natürlich richtig. Ich hatte den Text oben zu schnell gelesen.

Wobei: in deinen Beispiel würde ich eher das erase-remove-Idiom einsetzen:

Also statt

for ( auto it = foobar.begin(); it != foobar.end(); )
{
    if ( hasToBeDeleted( *it ) )
       it = foobar.erase( it );
   else
        ++it;
}

...lieber sowas wie:

foobar.erase(
    std::remove_if(foobar.begin(), foobar.end(), hasToBeDeleted),
    foobar.end()
);

(da vergesse ich nur sehr, sehr, sehr gerne das 2. Argument von erase. )

Schlangenmensch

@wob Müsste nicht inzwischen sowas gehen:

auto [begin, end] = std::ranges::remove_if(foobar, hastToBeDeleted);
foobar.erase(begin, end);

Edit: Code angepasst... erase hat gefehlt. Macht es so nicht viel besser.

firefly

@Schlangenmensch sagte in C++ Lernen - Verständnisfragen:

@wob Müsste nicht inzwischen sowas gehen:
auto [begin, end] = std::ranges::remove_if(foobar, hastToBeDeleted);
foobar.erase(begin, end);
Edit: Code angepasst... erase hat gefehlt. Macht es so nicht viel besser.

Nicht in jedem fall da hier eine range erwartet wird.
Aber im folgenden falle nicht
vector enthält folgende werte

1, 9, 5, 10

hastToBeDeleted hat die Bedingung <value> <= 5
Dann würde std::ranges::remove_if(foobar, hastToBeDeleted); wohl nach dem es auf den wert 9 trifft abbrechen. Und Dadurch würde der Wert 5 nicht gelöscht werden
Oder im schlimmsten falle würde die 9 auch mit gelöscht werden.

Schlangenmensch

@firefly Nö, warum: https://godbolt.org/z/fv8G9sf7M
std::ranges::remove_if verschiebt die Elemente so, dass die Elemente, die nicht gelöscht werden am Anfang des Ranges stehen und die, die gelöscht werden am Ende. Und zurück gegeben wird die Subrange der zu löschenden Elemente.

wob

@firefly sagte in C++ Lernen - Verständnisfragen:

Dann würde std::ranges::remove_if(foobar, hastToBeDeleted); wohl nach dem es auf den wert 9 trifft abbrechen. Und Dadurch würde der Wert 5 nicht gelöscht werden
Oder im schlimmsten falle würde die 9 auch mit gelöscht werden.

Nein, das erase-remove-Idiom ist nicht umsonst ein Idiom (sogar mit einenem Wikipedia-Artikel). Es wäre kein Idiom, wenn solche komischen Dinge passieren würden (wie es funktioniert, hat @Schlangenmensch ja schon geschrieben)

Edit: und lesen lohnt sich sogar, denn dann erfährt man z.B., dass es mit C++20 auch via std::erase / std::erase_if ginge.

firefly

@Schlangenmensch sagte in C++ Lernen - Verständnisfragen:

@firefly Nö, warum: https://godbolt.org/z/fv8G9sf7M
std::ranges::remove_if verschiebt die Elemente so, dass die Elemente, die nicht gelöscht werden am Anfang des Ranges stehen und die, die gelöscht werden am Ende. Und zurück gegeben wird die Subrange der zu löschenden Elemente.

Ah ok hab das in der beschreibung überlesen. https://en.cppreference.com/w/cpp/algorithm/ranges/remove

Tyrdal

@Schlangenmensch sagte in C++ Lernen - Verständnisfragen:

@wob Müsste nicht inzwischen sowas gehen:
auto [begin, end] = std::ranges::remove_if(foobar, hastToBeDeleted);
foobar.erase(begin, end);
Edit: Code angepasst... erase hat gefehlt. Macht es so nicht viel besser.

Und wo lliegt hier der große Vorteil? Ist doch auch nicht wirklich kürzer als das alte Idiom und macht vom Prinzip her dasselbe.

Schlangenmensch

@Tyrdal Ich hatte im Kopf, dass es mit der Ranges lib auch in einem Aufruf hätte gehen müssen, ohne dass man den, von @wob erwähnten end() Aufruf vergessen kann. Hatte mich da aber im ersten Schuss vertan, daher der Edit. Die von @wob verlinkten std::erase und std::erase_if sind die schöneren Alternativen.

Drgreentom

Hahah geil wir ihr alle gleich abgeht ^^
Vieles von dem was ihr geschrieben habt ist mir noch etwas zu hoch, auch wenn ich den Ansatz meist irgendwie nachvollziehen kann.

Es ist interessant zu sehen welche unterschiedlichen Ansichten und Wege es für ein und das selbe Problem und dessen Lösung gibt.
Wenn ich das richtig sehe geht es bei eurer Diskusion dabei aber tendenziell um die Zuverlässigkeit des Codes und um die Geschwindigkeit - sowohl beim Code schreiben als auch beim Ausführen von diesem?!

Drgreentom

Weitere Frage: Wenn ich string::npos; in eine Variable packen will, was ist der dafür geeignete Datentyp? Es funktioniert bei mir int, char, double,float.
Der Datentyp bool setzt die if Abfrage auf unwahr und gibt als Position: 18446744073709551615 aus .

string satz{"Das ist ein Satz"};
string::size_type pos;                                                
int str_npos =  string::npos;           // Hier mit Integer                              

cout << "'wird'";
pos = satz.find("wird");

if (pos == str_npos)                                                    
    cout << " nicht gefunden" << endl;

else
    cout << "gefunden an Pos." << pos << endl;

Ob das Sinn macht oder nicht möchte ich mal außen vor lassen...

Gebe ich str_npos aus so erhalte ich :
cout << str_npos << endl;

Als Interger = -1
Als Double und float = 1.84467e+19
Als Char = bleibt leer
Als Bool = 1

Ich gehe also davon aus das der Integer am meisten Sinn macht. Da int -1 ist und damit nicht im String liegen kann. Also könnte ich ja nach meinem kümmerlichen Verständnis auch if (pos == -1) prüfen? Was auch funktioniert...

Übersehe ich da was?

Schlangenmensch

@Drgreentom sagte in C++ Lernen - Verständnisfragen:

Übersehe ich da was?

Ja, tust du. std::string::npos ist ein size_t. size_t ist ein unsigned Datentyp und npos ist der größte Wert, der damit darstellbar ist. Das dies als int interpretiert -1 ist, ist nirgends garantiert.
Für bool gilt, jeder Zahlenwert ungleich Null wird als wahr interpretiert.

Daher, aufpassen, wenn Typen konvertiert werden.

std::string::size_type garantiert, dass der Typ groß genug ist, um die Größe des Strings wiederzugeben.

std::string::find gibt einen size_t zurück. size_t garantiert, dass es die maximale Größe eines Objektes speichern kann.

Ich bin mir gerade nicht sicher, ob std::string::size_type immer ein size_t sein muss, halte es aber für wahrscheinlich, dass es in den meisten Implementationen so sein wird.

DirkB

@Drgreentom sagte in C++ Lernen - Verständnisfragen:

18446744073709551615

Das ist das Maximale, was mit 64 Bit - als unsigned - darstellbar ist. Alle Bits sind auf 1 gesetzt.

Schlangenmensch

@Schlangenmensch sagte in C++ Lernen - Verständnisfragen:

Das dies als int interpretiert -1 ist, ist nirgends garantiert.

@DirkB sagte in C++ Lernen - Verständnisfragen:

Das ist das Maximale, was mit 64 Bit - als unsigned - darstellbar ist. Alle Bits sind auf 1 gesetzt.

Jetzt überlege ich gerade... Im Zweierkomplement wäre das vorzeichenbehaftet, ja immer -1. Darüber wird der Wert ja auch gesetzt. D.h. mit -1 vergleichen sollte auch immer gehen.

SeppJ

@Schlangenmensch sagte in C++ Lernen - Verständnisfragen:

Jetzt überlege ich gerade... Im Zweierkomplement wäre das vorzeichenbehaftet, ja immer -1. Darüber wird der Wert ja auch gesetzt. D.h. mit -1 vergleichen sollte auch immer gehen.

Ich bin nicht sicher, ob du das richtige meinst, oder ob du dich ungünstig ausdrückst. (unsigned)-1 == numeric_limits<unsigned>::max() ist garantiert, ja. Aber nicht weil irgendwelche Annahmen zur internen Zahlenschreibweise garantiert wären, sondern weil unsigned-Typen garantiert der Überlaufarithmetik (bzw. hier halt Unterlauf) modulo ihres Maximalwertes gehorchen. Und du musst mit dem Vergleichswert ungeheuer aufpassen, wegen Integer Promotions:

unsigned char c(-1);
unsigned short s(-1);
unsigned int i(-1);
unsigned long l(-1);
c == -1;  // False
s == -1; // False
i == -1; // True
l == -1; // True

DirkB

@Schlangenmensch sagte in C++ Lernen - Verständnisfragen:

Jetzt überlege ich gerade... Im Zweierkomplement wäre das vorzeichenbehaftet, ja immer -1. Darüber wird der Wert ja auch gesetzt. D.h. mit -1 vergleichen sollte auch immer gehen.

Das Zweierkomplement ist aber nirgends garantiert.
Auch wenn es schwierig ist, heutzutage was anderes zu finden.

Ein int muss auch nicht 64 Bit groß sein, so dass der Wert nicht eindeutig ist.

size_t wurde nicht ohne Grund eingeführt.

Schlangenmensch

@SeppJ Ja, zuviel überlegt.

@DirkB Nun, wenn ich mir einen 8 bit unsigned Typen nehme und einen 4 bit signed Typen. Und wenn man dem 4 Bit Typen den 8 Bit Typen zuweist in dem man die Bits, die nicht rein passen, einfach abschneidet, wäre das im Zweierkomplement wieder -1

8bit_usigned a = -1; //11111111
4bit_signed b = a; //1111 ->-1

Aber, dass wäre ja zu einfach. Gerade nochmal nachgelesen, wenn es nicht passt und der Zieltyp signed ist, war das Ergebnis bis c++20 tatsächlich Implementation defined.
Seit c++ 20 ist das fest definiert als der Wert modulo 2^(Anzahl Bits des Zieltypes)

In meinem Beispiel also 255 mod(2^4) = 15

SeppJ

@Schlangenmensch sagte in C++ Lernen - Verständnisfragen:

Aber, dass wäre ja zu einfach. Gerade nochmal nachgelesen, wenn es nicht passt und der Zieltyp signed ist, war das Ergebnis bis c++20 tatsächlich Implementation defined.
Seit c++ 20 ist das fest definiert als der Wert modulo 2^(Anzahl Bits des Zieltypes)

Das haben sie jetzt wirklich fest definiert? Das war doch immer ein Paradebeispiel für einen Fall wo undefiniertes Verhalten Optimierungen ermöglicht.

Schlangenmensch

@SeppJ

A prvalue of an integer type or of an unscoped (since C++11) enumeration type can be converted to any other integer type. If the conversion is listed under integral promotions, it is a promotion and not a conversion.
If the destination type is signed, the value does not change if the source integer can be represented in the destination type. Otherwise the result is implementation-defined (until C++20)the unique value of the destination type equal to the source value modulo 2n
where n is the number of bits used to represent the destination type. (since C++20). (Note that this is different from signed integer arithmetic overflow, which is undefined).

https://en.cppreference.com/w/cpp/language/implicit_conversion

Wenn ich das richtig lese, sind Overflows aufgrund von Berechnungen explizit davon ausgenommen. Das heißt im Fall von for loops kann da immer noch optimiert werden.

SeppJ

Ah ja, das klingt nach einer guten Anpassung.