Có phải i + = ++ i không xác định hành vi trong C++ 0x không?

Question

Tôi rất thuyết phục với lời giải thích tôi đã tìm thấy rằng nói rằng i = ++i is not undefined theo như C++ 0x là có liên quan, nhưng tôi không thể đánh giá liệu hành vi của i += ++i có được xác định rõ hay không. Có ai không?

Answer 1

Lý do làm cho i = ++i được xác định rõ có thể được sử dụng để chứng minh rằng i += ++i cũng phải được xác định rõ.

i += ++i tương đương với i += (i += 1) và các quy tắc sắp xếp mới yêu cầu rằng việc chuyển nhượng diễn ra trước khi tính giá trị của biểu thức phụ i += 1.
Điều này có nghĩa là kết quả của biểu thức i += ++i phải giống như đối với i = 2 * i + 1.

Chỉnh sửa: Tôi phải sửa lại câu trả lời của mình, vì hành vi không được xác định sau khi tất cả.
Hành vi của i += ++i không xác định, vì giá trị tính toán của biểu thức phụ i (đối số bên trái) và ++i không được liên hệ với nhau và một trong số chúng chứa bản cập nhật đối tượng i.

Đây không phải là vấn đề đối với biểu thức i = ++i, bởi vì có i ở phía bên tay trái không trải qua chuyển đổi lvalue-to-rvalue, điều này xảy ra trong trường hợp i += ++i.

---

Lưu ý phụ: Không viết mã như vậy trong bất kỳ dự án nghiêm túc nào. Nó dựa quá nhiều vào việc biết chính xác các quy tắc sắp xếp và sẽ có nhiều người không hiểu chính xác các quy tắc sắp xếp, không biết về sự thay đổi trong các quy tắc là kết quả của DR 637 hoặc bị vấp ngã do thiếu một số điều quan trọng các khía cạnh của biểu thức được đề cập (như đã xảy ra với tôi khi soạn thảo bản sửa đổi đầu tiên của câu trả lời này).