Dlaczego typ boolowski w C ++ obsługuje ++, ale nie -?

Dlaczego operator --nie istnieje dla bool, a dla operatora ++?

Próbowałem w C ++ i nie wiem, czy moje pytanie dotyczy innego języka. Będę również szczęśliwy.

Wiem , że mogę używać operatora ++z boolem. To sprawia, że ​​każdy bool jest równy prawdzie.

bool b = false;
b++;
// Now b == true.

Dlaczego nie możemy używać operatora --w odwrotny sposób?

bool b = true;
b--;
// Now b == false;

Nie jest to zbyt przydatne, ale jestem ciekawy.

W dawnych czasach C nie było typu logicznego. Ludzie używali intdo przechowywania danych logicznych i działało to głównie. Zero było fałszywe, a wszystko inne było prawdą.

Oznaczało to, że gdybyś wziął, int flag = 0;a później zrobił, flag++wartość będzie prawdziwa. Działa to bez względu na wartość flagi _{^{(chyba że dużo to zrobiłeś, przewrócił się i wróciłeś do zera, ale zignoruj ​​to)}} - zwiększenie flagi, gdy jej wartość wynosiła 1, dałoby 2, co wciąż było wartością prawdziwe.

Niektóre osoby wykorzystały to do bezwarunkowego ustawienia wartości boolowskiej na true. Nie jestem pewien, czy kiedykolwiek stał się idiomatyczny , ale jest w jakimś kodzie.

To nigdy nie zadziałało --, ponieważ gdyby wartość była inna niż 1 (która mogłaby być), wartość nadal nie byłaby fałszywa. A jeśli to było już false ( 0) i wykonałeś na nim operator dekrementacji, nie pozostanie on fałszywy.

Podczas przenoszenia kodu z C do C ++ na początku bardzo ważne było, aby kod C zawarty w C ++ był nadal w stanie działać. I tak w specyfikacji dla C ++ (sekcja 5.2.6 (na stronie 71)) czytamy:

Wartość uzyskana przez zastosowanie Postfiksa ++ jest wartością, którą operand miał przed zastosowaniem operatora. [Uwaga: uzyskana wartość jest kopią pierwotnej wartości] Operand będzie wartością modyfikowalną. Typ argumentu powinien być typem arytmetycznym lub wskaźnikiem do pełnego typu obiektu. Po zanotowaniu wyniku wartość obiektu jest modyfikowana przez dodanie do niego 1, chyba że obiekt jest typu bool, w którym to przypadku jest ustawiony na true. [Uwaga: to zastosowanie jest przestarzałe, patrz załącznik D.]

Argument postfix - jest dekrementowany analogicznie do operatora postfix ++, z tym wyjątkiem, że operand nie jest typu bool.

Jest to ponownie wspomniane w sekcji 5.3.2 (dla operatora prefiksu - 5.2.6 był na postfiksie)

Jak widać, jest to przestarzałe (załącznik D w dokumencie, strona 709) i nie należy go używać.

Ale właśnie dlatego. Czasami możesz zobaczyć kod. Ale nie rób tego.

Aby częściowo poradzić sobie ze starszym kodem, który używał intlub podobny jako typ logiczny.

Aby zrozumieć historyczne znaczenie tego pytania, należy rozważyć przypadek Therac-25. Therac-25 był urządzeniem medycznym, które zapewniało promieniowanie pacjentom chorym na raka. Nękane były złymi praktykami programowania, które przyczyniły się do złych wyników w zakresie bezpieczeństwa (przypisano mu wiele zgonów).

http://courses.cs.vt.edu/professionalism/Therac_25/Therac_1.html

(przejdź na dół strony 3)

Każde przejście przez procedurę testu konfiguracji zwiększa kontrolę pozycji górnego kolimatora, zmienną wspólną o nazwie Class3. Jeśli klasa 3 jest niezerowa, występuje niespójność i leczenie nie powinno być kontynuowane. Wartość zerowa dla klasy 3 wskazuje, że odpowiednie parametry są zgodne z obróbką, a wiązka nie jest hamowana.

...

Podczas konfiguracji maszyny test konfiguracji zostanie wykonany kilkaset razy, ponieważ sam się przestawia w oczekiwaniu na inne zdarzenia. W kodzie zmienna klasy 3 jest zwiększana o jeden w każdym przejściu przez test konfiguracji. Ponieważ zmienna Class3 ma 1 bajt, może zawierać maksymalnie 255 cyfr dziesiętnych. Zatem przy każdym 256. przejściu kodu testu konfiguracji zmienna przepełnia się i ma wartość zerową. Oznacza to, że przy każdym 256-tym przejściu testu konfiguracji górny kolimator nie zostanie sprawdzony, a błąd górnego kolimatora nie zostanie wykryty. Prześwietlenie wystąpiło, gdy operator nacisnął przycisk „set” dokładnie w momencie, gdy klasa 3 przewróciła się do zera. W ten sposób Chkcol nie został wykonany, a F $ mal nie został ustawiony, aby wskazać, że górny kolimator nadal znajduje się w pozycji światła polowego. Oprogramowanie włączyło pełne 25 MeV bez celu i bez skanowania. Powstała wysoce skoncentrowana wiązka elektronów, która została rozproszona i odchylona przez lustro ze stali nierdzewnej, które było na drodze.

Therac-25 użył czegoś w rodzaju odpowiednika operator++na bool. Jednak używanym językiem programowania nie był C ++, a ich typ danych nie bool. Jednak w przeciwieństwie do gwarancji w C ++ zwykła liczba całkowita po prostu rośnie. Ich typ danych był równoważny uint8_t.

C ++ postanowił zachować operator++ostrożność dla osób przyzwyczajonych do programowania w ten sposób, ale zamiast zwiększać wartość, po prostu ustawia ją, trueaby zapobiec takim rzeczom.

Uwaga: operator++(bool)jest przestarzała.

http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2013/n3797.pdf

Załącznik D do C ++ 14:

D.1 Operator inkrementacji z operandem bool
Użycie operandu typu bool z operatorem ++ jest przestarzałe (patrz 5.3.2 i 5.2.6).