toán tử bool ++ và -

Hôm nay trong khi viết một số mã Visual C ++, tôi đã bắt gặp một thứ khiến tôi ngạc nhiên. Có vẻ như C ++ hỗ trợ ++ (tăng) cho bool, nhưng không - (giảm). Nó chỉ là một quyết định ngẫu nhiên, hay có một số lý do đằng sau điều này?

Điều này biên dịch:

static HMODULE hMod = NULL;
static bool once = false;
if (!once++)
    hMod = LoadLibrary("xxx");

Điều này không:

static HMODULE hMod = NULL;
static bool once = true;
if (once--)
    hMod = LoadLibrary("xxx");

Nó xuất phát từ lịch sử sử dụng các giá trị số nguyên làm boolean.

Nếu xlà một int, nhưng tôi đang sử dụng nó như một boolean if(x)...thì tăng dần sẽ có nghĩa là bất kể giá trị chân lý của nó trước hoạt động, nó sẽ có giá trị chân lý truesau nó (chặn tràn).

Tuy nhiên, không thể dự đoán kết quả của --kiến thức đã cho chỉ về giá trị chân lý của x, vì nó có thể dẫn đến false(nếu giá trị tích phân là 1) hoặc true(nếu giá trị tích phân là bất kỳ thứ gì khác - đặc biệt là điều này bao gồm 0 [ false] và 2 hoặc thêm [ true]).

Vì vậy, như một bàn tay ngắn ++đã hoạt động, và --không.

++ được cho phép trên bools để tương thích với điều này, nhưng việc sử dụng nó không được chấp nhận trong tiêu chuẩn.

Điều này giả định rằng tôi chỉ sử dụng xnhư một boolean, có nghĩa là tràn không thể xảy ra cho đến khi tôi thực hiện ++đủ thường xuyên để gây ra tràn. Ngay cả với char là loại được sử dụng và CHAR_BITSmột cái gì đó thấp như 5, đó là 32 lần trước khi điều này không hoạt động nữa (điều đó vẫn đủ lập luận cho nó là một thực hành xấu, tôi không bảo vệ phương pháp này, chỉ giải thích tại sao nó hoạt động) đối với 32-bit, inttất nhiên, chúng tôi sẽ phải sử dụng ++2 ^ 32 lần trước khi điều này xảy ra. Với --mặc dù nó sẽ chỉ dẫn đến falsenếu tôi bắt đầu với giá trị 1 cho truehoặc bắt đầu bằng 0 và được sử dụng ++chính xác một lần trước đó.

Điều này sẽ khác nếu chúng ta bắt đầu với một giá trị nhỏ hơn 0. Thật vậy, trong trường hợp như vậy, chúng ta có thể muốn ++dẫn đến falsegiá trị cuối cùng chẳng hạn như trong:

int x = -5;
while(++x)
  doSomething(x);

Tuy nhiên, ví dụ này được coi xlà intở mọi nơi ngoại trừ điều kiện, vì vậy nó tương đương với:

int x = -5;
while(++x != 0)
  doSomething(x);

Khác với việc chỉ sử dụng xlàm boolean.

ANSI ISO IEC 14882 2003 (c ++ 03):

5.2.6-2

Toán hạng của postfix - được giảm dần tương tự với toán tử postfix ++, ngoại trừ toán hạng sẽ không có kiểu bool. [Lưu ý: Để biết tăng và giảm tiền tố, xem 5.3.2. ]

Và không ngạc nhiên ...

5.3.2-2

Toán hạng của tiền tố - được sửa đổi bằng cách trừ đi 1. Toán hạng sẽ không thuộc loại bool. Các yêu cầu đối với toán hạng của tiền tố - và các thuộc tính của kết quả của nó khác với các thuộc tính của tiền tố ++. [Lưu ý: Đối với tăng và giảm hậu tố, xem 5.2.6. ]

Ngoài ra, 5.6.2-1 và 5.3.2-1 cũng đề cập rằng ++ đối với bools sẽ đúng và Phụ lục D-1 nói rằng ++ trên bools không được chấp nhận.

Vì lý do lịch sử, điều này đã được hỗ trợ. Nhưng lưu ý rằng ... Việc sử dụng toán hạng kiểu bool với toán tử ++ không được chấp nhận, hãy xem Phần 5.3.2 trong Tiêu chuẩn C ++ (n3092)

5.3.2 Tăng và giảm [expr.pre.incr]

• Toán hạng của tiền tố ++ được sửa đổi bằng cách thêm 1 hoặc đặt thành true nếu nó là bool (việc sử dụng này không được chấp nhận). Toán hạng phải là một giá trị có thể sửa đổi. Kiểu của toán hạng phải là kiểu số học hoặc một con trỏ tới kiểu đối tượng hoàn toàn được xác định. Kết quả là toán hạng được cập nhật; nó là một giá trị và nó là một trường bit nếu toán hạng là một trường bit. Nếu x không thuộc kiểu bool, biểu thức ++ x tương đương với x + = 1 [Lưu ý: xem thảo luận về phép cộng (5.7) và toán tử gán (5.17) để biết thông tin về chuyển đổi. —Gửi ghi chú]
• Toán hạng của tiền tố - được sửa đổi bằng cách trừ đi 1. Toán hạng sẽ không thuộc loại bool. Các yêu cầu đối với toán hạng của tiền tố - và các thuộc tính của kết quả của nó khác với các thuộc tính của tiền tố ++.

• Với các tiêu chuẩn cũ (C ++ 98) nó không phải là một lỗi.
• Với các tiêu chuẩn mới, boolean không còn được dùng nữa. (C ++ 11)
• Bạn có thể sử dụng tăng dần trên boolean cho đến C ++ 17.