Hình thức phân tích bí danh nào mà Visual C++ sử dụng?

Question

Tôi đang cố gắng tìm ra hình thức phân tích bí danh bí danh được sử dụng trong Visual C++. Nó còn được gọi là phân tích con trỏ, phân tích mod-ref, phân tích điểm-điểm hoặc phân tích tác dụng phụ, và khá gần với phân tích thoát hoặc phân tích hình dạng (nếu bạn đã thấy các thuật ngữ đó liên quan).

Nếu có ai biết MSDN thảo luận về loại điều này, tôi có thể tìm đường từ đó. (Tôi cố gắng tìm kiếm, nhưng MSDN có vẻ là bất khả xâm phạm nếu bạn không dành nhiều thời gian ở đó.)

Answer 1

Đi hoàn toàn bởi MSDN tài liệu:

"Giả Không răng cưa" (/Oa) và các tùy chọn liên quan có đã bị xóa trong Visual Studio 2008.

__declspec (restrict) và __declspec (noalias) đã được thêm vào (2003 hoặc sớm hơn, xem thêm Optimization best practices)

Từ đó tôi sẽ kết luận rằng trình biên dịch/tối ưu hóa theo mặc định thừa nhận răng cưa theo quy định C++ (khoảng, con trỏ cùng loại có thể trỏ đến cùng một bộ nhớ). Điều này có vẻ là một động thái hợp lý trong việc tránh các lỗi do một lựa chọn quá mức/Oa quá mức toàn cầu.

Tôi sẽ tiếp tục giả định rằng việc tạo mã thời gian liên kết làm tăng phạm vi mà không thể tạo bí danh.

---

Tham chiếu không phải MSDN tốt nhất tôi có thể tìm thấy là: VC++ team blog. Tuy nhiên, điều này chỉ cho thấy rằng trình biên dịch không dành một chút thời gian để phân tích bí danh. Có thể video liên kết Channel9 cung cấp một số thông tin chi tiết.

(Một số người đã có may mắn với hỏi để biết thêm trong VC++ comments. Gợi ý gợi ý ...)

---

[chỉnh sửa] Tôi không biết nếu Phoenix đã kết thúc trong VS2010, các video nói về bí danh 6:00, nhưng không có gì ngoạn mục.