tại sao "f = f ++" không an toàn trong c?

Question

Tôi đã đọc về 'tác dụng phụ' từ this website:

nhưng vẫn không hiểu tại sao f = f++ được coi là không an toàn?

Ai đó có thể giải thích?

Answer 1

Sự cố là Sequence Points. Có hai hoạt động trong statment này không có điểm thứ tự, vì vậy không có thứ tự xác định nào cho câu lệnh, là việc chuyển nhượng xảy ra trước hay là gia tăng?

Không có gì nói đó là không an toàn, nó chỉ là không xác định, có nghĩa là triển khai khác nhau có thể có kết quả khác nhau hoặc nó có thể định dạng ổ đĩa cứng của bạn ...

Answer 2

Sử dụng x và x++ (hoặc ++x) trong báo cáo kết quả tương tự cũng hành vi không xác định trong C. Trình biên dịch là miễn phí để làm bất cứ điều gì nó muốn: hoặc tăng x trước khi thực hiện nhiệm vụ, hoặc sau đó. Lấy mã của Ólafur, nó có thể mang lại f == 5 hoặc f == 6, tùy thuộc vào trình biên dịch của bạn.

Answer 3

Bài viết tại (cleaned up) link bạn cung cấp cho câu trả lời. "C hầu như không hứa hẹn rằng tác dụng phụ sẽ xảy ra theo thứ tự có thể dự đoán được trong một biểu thức duy nhất." Điều này có nghĩa là bạn không biết thứ tự = và ++ sẽ xảy ra. Nó phụ thuộc vào trình biên dịch.

Nếu bạn theo liên kết từ bài viết đó đến bài viết về sequence points trên cùng một trang web, bạn sẽ thấy trình biên dịch có thể tối ưu hóa giá trị và thời gian ghi lại từ sổ đăng ký vào các biến.

Answer 4

Tôi ủng hộ câu trả lời của Arthur về mặt này. Mặc dù việc thực thi toán tử gia tăng bài viết tức là f ++ là khó hiểu, nó không được coi là không an toàn. U đầu tiên nên hiểu cách trình biên dịch diễn dịch nó. cho dù nó sẽ tăng f sau khi nó gặp một kết thúc câu (;) hoặc ngay lập tức sau khi sử dụng giá trị của f.

Answer 5

Từ standard

6,5 (2) Nếu một tác dụng phụ trên một đối tượng vô hướng là unsequenced liên quan đến hoặc là một tác dụng phụ khác nhau trên các đối tượng vô hướng cùng một hoặc một tính toán giá trị sử dụng giá trị của đại lượng vô hướng tương tự đối tượng, hành vi không xác định. Nếu có nhiều thứ tự cho phép của biểu thức phụ của một biểu thức, hành vi không xác định nếu tác dụng không được tuân theo xảy ra trong bất kỳ thứ tự nào. ⁷⁴⁾

74) Đoạn này làm cho biểu thức tuyên bố không xác định như

 
      i = ++i + 1; 
      a[i++] = i; 

trong khi cho phép

 
      i = i + 1; 
      a[i] = i;