Czy wartość wskaźnika „ten” jest stała w czasie życia obiektu?

Czy wartość thiswskaźnika jest gwarantowana jako stała przez cały czas życia określonego obiektu? Nie mogę sobie wyobrazić przypadku, w którym to się zmieni, ale nie wiem, czy czegoś mi nie brakuje.

Czy wartość this wskaźnika jest gwarantowana jako stała przez cały czas życia określonego obiektu?

tak .

Jak ujmuje to użytkownik Aconcagua : wartość thiswskaźnika zawsze jest wartością adresu obiektu, na którym wywołano funkcję ¹ . Pytanie jest więc równoważne z:

Czy obiekt może zmienić swój adres pamięci w czasie życia?

Nie jest to możliwe z definicji lifetime² . Żywotność obiektu zaczyna się, kiedy lub po jego zapisaniu, i kończy się przed jego zwolnieniem.

¹⁾ [class.this]/1

W treści niestatycznej ( [class.mfct]) funkcji członka słowo kluczowe thisto składowej wartością, której wartość jest wskaźnikiem do obiektu, dla którego funkcja jest wywoływana.

²⁾ [basic.life]/1 (moje podkreślenie)

Czas życia obiektu lub odwołania jest właściwością środowiska wykonawczego obiektu lub odwołania. Mówi się, że zmienna ma pustą inicjalizację, jeśli jest inicjowana domyślnie, a jeśli jest typu klasowego lub jej (prawdopodobnie wielowymiarowej) tablicy, ten typ klasy ma trywialny domyślny konstruktor. Żywotność obiektu typu Tzaczyna się, kiedy :

• przechowywanie z odpowiednim wyrównaniem i rozmiarem dla rodzajuTuzyskuje się , oraz
• jego inicjalizacja (jeśli istnieje) jest zakończona (w tym nieudana inicjalizacja) ( [dcl.init]), z wyjątkiem tego, że jeśli obiekt jest członkiem związku lub jego podobiektem, jego żywotność rozpoczyna się tylko wtedy, gdy ten członek związku jest inicjowanym członkiem związku ( [dcl.init.aggr], [class.base.init]) lub jako opisane w [class.union].

Żywotność obiektu otypu Tkończy się, gdy :

• jeśli Tjest typem innym niż klasa, obiekt jest niszczony, lub
• jeśli Tjest typem klasy, rozpoczyna się wywołanie destruktora, lub
• pamięć zajmowana przez obiekt jest zwalniana lub jest ponownie wykorzystywana przez obiekt, który nie jest zagnieżdżony w o( [intro.object]).

Obiekt ma region przechowywania. thiswskazuje tam.

[intro.object]/1

Obiekt zajmuje region przechowywania w okresie budowy ( [class.cdtor]), przez cały okres jego życia oraz w okresie zniszczenia ( [class.cdtor]).

Wartość thisgwarantowana jest stała, jeśli program kiedykolwiek ją odczyta, jeśli później niektóre bity wartości odczytu nie są możliwe do wyrzucenia elementów bezużytecznych lub jeśli następnie niektóre bity wartości odczytu uciekły poza program. We wszystkich innych przypadkach zachowuje się jak kot Schrödingera, to znaczy jest stały i zmienny jednocześnie.