Wichtig ist dabei, dass push_back() zwar das Objekt als const Referenz übergeben kriegt, intern dann aber eine Kopie davon in den vector packt. Und diese Kopie darf verändert werden, da sie nicht const ist.
Du darfst also von dem Typ des Parameters von push_back() nicht auf den intern gespeicherten Typ schließen.
Lesezeichen