Jaki jest cel podwójnego negatywu w definicji makra, jak (!! (wyraż))?

Question

Powiel możliwe:
Double Negation in C++ code.

Czytam kodu bazowego, a tu coś takiego:

#define uassert(msgid, msg, expr) (void)((!!(expr))||(uasserted(msgid, msg), 0)) 

Nie mogę zrozumieć, dlaczego (!! (wyra)) jest stosowany zamiast pojedynczego (wyra). W każdym razie podwójny negatyw oznacza pozytywny, prawda? Czy czegoś brakuje?

Answer 1

Jest to sposób na wyrażenie wyrażenia bool. W C++ jednak operator! może być przeciążony. Innym sposobem na C/C++:

C++ jedyny sposób:

static_cast<bool>(expr) 

[Edytuj] Myślenie więcej o C++ operatora przeciążenia, jest sens, aby uniknąć za pomocą operatorów. Biblioteki takie jak Boost.Spirit i Boost.Lambda używają szablonów wyrażeń i leniwej oceny, więc wyrażenia takie jak (expr) || call() mogą zachowywać się niezgodnie z oczekiwaniami. Najbardziej kuloodporne wersja tego makro wygląda następująco:

#define uassert(expr) if(expr) {} else { uasserted(...); } 

Tutaj tylko konwersja expr do Bool jest używany. Oddział else jest potrzebny do ochrony przed wyrażeniami takimi jak uassert(x) else something_else();.

Answer 2

Po prostu upewni się, że część makr expr zostanie przekonwertowana na wartość bool.

Answer 3

Jest to idiom używany czasami w C++ do konwersji na typ boolowski.

Answer 4

W przykładzie, który nam pokazałeś, !! jest całkowicie bezużyteczny. Jednak generalnie jest on używany jako przybliżony do C99 przed rzutowaniem na _Bool, tj. 0 pozostaje 0, a każda inna wartość staje się 1.