Podwójna negacja w C: czy gwarantuje powrót do 0/1?

Question

Czy !!(x) jest gwarantowane przez standard, aby zwrócić 0/1?

Zauważ, że jestem nie z pytaniem o C++, gdzie zdefiniowano typ bool.

Answer 1

Tak, w C99, zobacz §6.5.3.3/4:

wynikiem logicznego operatora negacji! jest jeżeli wartość jej argumentu porównuje nierówny 0, jeżeli wartość jej argumentu porównuje równa 0. Wynik musi wpisać int. Wyrażenie! E jest równoważne (0 == E).

Tak !x i !!y może jedynie otrzymując 0 lub 1 int s.

przypadku innych operatorów, w C99, patrz również Is the "true" result of >, <, !, &&, || or == defined?

Answer 2

To jest komentarz naprawdę, ale to zbyt długo. (Proszę nie głosujcie na tej samej zasadzie).

Znalazłem bardzo dziwaczny dokument, szukając standardu, by odpowiedzieć na twoje pytanie: The New C Standard: An Economic and Cultural Commentary. Mówią, że akademia jest niedofinansowana. (Here jest pełnym, 2083 strona 10.5MB PDF .Jednym ogniwem jest tylko sekcja o podwójnej negacji.)

Ma to do powiedzenia na temat podwójnej negacji: "Podwójny negatyw jest bardzo często interpretowany jako pozytywne stwierdzenie w języku angielskim (np. "nie jest nieznane, że podwójne negatywne zjawisko występuje w źródle C.") Ta sama semantyka, która ma zastosowanie w C. Jednak w niektórych językach (np. hiszpańskim) podwójne negatywne interpretowane jest jako składające się na stwierdzenie bardziej negatywny (takie użycie pojawia się w swobodnej mowie angielskiej, np. "jeszcze nic nie widziałeś", ale jest rzadko spotykane i jest źle widziane, gdy towarzyszy mu 1). "

wierzę, że autor będzie szczęśliwy wiedząc, że to nie ma sensu w ogóle w odpowiedzi na swoje prawdziwe pytanie (na które odpowiedź brzmi: tak.)