@hustbaer Nochmal danke für die Hinweise!
@hustbaer sagte in Warum warnt der Kompilierer mich nicht? (eindeutige Speicherzugriffsverletzung):
ps: mit /O2 /analyze hat MSVC zumindest eine Chance auch für deinen originalen Code ne Warnung zu produzieren. Also je nachdem wie ich den abändere bekomm ich eine, oder auch nicht.
Und hier bekommst du immer ein Warnung:
ClearBytes(buffer->data, (&buffer->data)[1]);
buffer->end = (&buffer->data)[1];
Weil das mit "one past last element" Zeiger nur für Array-Elemente gilt. So wie du es schreibst, holst du die aber einen "one past last" Zeiger hinter das Array, nicht hinter das letzte Array Element.
Korrekt wäre:
ClearBytes(buffer->data, &buffer->data[kRingBufferCapacity]);
buffer->end = &buffer->data[kRingBufferCapacity];
Das mit (&buffer_data)[1] und buffer->end = &buffer->data[kRingBufferCapacity]; war mir nicht ganz klar.
Aber Du hast recht, denn laut C89-Standard:
An address constant is a pointer to an lvalue designating an object
of static storage duration, or to a function designator; it shall be
created explicitly, using the unary & operator, or implicitly, by the
use of an expression of array or function type. The array-subscript
[] and member-access . and -> operators, the address & and
indirection * unary operators, and pointer casts may be used in the
creation an address constant, but the value of an object shall not be
accessed by use of these operators.
Also:
Man kann auf MeinArray[N] zugreifen, solange man davor ein & hat.
fprintf(stderr, "%p\n", (&buffer->data)[1]);
fprintf(stderr, "%p\n", &buffer->data[kRingBufferCapacity]);
Bei Beiden bekomme ich die gleichen virtuellen Adressen raus ...
Das Problem ist, dass ich jetzt wohl all die Quellcodes anpassen muss, da ich (&MeinArray)[1] sehr oft verwendet habe.
Der Vorteil war einfach, dass ich hier keine Größen mitangeben muss.
Und %02lu passt natürlich nicht zu size_t. Für size_t bitte %02zu verwenden.
Bei C89 geht es offenbar nicht anders.
Danke aber dennoch für den Hinweis.
Randbemerkungen:
Niemand sollte wie ich hier C89 verwenden, weil er wie ich meint, dass es der meistunterstützte Sprach-Standard ist.
Und viele Kompilierer diesen Standard auch vollumfänglich implementieren.
Man kann statt stdint.h einfach (lt. Sprachstandard) annehmen, dass
char mindestens 1 Byte ist
short / int (mindestens 2 Byte)
long (mindestens 4 Byte ist)
Minimum von 8 Bytes sind bei keinem fundamentalen Typ festgelegt.
Siehe auch C89-Standard-Text (das Grundgesetz der C-Menschen).
