Ist ja auch undefiniertes Verhalten...

Echt? Für mich ist das relativ eindeutig.

Wenn string kein char* sondern ein char[] wäre, würds gehen...

Darf man eigentlich lesend über die Arraygrenzen hinweg zugreifen ?

Nein, genaugenommen ist nichtmal garantiert, dass du auch nur eine Adresse, die außerhalb eines Arrays liegt, überhaupt ausrechnen kannst ohne UB. Einzige Ausnahme: Die Adresse die hinter das letzte Element zeigt.

blurry333 schrieb:

Darf man eigentlich lesend über die Arraygrenzen hinweg zugreifen ?

Nein, genaugenommen ist nichtmal garantiert, dass du auch nur eine Adresse, die außerhalb eines Arrays liegt, überhaupt ausrechnen kannst ohne UB. Einzige Ausnahme: Die Adresse die hinter das letzte Element zeigt.

Meinst du solche Fälle wie die Adresse 4294967295 (auf 32Bit Systemen)?
Da wäre die nächste Adresse ja die 0...

If both the pointer operand and the result point to elements of the same array object, or one past the last element of the array object, the evaluation shall not produce an overflow; otherwise, the behavior is undefined.

Aber ja, genau das wäre z.B. so ein Fall...

Der Code versucht, ein const Objekt zu modifizieren...

Wenn string kein char* sondern ein char[] wäre, würds gehen...

Ja, das erste Codefragment, habe nur auf das Zweite geschaut, my bad.

Skym0sh0 schrieb:

dot schrieb:

blurry333 schrieb:

Darf man eigentlich lesend über die Arraygrenzen hinweg zugreifen ?

Nein, genaugenommen ist nichtmal garantiert, dass du auch nur eine Adresse, die außerhalb eines Arrays liegt, überhaupt ausrechnen kannst ohne UB. Einzige Ausnahme: Die Adresse die hinter das letzte Element zeigt.

Meinst du solche Fälle wie die Adresse 4294967295 (auf 32Bit Systemen)?
Da wäre die nächste Adresse ja die 0...

Vlt eher soetwas:

int a; 
int b;
auto diff = &b - &a;
int* pb = &a + diff;

Vlt eher soetwas:

int a; 
int b;
auto diff = &b - &a;
int* pb = &a + diff;

Ja, das ist auch bereits UB, auch wenn es in der Praxis wohl in der Regel funktionieren wird...

Vlt eher soetwas:

int a; 
int b;
auto diff = &b - &a;   // <- undefiniertes Verhalten
int* pb = &a + diff;

Gemeint ist sowas:

int a[10];
int *p = &a[10]; // OK, obwohl Index 10 außerhalb von a liegt
// p = &a[11]; // nicht OK

BTW hätte nicht gedacht, dass so eine einfache Bemerkung auf soviele ratlose Gesichter stößt.