Warum bekomme ich eine negative Zahl beim Subtrahieren von Zeigern?

Question

Das folgende Programm gibt -1, aber ich erwartete es 1 drucken:

#include <iostream> 
int main() 
{ 
    int a[] = {0, 1}; 
    int* p = a; 
    int* p2 = a+1; 

    std::cout << p - p2 << std::endl; 
    system("PAUSE"); 
    return 0; 
} 

Wenn ich die Subtraktion wie folgt tauschen um:

std::cout << p2 - p << std::endl; 

Dann bekomme ich genau 1.

Die Antwort auf Pointer subtraction confusion sagt, dass, wenn wir Zeiger von Zeigern subtrahieren, wir die Menge der Speicherblöcke zwischen ihnen liegenden bekommen, und ich sehe nicht, dass diese negativ sein kann.

Ich erwarte, genau das gleiche Ergebnis für p - p2 und p2 - p zu erhalten.

Answer 1

Sie subtrahieren p2 (Zeiger auf das zweite Element) von p (Zeiger auf erstes Element). Nehmen wir an, ist Speicheradresse, die der Zahl 1000 entspricht (wenn sie in int konvertiert wird). p2 dann wird 1000 + sizeof(int) oder 1004 auf den meisten Systemen sein. Pointer-Arithmetik:

(address - address2)/sizeof(T)

wo T ist Ihre Art. Deshalb, wenn Sie tun:

p - p2 //(1000 - 1004)/4

Sie -1 erhalten. Wenn Sie das Gegenteil tun, erhalten Sie 1.

Answer 2

Pointer ist nur eine Adresse oder eine Zahl mit doppelter Schriftgröße (in den meisten Fällen) so OFC, wenn Sie eine zu p hinzufügen, dann wird der Unterschied sein ..

Answer 3

Sie erhalten -1, denn das ist die Menge, die Sie p2 hinzufügen müssen, um p zu erreichen. Subtraktion ist die umgekehrte Addition.

Zeigerarithmetik funktioniert in Einheiten des spitzen Typs, in diesem Fall int. wird auf a[0] und p1 Punkte auf a[1] zeigen. Mit anderen Worten, p + 1 == p2 und p2 - 1 == p.

Zeiger-Typen in C++ sind eine Abstraktion, und wie alle Abstraktionen ist es am besten (die meiste Zeit), die Abstraktion zu verwenden - in diesem Fall müssen Sie sich nicht um Maschinenadressen und die Größe der Typen kümmern Zeigerarithmetik. Wenn Sie sicherstellen, dass der Typ korrekt ist, können Sie Arrays einfach durch die Anzahl der Elemente durchlaufen, unabhängig von ihrer Größe.

Es ist nützlich zu verstehen, wie die Abstraktion von der Maschine implementiert wird, und wichtig zu wissen, wann Sie unter die Abstraktion schauen müssen; Solche Situationen umfassen union Arten und die Verwendung von reinterpret_cast<>().

Answer 4

aus der Standarddefinition des Zeigers Subtraktionsergebnis ++ C:

Wenn zwei Zeiger auf die Elemente des gleichen Array-Objekt subtrahiert werden, ist das Ergebnis die Differenz der Indizes der zwei Array-Elemente.

"Differenz" bedeutet Subtraktion. Also im Code sagt das, dass &arr[X] - &arr[Y]X - Y ist. Dies kann positiv oder negativ sein, abhängig davon, ob X oder Y größer ist.

In Ihrem Code a bedeutet &a[0], und a+1 bedeutet &a[1]. Also, wenn Sie tun a - (a+1) ist es das gleiche wie &a[0] - &a[1], die -1 nach der obigen Regel ist.