Czy takie stwierdzenia są ważne w standardzie?Zmniejszanie początku() iteratora, a następnie zwiększanie go ponownie
std::string str{"123"};
auto it = str.begin();
--it;
++it; // Does *it point to character '1' now?
Próbowałem to na g ++ 4.7.2 i brzękiem ++ 3.5 - *it zwrotów '1'. Czy to standardowe zachowanie w C++ 11?
Nie, jest nieważny.
Jest to niezdefiniowane zachowanie, ponieważ 24.2.6 [dwukierunkowe.iteratory] stwierdza, że warunkiem końcowym --it jest, że wynik musi być dereferencyjny. Jak wskazuje na to w swoim przykładzie przed begin(), ten warunek nie jest spełniony, a zatem kod jest nielegalny.
Ponieważ diagnostyka nie jest wymagana, może zadziałać, ale nie można (i nie należy) polegać na nim.
Czy rozumowanie nie powinno być odwrotnie? Warunek * pre * nie jest spełniony, ponieważ nie ma 's' przed' r = begin() 'takim, że' r == ++ s'. Dlatego operacja nie jest dozwolona. – 5gon12eder
@ 5gon12eder Istnieje wiele sposobów, aby na to patrzeć i rozumować. Użyłem warunku, ponieważ wydaje mi się to najbardziej oczywiste, myśląc, że jeśli zmniejszysz iterator, to musi on wskazywać prawidłową lokalizację. YMMV. –
@ 5gon12eder: jeden z powodów umieszcza wyrażenie w niezdefiniowanym zachowaniu. Zauważ, że nawet dla surowych wskaźników zachowanie '-" jest niezdefiniowane, jeśli wskaźnik zaczyna się od wskazania pierwszego elementu tablicy lub obiektu, który nie jest elementem tablicy. –
Wypróbuj kontrole debugowania: http://coliru.stacked-crooked.com/a/3c72499373b8d2fb – dyp