Trình biên dịch C++ có thể tự động loại bỏ mã trùng lặp không?

Question

Sao chép mã is usually bad và thường khá dễ phát hiện. Tôi cho rằng các trình biên dịch có thể phát hiện tự động trong các trường hợp dễ dàng nhất - chúng đã phân tích cú pháp văn bản và nhận được biểu diễn trung gian mà chúng phân tích theo nhiều cách khác nhau - phát hiện các mẫu đáng ngờ như biến chưa được khởi tạo, tối ưu hóa mã đã phát, v.v. mã theo cách này và xử lý nó trong khi phát ra mã máy.

Có trình biên dịch C++ nào có thể phát hiện mã trùng lặp và chỉ phát ra mã máy tương ứng một lần thay vì cho mỗi bản sao trong văn bản nguồn không?

Answer 1

Một số có, một số thì không.

Từ trang tối ưu hóa của LLVM: -mergefunc (MergeFunctions pass, how it works)

Các chức năng được tách ra trong các khối nhỏ ở Trung Đại diện LLVM, tối ưu hóa này vượt qua cố gắng kết hợp các khối tương tự. Nó không đảm bảo thành công mặc dù.

Bạn sẽ tìm thấy nhiều tối ưu hóa khác trên trang này, mặc dù một số trong số chúng có thể xuất hiện khó hiểu ngay từ cái nhìn đầu tiên.

Tôi sẽ thêm ghi chú mặc dù mã trùng lặp không quá tệ đối với trình biên dịch/thực thi, không tốt cho điểm bảo trì và không có trình biên dịch nào có thể thực hiện được.

Answer 2

Tôi nghĩ rằng câu hỏi đưa ra giả định sai rằng các trình biên dịch sẽ luôn luôn muốn loại bỏ trùng lặp mã. mã trùng lặp là xấu cho khả năng đọc/bảo trì mã nguồn không nặc thời hiệu suất của mã được biên dịch, thực sự người ta có thể xem xét loop unrolling làm trình biên dịch thêm mã trùng lặp để tăng tốc độ. biên dịch mã không cần phải làm theo các nguyên tắc tương tự như mã nguồn và thường không như nó là dành cho máy không cho con người để đọc.

trình biên dịch thông thường đang bận biên dịch không chuyển đổi mã nguồn, tất nhiên các IDE có thể cho phép cả hai.

Answer 3

Visual C++ thực hiện việc này nếu bạn chỉ định 'thu nhỏ kích thước mã' (/ O1). Chức năng được cung cấp được mô tả trong tài liệu cho /Og, không được dùng nữa vì lợi ích của các tùy chọn bắt trọn đơn giản hơn để ủng hộ kích thước hoặc tốc độ ưu tiên (/ O2).

Answer 4

Từ kiến ​​thức của tôi, việc loại bỏ mã thường không xảy ra trên các chức năng. Vì vậy, nếu bạn viết một số đoạn mã trùng lặp trong hai hàm khác nhau thì sẽ có rất ít cơ hội (gần như không có) đoạn mã đó sẽ bị loại bỏ.

Có một số tối ưu hóa như return value optimization, function inlining có thể xảy ra trên các chức năng. Tuy nhiên hầu hết các tối ưu hóa được thực hiện trong chính function.This thường không được thực hiện ở cấp độ ngôn ngữ cao hơn, bởi điều này tôi có nghĩa là trình biên dịch sẽ không nhìn vào mã C + + và bắt đầu tối ưu hóa nó. Trình biên dịch chủ yếu có một đại diện trung gian, giữa ngôn ngữ cấp cao (C++) và ngôn ngữ máy. Đại diện trung gian này (IR) có phần tương tự với ngôn ngữ máy nhưng không chính xác là ngôn ngữ máy của hệ thống mà trên đó mã được biên dịch. Tham khảo trang wiki http://en.wikipedia.org/wiki/Compiler_optimization, nó liệt kê một số tối ưu hóa đó