Không sử dụng toán tử bitwise không (~) trên các giá trị boolean gọi hành vi không xác định?

Question

Nếu chương trình C++ áp dụng toán tử bitwise-not (~) cho giá trị boolean, điều đó có gọi hành vi không xác định không?

Ví dụ: chương trình sau được xác định rõ là gì?

bool f = false; 
bool f2 = ~f; // is f2 guaranteed to be true, or is this UB? 
bool t = true; 
bool t2 = ~t; // is t2 guaranteed to be false, or is this UB? 

(Vâng, tôi biết có một nhà điều hành đó là tốt hơn phù hợp với các loại điều này;! Cho các mục đích của câu hỏi này, chúng ta sẽ bỏ qua sự tồn tại của nó;))

Answer 1

5.3.1/10 Các toán hạng của ~ có trách nhiệm không thể thiếu hoặc unscoped kiểu enumeration; kết quả là sự bổ sung của toán tử. Chương trình khuyến mãi tích phân được thực hiện. [nhấn mạnh mỏ]

4.5/6 Giá trị loại bool có thể được chuyển đổi thành giá trị theo loại int, với false trở thành số không và true trở thành một.

4.5/7 Các chuyển đổi này được gọi là chương trình khuyến mãi không thể tách rời.

Vì vậy ~false là một int với một mẫu bit bao gồm tất cả những người thân - (. Theo yêu cầu của 3.9.1/7) của một người bổ sung của một mẫu bit đại diện cho 0, cụ thể là tất cả các số không Tương tự, ~true là một int đó là bổ sung của một đại diện bit của 1 - cụ thể là, tất cả những người có bit số ít quan trọng nhất. Cả hai giá trị này sẽ đánh giá thành true trong ngữ cảnh boolean.

Answer 2

bool t = true; 
bool t2 = ~t; // is t2 guaranteed to be false, or is this UB? 

Tôi cho rằng nó không được đảm bảo, nhìn thấy như thế nào

bool b = true; 
    bool b1 = ~b; 
    cout << b1; 

kết quả đầu ra một "true"

tôi cho rằng nó đã làm với boo đại diện nạc ... nếu nó là một byte, sau đó 00000001 sẽ phủ nhận là 11111110 không phải là 0. Quảng cáo cũng có thể đang được phát, nhưng đó là giai điệu tương tự.

Chìa khóa ở đây là "bitwise" không "hợp lý". Vì vậy, người ta không nên mong đợi hai để phù hợp, trừ khi đại diện boolean là một chút.

Hành vi được xác định hoàn toàn dễ dàng.

Answer 3

Toán tử số học thực hiện các quảng cáo tích phân trên toán hạng của chúng. Cụ thể [expr.unary.op]/9 nói rằng điều này cũng xảy ra cho ~.

Vì vậy, ~t giống với ~1. Điều này cho một số nguyên khác không hợp lệ.

chuyển đổi Integer-to-bool được định nghĩa bởi [conv.bool]:

Một giá trị bằng không, giá trị con trỏ null, hoặc null giá trị con trỏ thành viên được chuyển đổi sang false; bất kỳ giá trị nào khác được chuyển thành true

do đó bool t2 = ~t; sản lượng t2 == true. Không có hành vi không xác định.

---

~f cũng giống như ~0. Trong phần bổ sung của 2, ~0 cung cấp cho -1, vì vậy chúng tôi sẽ có f2 == true.

_{Trong phần bổ sung 1 - nếu có hệ thống C++ sử dụng phần bổ sung 1 - thì hiệu quả của ~0 không rõ ràng.}