Strange sformułowanie standardu dotyczącego porównania wskaźników

Question

§6.5.8\6 (dotyczące>, <, < => =)

Jeśli punkty ekspresja P do elementu obiektu tablicy i punktami Q ekspresyjnych do ostatniego elementu tego samego obiektu tablicy, wyrażenie wskaźnika Q + 1 porównuje wartość większą niż P. We wszystkich innych przypadkach zachowanie jest niezdefiniowane.

Kilka sekcji powyżej, §6.5.8, wyjaśnia, że ​​w zasadzie praca arytmetyczna wskaźnikowa zgodnie z oczekiwaniami na tablicach. To jest int a[3]; int *p = a; int *q = &a[2]; //q-p == 3 jest prawidłowe. Jednak, jak czytam powyższy q > p jest UB.

Czego mi brakuje?

Answer 1

Po pierwsze, już cytowany częścią ustępu, pierwsza część wyjaśnia, co to jest odniesienie, ja to paragraf tutaj:

Gdy dwa wskaźniki są porównywane, wynik zależy od względnej lokalizacjach przestrzeń adresowa wskazanych obiektów. Jeśli dwa wskaźniki dla typów obiektów wskazują zarówno na ten sam obiekt, jak i na punkt jeden za ostatnim elementem tego samego obiektu tablicy, to są one równe. Jeśli wskazane obiekty są członkami tego samego obiektu zbiorczego, to zadeklarowane później wskaźniki elementów struktury są porównywane wyżej niż wskaźniki do elementów zadeklarowanych wcześniej w strukturze, a wskaźniki do elementów tablicy z większymi wartościami indeksu niższego niż wskaźniki do elementów ta sama tablica z niższymi wartościami dolnego indeksu. Wszystkie wskaźniki do członków tego samego obiektu związku są takie same. Jeśli wyrażenie P wskazuje na element obiektu tablicy, a wyrażenie Q wskazuje na ostatni element tego samego obiektu tablicy, wyrażenie wskaźnika Q + 1 porównuje wartość większą niż P. We wszystkich innych przypadkach zachowanie jest niezdefiniowane.

Zasadniczo nieco ty przedstawieniu odnosi się do faktu, że zazwyczaj wskaźnik zawsze musi punkt albo samodzielne obiektu do elementu tablicy obiektów lub jednym poza koniec tablicy obiektów. Jak widać, zwykle zwiększanie wskaźnika, który już wskazuje na ostatni element tablicy, spowodowałoby niepoprawny wskaźnik, a tak naprawdę ten wskaźnik w standardzie nie może być nigdy dereferencjonowany, jednak można go użyć w jednym szczególnym przypadku, tj. można ustawić lub porównać z innym wskaźnikiem.

Jest to przydatne w programie, w którym zwiększasz wskaźnik, a następnie sprawdzasz, czy jest on poza końcem tablicy i kończy się, jeśli tak się stanie. Na przykład.

Będzie legalny, nawet w ostatnim przypadku, gdy foo wskazuje jeden poza koniec tablicy.

Uwaga: ten przykład jest bardzo wymyślny, ale demonstruje punkt.

Jeśli nie dla tej reguły, ten program będzie niezdefiniowanym zachowaniem.