Con trỏ có ức chế tối ưu hóa trình biên dịch không?

Question

Tôi đã cố chuyển một mảng tới một chương trình con, được khai báo trong chương trình con như một mảng hình dạng giả định. Điều đó đã cho tôi một số vấn đề mà tôi đã có thể giải quyết bằng cách đi qua một con trỏ để thay thế.

Nhưng một số người dùng với một danh tiếng cao nói với tôi trong một chú thích:

Thêm trỏ cũng là một cách hợp lý nói với trình biên dịch optimizer rằng nó không phải làm bất kỳ công việc ngày hôm nay.

Có ai có thể đưa ra giải thích ngắn về vấn đề này không? Ngôn ngữ là Fortran 95, mặc dù tôi tin rằng điều này áp dụng cho các ngôn ngữ khác.

Answer 1

Có, trình biên dịch Fortran phải giả định rằng con trỏ có thể bí danh với các con trỏ khác và với các biến số target.

Nếu bạn có mảng con trỏ a và b sau đó trong

a(i) = a(i) + b(i) 

trình biên dịch phải thừa nhận rằng hai mảng này một phần có thể chồng chéo và nó phải ức chế tối ưu hóa nhất định, bởi vì thay đổi giá trị của a có thể thay đổi một số giá trị của b tại một số chỉ mục không xác định.

Xem thêm từ khóa C restrict và thảo luận kỹ lưỡng hơn tại Is Fortran easier to optimize than C for heavy calculations?. Nó không phải là giá trị lặp đi lặp lại tất cả các điểm về con trỏ răng cưa lớn lên ở đó.

Nhận xét của IanH có chủ ý có lẽ hơi quá mạnh, nhưng có rất nhiều sự thật trong đó.