[C++] Operacje na wskaźniku - kiedy standard określa niezdefiniowane zachowanie?

@Kaikso: Nie powołuj się na kompilatory bo to żaden argument. Kompilatory w wielu miejscach zachowują się znacznie lepiej niż standard przewiduje. Nie oznacza to jednak, że na innej, np. niszowej platformie przedstawiony przez Ciebie kod będzie miał niezdefiniowane zachowanie. Poza tym poniżej została napisana słuszna uwaga.

ponieważ wartość tekst - 1 zostanie obliczona podczas kompilacji

Powiedz mi skąd kompilator podczas kompilacji będzie wiedział jaki adres w pamięci przydzieli program tablicy tekst?

Powiedz mi skąd kompilator podczas kompilacji będzie wiedział jaki adres w pamięci przydzieli program tablicy tekst?

Adresy są obliczane przez kompilator lub konsolidator.

@DejaVu: systemy operacyjne muszą wykonywać takie operacje, aby sprawnie zarządzać pamięcią. Masz rację że kompilatory zachowują się o wiele lepiej niż przewiduje standard, właśnie dlatego lepiej korzystać ze standardów takich jak gnu99.

Powiedz mi skąd kompilator podczas kompilacji będzie wiedział jaki adres w pamięci przydzieli program tablicy tekst? Adresy są obliczane przez kompilator lub konsolidator.

Pod warunkiem, że są znane w trakcie kompilacji, a adres wskazanej zmiennej wyląduje na stosie, więc nie jest znany w czasie kompilacji.

systemy operacyjne muszą wykonywać takie operacje, aby sprawnie zarządzać pamięcią. Masz rację że kompilatory zachowują się o wiele lepiej niż przewiduje standard, właśnie dlatego lepiej korzystać ze standardów takich jak gnu99.

A skąd wiesz czy ten kod nie będzie kompilowany np. na architekturze, której nie ma w obrocie publicznym i tym samym na kompilatorze, który opiera się strice o założenia standardu oraz na urządzeniu, które sprzętowo kontroluje poprawność adresowania pamięci, bo ma np. dedykowane instrukcje do przesuwania adresów pamięci i nie używa add/sub?

@up
Dokładnie.
Tutaj więcej o tym: http://stackoverflow.com​/questions/18446171​/how-do-compilers-assign-memory-addresses-to-variables
W tym wypadku kompilator nie ma prawa znać adresu zmiennej tekst.

The compiler does perform some variable placment and alignment relative to base-adresses which are obtained by the program/standard library at runtime.

Poza tym można sprawdzić pod jakim kompilatorem jest kompilowany kod przy użyciu preprocesora, a dla niewspieranych kompilatorów . I jak najczęściej unikać takich miejsc.

@Up: Dlatego takie tematy są rozwijane aż problem zostanie rozwiązany ;)

@Kaikso: jest cała masa rzeczy, która działa w określonych kompilatorach i zwraca zawsze określoną wartość, a mimo to jest to zachowanie opisane jako niezdefiniowane. Poza tym po co pisać kod, który ma niezdefiniowane zachowanie i robić 'warunki' na 'inne' kompilatory? Nie będziesz przeglądał miliona linii kodu w projekcie jeżeli będziesz chciał go przenieść na inną platformę. Kod ma być zgodny ze standardem, a nie zgodny z wizjami programisty 'bo u mnie działa'. Wyobraź sobie, że jest np. architektura, która ma instrukcje:
i teraz:
RejestrX = numerek;
RejestrY = 0;
RejestrY = RejestrY - 1;
RejestrY = RejestrY + strlen(zmienna);
Adres = RejestrX + RejestrY;
Wyjście poza wartość 0 dla RejestrY jest sprzętowym naruszeniem pamięci, a kompilator niszowej platformy wygenerował kod zgodnie z życzeniem programisty.

@DejaVu: Czasami jest to praktyczniejsze rozwiązanie, jak np. w kodzie Linux-a.