什麼是！在下面的宏中呢？

Question

我正在閱讀vc crt源代碼，發現下面的代碼片段。

/* Asserts */ 
/* We use !! below to ensure that any overloaded operators used to evaluate expr do not end up at operator || */ 
#define _ASSERT_EXPR(expr, msg) \ 
     (void) ((!!(expr)) || \ 
       (1 != _CrtDbgReportW(_CRT_ASSERT, _CRT_WIDE(__FILE__), __LINE__, NULL, L"%s", msg)) || \ 
       (_CrtDbgBreak(), 0)) 

#ifndef _ASSERT 
#define _ASSERT(expr) _ASSERT_EXPR((expr), NULL) 
#endif 

我不明白爲什麼我們需要!!在上面的宏中。你能否給一個例子說明一個重載操作符可能在operator ||處結束？

Answer 1

下面是一個例子：

struct Evil { 
    int number; 
    bool valid; 

    operator int() {return number;} 
    bool operator!() {return !valid;} 
}; 

Evil evil {42, false}; 
if (evil) {std::cout << "It's not zero\n";} 
if (!!evil) {std::cout << "It's valid\n";} 

在第一種情況下，它的經由隱式轉換轉換成布爾到int，如果不是零賦予真。在第二個中，!運算符給出了不同的結果。