Tại sao C++ chấp nhận nhiều tiền tố nhưng không postfixes cho một biến

Question

Trong khi nhìn vào Can you have a incrementor and a decrementor on the same variable in the same statement in c

tôi phát hiện ra rằng bạn có thể có nhiều nhà khai thác tiền tố tăng/giảm trên một biến duy nhất, nhưng chỉ có một postfix

ví dụ:

++--++foo; // valid 
foo++--++; // invalid 
--foo++; // invalid 

Tại sao điều này?

Answer 1

Điều này là do thực tế là trong C++ (nhưng không phải C), kết quả của ++x là một lValue, có nghĩa là nó có thể chuyển nhượng và do đó có thể thực hiện được chuỗi.

Tuy nhiên, kết quả của x++ không phải là một giá trị, thay vì đó là giá trị, nghĩa là không thể gán cho và do đó không thể bị xích.

Answer 2

Trong các toán tử tăng/giảm giá trị tiền tố ngôn ngữ C++ trả về lvalues ​​, trong khi các mã postfix trả về giá trị. Trong khi đó, tất cả các toán tử sửa đổi yêu cầu các đối số lvalue. Điều này có nghĩa là kết quả của tăng/giảm tiền tố có thể được chuyển cho bất kỳ toán tử bổ sung nào khác yêu cầu đối số lvalue (bao gồm tăng/giảm bổ sung).

Cũng vì lý do rất giống trong C++ bạn có thể viết mã như thế này

int i = 0; 
int *p = &++i; 

mà sẽ tăng i và làm p điểm đến i. Unary & yêu cầu toán hạng lvalue, đó là lý do tại sao nó sẽ làm việc với kết quả của tiền tố ++ (nhưng không phải với một hậu tố).

Biểu thức có nhiều giá trị tăng/tăng tiền tố tích hợp được áp dụng cho cùng một đối tượng sản xuất hành vi không xác định, nhưng chúng vẫn được thiết lập tốt (ví dụ: "compilable").

Các biểu thức như ++foo-- không hợp lệ vì trong các toán tử postfix của C++ có mức ưu tiên cao hơn các toán tử tiền tố. Niềng răng có thể thay đổi điều đó. Ví dụ: (++foo)-- là một biểu thức đúng ngữ pháp, mặc dù lại dẫn đến hành vi không xác định lại.