C++ ptrdiff_t size_t oder

Wenn Sie den folgenden code, wo p ist eine Zeiger:

p = p + strlen(p) + size_t(1);

Seit strlen() und size_t sind beide size_t sollte, und ich warf Sie den code ptrdiff_t ?

p = p + (ptrdiff_t)(strlen(p) + size_t(1));

Wenn ja, warum?

Dank,
Greg

  • was Sie versuchen zu tun, ist ungültig, C++, weil die p + (ptrdiff_t)(strlen(p) + size_t(1)) - Adresse aus dem array von char ist, zeigte p.
  • nicht unbedingt. das p-array muss nicht am ENDE die null.
  • Jansen: Sie können nicht wissen, dass im Allgemeinen - es hängt davon ab, wie der Speicher für p zugeteilt wurde. Es gibt nichts in C, die aufhören würde einen string, der kürzer (!) als die Speicher-block-hosting-it.
  • Alex, FrankH: In jedem Fall ist es gut definiert und die normale zu konstruieren, die einen Zeiger auf die memory location ein-past-the-end. Das ist es, was std::vector::end() hat zum Beispiel. Kann man nicht dereferenzieren, die Zeiger, aber es IST ausdrücklich gilt für alle anderen Zeiger-Operationen. Relevante Zitat aus dem standard: <Zitat>es sei denn, beide Zeiger zeigen auf die Elemente des array-Objekt, oder die eine hinter dem letzten element des array-Objekts, ist das Verhalten undefiniert.</Zitat>
  • Es sollte auch darauf hingewiesen werden, dass Sie wirklich nicht brauchen, size_t, der hier gewirkt. Der compiler wird wahrscheinlich beschweren sich über "signed/unsigned mismatch", in welchem Fall die richtige Lösung ist, schreiben 1u oder 1ul statt der cast.
  • Wenn ich hatte, dass C++ - code, ich würde sofort umgestalten Verwendung einer string-Klasse.
  • wow, sind Sie eine schnelle schreibkraft. Instant ist ziemlich gut, für jeden umgestalten.
  • Ich tun, biegen Sie die Gesetze der Physik von Zeit zu Zeit. Ich meinte sofort entscheiden, umgestalten, nicht sofort umgestalten wahrsten Sinne des Wortes.
  • sorry, nur ein Scherz. "Würde ich überarbeiten, sobald ich hatte einen Kaffee", vielleicht.

InformationsquelleAutor wonbyte | 2010-12-07
  1. 18

    std::ptrdiff_t unterzeichnet ist. std::size_t nicht signiert ist. Casting strlen(p) zu ptrdiff_t würde Sinn machen, wenn p haben könnte, eine negative Länge, was nicht möglich ist.

    Jedoch, dass cast überlaufen konnten den resultierenden Wert mit Vorzeichen, wenn p groß genug ist (zum Beispiel größer als 2.147.483.647 bytes auf den meisten 32-bit-Plattformen). So könnte es vorstellen, ein Fehler in der Zeiger-Arithmetik.

    Besten zu bleiben, mit size_t hier.

    • ptrdiff_t scheint gebrochen, wie auch immer, da 2G ist nicht genug, um stellen den Unterschied in Zeiger auf das erste und Letzte Elemente einer 3G-array. Wenn Sie den Datentyp ptrdiff_t, wird Ihr Programm hat einen bug. en.cppreference.com/w/cpp/types/ptrdiff_t
    • auf 64-bit-Systemen PTRDIFF_MAX gleich 9223372036854775807 die aussieht genug.
    InformationsquelleAutor Frédéric Hamidi
  2. 2

    Es gibt keine Notwendigkeit zu werfen, um ptrdiff_t. Zeiger-Arithmetik ist gut definiert für alle integralen Typen, einschließlich size_t, und wenn size_t war nicht groß genug, um halten Sie den Wert, den cast zu ptrdiff_t kommt eh zu spät.

    Hier ist der entsprechende Sprache aus der Standard (C++0x-FCD, Abschnitt [expr.add]):

    Wenn ein Ausdruck, der integraler
    geben Sie Hinzugefügt oder von diesem abgezogen ein
    Zeiger, hat das Ergebnis den Typ des
    die pointer Operanden. Wenn Sie den Zeiger
    operand Punkte, um ein element von einem
    array-Objekt und das array groß ist
    genug, das Ergebnis weist auf eine
    element offset von der ursprünglichen
    element, so dass die Differenz von
    die Indizes der resultierenden und
    original array-Elemente, entspricht der
    integraler Ausdruck. In anderen Worten,
    wenn der Ausdruck P Punkte auf die ich
    -te element eines array-Objekts, die Ausdrücke (P)+N (was dasselbe ist,
    N+(P)) und (P)-N (wo N die
    Wert n ) zeigen jeweils die
    i + n-te und i − n -th-Elemente von
    das array-Objekt, sofern Sie vorhanden sind.
    Außerdem, wenn der Ausdruck P Punkte
    das Letzte element eines Arrays
    Objekt, der Ausdruck (P)+1 Punkte
    eine hinter dem letzten element des Arrays
    - Objekt, und, wenn der Ausdruck Q Punkte
    eine Vergangenheit, die das Letzte element eines Arrays
    Objekt, der Ausdruck (Q)-1 Punkte
    das Letzte element des array-Objekts.
    Wenn sowohl der Zeiger, operand und die
    das Ergebnis zeigen Sie auf Elemente der gleichen
    array-Objekt, oder eines der auf den letzten
    element des array-Objekts, die
    Bewertung wird nicht produzieren eine
    überlauf; ansonsten ist das Verhalten
    undefined.

    InformationsquelleAutor Ben Voigt
Schreibe einen Kommentar