Mục đích của âm kép trong định nghĩa macro, như (!! (expr)) là gì?

Question

thể trùng lặp:
Double Negation in C++ code.

Tôi đang đọc một cơ sở mã, và tìm thấy một cái gì đó như thế này:

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

Tôi không thể hiểu tại sao (!! (expr)) được sử dụng thay vì một đơn (expr). Dù sao, một tiêu cực đôi có nghĩa là tích cực, phải không? Tui bỏ lỡ điều gì vậy?

Answer 1

Đó là cách để chuyển biểu thức thành bool. Tuy nhiên, trong C++, toán tử! có thể bị quá tải. Một cách khác cho C/C++:

C++ cách duy nhất:

static_cast<bool>(expr) 

[Chỉnh sửa] Suy nghĩ thêm về C++ điều hành quá tải, nó làm cho tinh thần để tránh sử dụng khai thác. Các thư viện như Boost.Spirit và Boost.Lambda sử dụng các mẫu biểu thức và đánh giá lười biếng, do đó các biểu thức như (expr) || call() có thể hoạt động không như mong muốn. Phiên bản bằng chứng đạn đầu tiên của macro đó trông giống như sau:

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

Ở đây, chỉ chuyển đổi expr thành bool được sử dụng. Cần có chi nhánh else để bảo vệ khỏi các biểu thức như uassert(x) else something_else();.

Answer 2

Nó sẽ chỉ đảm bảo rằng phần expr của macro được chuyển thành một bool.

Answer 3

Đây là thành ngữ đôi khi được sử dụng trong C++ để chuyển đổi thành kiểu boolean.

Answer 4

Trong ví dụ bạn đã cho chúng tôi thấy, !! hoàn toàn vô dụng. Tuy nhiên, nói chung, giá trị này được sử dụng là tương đương thô C99 trước khi đúc thành _Bool, nghĩa là 0 vẫn là 0 và bất kỳ giá trị nào khác sẽ trở thành 1.