|
Anzeige
|
std::start_lifetime_as : legales aliasing auf das alle gewartet haben?Mit C++23 kommt std::start_lifetime_as (https://en.cppreference.com/w/cpp/memory/start_lifetime_as) Mit std::lifetime_as kann man jetzt legal Objekte im Speicher aliasen, wenn man es nur explizit angibt. Beispiel aus dem C++ Paper P2590R2:
GCC 14 kann es leider noch nicht >_>. Aber sobald dass in den Compilern ankommt, sollten doch alle Aliasing Probleme in C++ geklärt sein? Zusätzlich bekommt C++ ein weiteren Vorteil gegenüber C. Was sind denn diese "aliasing-Probleme", die das Konstrukt löst? Bisher wurde da halt wild gecastet, insofern sieht das jetzt schöner aus, aber funktional ändert sich doch nichts, oder?
Genau das dort geschilderte Problem löst das aber doch auch nicht. Wenn im stream von aussen Daten mit inkompatiblen Aliasing reinkommen, dann ist das Aliasing inkompatibel. Oliver ... ein ziemlich kaputter Stackoverflow-Eintrag.
In einem Satz: The main thing the optimizer wants to know here is whether writes through one pointer might affect reads through other pointers or names. Der Zusammenhang zum Eingangspost erschließt sich mir auf Anhieb aber auch nicht. (weil gerade char* nicht betroffen sind)
Wenn in In dem von Dir verlinkten Artikel steht doch explizit: The behavior is undefined if: ... or the region is not suitably aligned for the T. Demnach, müsste Antwort schreiben |
Anzeige
|
