Là `x--> 0 && mảng [x]` hành vi được xác định rõ trong C++?

Question

Tôi có thể sử dụng x trên cả hai mặt của biểu thức boolean khi tôi sau đó tăng nó ở phía bên trái?

Các dòng trong câu hỏi là:

if(x-- > 0 && array[x]) { /* … use x … */ } 

Đó có phải là định nghĩa thông qua tiêu chuẩn? Sẽ mảng [x] sử dụng giá trị mới của x hoặc giá trị cũ?

Answer 1

Điều đó tùy thuộc.

Nếu && là toán tử logic ngắn mạch thông thường, thì sẽ tốt vì có một điểm chuỗi. array[x] sẽ sử dụng giá trị mới.

Nếu && là người dùng (hoặc thư viện) đã định nghĩa toán tử quá tải, thì không có đoản mạch và cũng không đảm bảo điểm chuỗi giữa đánh giá x-- và đánh giá array[x]. Điều này có vẻ không được đưa ra mã của bạn, nhưng không có ngữ cảnh thì không thể nói chắc chắn được. Tôi nghĩ rằng nó có thể, với định nghĩa cẩn thận của array, để sắp xếp theo cách đó.

Đây là lý do tại sao luôn luôn là ý tưởng tồi để quá tải operator&&.

Bằng cách này, if ((x > 0) && array[--x]) có hiệu ứng rất giống nhau (một lần nữa, giả sử không có toán tử quá tải shenanigans) và theo ý kiến ​​của tôi rõ ràng hơn. Sự khác biệt là có hay không x bị giảm 0 trong quá khứ mà bạn có thể hoặc không thể dựa vào.

Answer 2

Có, nó được xác định rõ. && giới thiệu một điểm chuỗi.