Không * & + + tôi gây ra hành vi không xác định trong C++ 03?

Question

Trong another answer nó được tuyên bố rằng trước khi C++ 11, nơi i là một int, sau đó sử dụng các biểu thức:

*&++i 

gây ra hành vi không xác định. Điều này có đúng không?

Câu trả lời khác có một chút thảo luận trong nhận xét nhưng có vẻ không thuyết phục.

Answer 1

Tôi nghĩ câu hỏi chỉ có ý nghĩa nếu chúng ta đối phó với các biểu hiện:

i = *&++i; 

Các trích dẫn có liên quan trong tiêu chuẩn C++ 03 sẽ là [expr]/4:

Trừ trong đó lưu ý, thứ tự đánh giá các toán hạng của các toán tử riêng lẻ và các biểu thức con của các biểu thức riêng lẻ và thứ tự mà các tác dụng phụ xảy ra, không được chỉ định. Giữa và điểm chuỗi tiếp theo đối tượng vô hướng phải có giá trị được lưu trữ được sửa đổi nhiều nhất một lần bằng cách đánh giá của biểu thức. Hơn nữa, giá trị trước chỉ được truy cập để xác định giá trị được lưu trữ. Các yêu cầu của đoạn này phải được đáp ứng cho mỗi thứ tự cho phép của các biểu thức con của biểu thức đầy đủ ; nếu không hành vi là không xác định.

i = ++i + 1; // the behavior is unspecified 

Chúng tôi chỉ có thể so sánh trình tự của i = *&++i vs i = ++i + 1 để xác định rằng các quy tắc tương tự gây nên cả hai được xác định. Họ là cả hai câu lệnh có dạng:

i = f(++i); 

Đối với bất kỳ chức năng f, cách đọc của i ở phía bên trái và tác dụng phụ của ++i ở phía bên tay phải không được lập trình tự tương đối với nhau khác. Do đó, hành vi không xác định.

Answer 2

Không có ý nghĩa gì khi tự hỏi liệu có *&++i có UB không. Hội nghị không nhất thiết truy cập vào giá trị được lưu trữ (trước hoặc mới) của i, như bạn có thể thấy bằng cách sử dụng biểu thức khởi tạo này để tham chiếu. Chỉ khi một chuyển đổi rvalue là có liên quan (sử dụng trong bối cảnh đó) là có bất kỳ câu hỏi để thảo luận ở tất cả. Và sau đó, vì chúng tôi có thể sử dụng giá trị của ++i, chúng tôi có thể sử dụng giá trị *&++i với chính xác các lời nhắc tương tự như đối với ++i.

Câu hỏi ban đầu có liên quan về cơ bản là i = ++i, tương tự như i = *&++i. Đó là hành vi không xác định trong C++ 03, do i được sửa đổi hai lần giữa các điểm chuỗi và được xác định rõ trong C++ 11, do các tác dụng phụ của toán tử gán được sắp xếp sau khi tính toán giá trị của bên trái và bên tay phải. Có lẽ có liên quan cần lưu ý rằng các tiêu chuẩn phi quy định ví dụ trong tiêu chuẩn C++ 98 và C++ 03, không chính xác, mô tả một số trường hợp Hành vi không xác định chính thức chỉ là hành vi không xác định. Vì vậy, ý định không hoàn toàn rõ ràng, tất cả các con đường trở lại.Một nguyên tắc nhỏ là chỉ đơn giản là không dựa vào các trường hợp góc tối nghĩa của ngôn ngữ đó, để tránh chúng: người ta không cần phải là luật sư ngôn ngữ để hiểu mã & hellip;