operator bool ++ i -

Dzisiaj podczas pisania kodu Visual C ++ natknąłem się na coś, co mnie zaskoczyło. Wygląda na to, że C ++ obsługuje ++ (inkrementacja) dla bool, ale nie - (dekrementacja). Czy to tylko przypadkowa decyzja, czy jest jakiś powód?

To kompiluje:

static HMODULE hMod = NULL;
static bool once = false;
if (!once++)
    hMod = LoadLibrary("xxx");

To nie:

static HMODULE hMod = NULL;
static bool once = true;
if (once--)
    hMod = LoadLibrary("xxx");

Pochodzi z historii używania wartości całkowitych jako wartości logicznych.

Jeśli xjest int, ale używam go jako wartości logicznej, zgodnie z if(x)...tym zwiększanie będzie oznaczało, że niezależnie od jego prawdziwej wartości przed operacją, będzie miała wartość prawdziwości truepo niej (z wyjątkiem przepełnienia).

Jednak niemożliwe jest przewidzenie wyniku --danej wiedzy tylko o wartości prawdziwości x, ponieważ może to skutkować false(jeśli wartość całkowa wynosi 1) lub true(jeśli wartość całkowa jest czymś innym - w szczególności obejmuje to 0 [ false] i 2 lub więcej [ true]).

Więc jak krótka ręka ++zadziałała i --nie.

++ jest dozwolone na bools dla zgodności z tym, ale jego użycie jest przestarzałe w standardzie.

Zakłada się, że tylko użyć xjako wartość logiczną, co oznacza, że przelew nie może się zdarzyć, aż zrobiłem ++wystarczająco często, aby spowodować przepełnienie na swój własny. Nawet z char jako używanym typem i CHAR_BITSczymś niskim, jak 5, to 32 razy, zanim to już nie zadziała (to wciąż wystarczający argument, że jest to zła praktyka, nie bronię praktyki, tylko wyjaśniam, dlaczego to działa) w przypadku wersji 32-bitowej intmusielibyśmy oczywiście użyć ++2 ^ 32 razy, zanim pojawi się problem. Z tym, --że spowoduje to tylko falsewtedy, gdy zacznę od wartości 1 for truelub zacznę od 0 i użyłem ++dokładnie raz wcześniej.

Inaczej jest, jeśli zaczniemy z wartością, która znajduje się zaledwie kilka poniżej 0. Istotnie, w takim przypadku może chcemy ++, aby doprowadzić do falsewartości takiej, jak w końcu:

int x = -5;
while(++x)
  doSomething(x);

Jednak ten przykład traktuje xjako intwszędzie oprócz warunku, więc jest równoważny z:

int x = -5;
while(++x != 0)
  doSomething(x);

Co różni się od używania tylko xjako wartości logicznej.

ANSI ISO IEC 14882 2003 (c ++ 03):

5.2.6-2

Operand postfiksu - jest dekrementowany analogicznie do operatora postfiksu ++, z wyjątkiem tego, że operand nie powinien być typu bool. [Uwaga: Przy zwiększaniu i zmniejszaniu prefiksu, patrz 5.3.2. ]

I nic dziwnego ...

5.3.2-2

Operand przedrostka - jest modyfikowany przez odjęcie 1. Operand nie może być typu bool. Wymagania dotyczące argumentu przedrostka - i właściwości jego wyniku są poza tym takie same, jak w przypadku przedrostka ++. [Uwaga: Przy zwiększaniu i zmniejszaniu przyrostka, patrz 5.2.6. ]

Również 5.6.2-1 i 5.3.2-1 wspominają, że ++ dla bools powinno być prawdziwe, a załącznik D-1 mówi, że ++ on bools jest przestarzałe.

Ze względów historycznych zostało to poparte. Ale pamiętaj, że ... Użycie operandu typu bool z operatorem ++ jest przestarzałe, patrz sekcja 5.3.2 w standardzie C ++ (n3092)

5.3.2 Przyrost i dekrementacja [wyra.pre.incr]

• Operand przedrostka ++ jest modyfikowany przez dodanie 1 lub ustawiany na wartość true, jeśli ma wartość bool (to użycie jest przestarzałe). Argument jest modyfikowalną l-wartością. Typ operandu powinien być typem arytmetycznym lub wskaźnikiem do całkowicie zdefiniowanego typu obiektu. Wynikiem jest zaktualizowany operand; jest to lwartość i jest to pole bitowe, jeśli operand jest polem bitowym. Jeśli x nie jest typu bool, wyrażenie ++ x jest równoważne x + = 1 [Uwaga: zobacz omówienie operatorów dodawania (5.7) i przypisania (5.17), aby uzyskać informacje na temat konwersji. —End note]
• Operand przedrostka - jest modyfikowany przez odjęcie 1. Operand nie może być typu bool. Wymagania dotyczące argumentu przedrostka - i właściwości jego wyniku są poza tym takie same, jak w przypadku przedrostka ++.

• Przy starych standardach (C ++ 98) nie jest to błąd.
• Wraz z nowymi standardami zwiększanie wartości logicznej jest przestarzałe. (C ++ 11)
• Możesz użyć inkrementacji na wartości logicznej do C ++ 17.