Có lý do nào để không sử dụng pragma INLINABLE cho một chức năng không?

Question

Các documentation trạng thái:

Một {- # INLINABLE f # -} pragma trên một hàm f có các hành vi sau đây:

• Trong khi INLINE nói "xin vui lòng inline tôi", các INLINABLE nói "cảm thấy tự do để inline tôi, sử dụng theo ý của bạn". Nói cách khác, lựa chọn được để lại cho GHC, sử dụng các quy tắc tương tự như đối với các chức năng không có pragma. Không giống như INLINE, quyết định đó được thực hiện tại trang web cuộc gọi và do đó sẽ bị ảnh hưởng bởi ngưỡng nội tuyến, mức tối ưu hóa, v.v.

• Giống như INLINE, pragma INLINABLE giữ bản sao RHS gốc cho mục đích nội tuyến và vẫn tồn tại nó trong tệp giao diện, bất kể kích thước của RHS.

• Một cách để sử dụng INLINABLE kết hợp với nội tuyến chức năng đặc biệt (Mục 7.18, “Các chức năng tích hợp đặc biệt”). Các cuộc gọi inline f cố gắng rất khó để inline f. Để đảm bảo rằng f có thể được gạch chân, bạn nên đánh dấu định nghĩa của f là INLINABLE, để GHC đảm bảo phơi bày một sự mở ra bất kể nó lớn như thế nào. Hơn nữa, bằng cách chú thích f là INLINABLE, bạn đảm bảo rằng RHS gốc của f được gạch chân, thay vì bất kỳ phiên bản tối ưu hóa ngẫu nhiên nào của trình tối ưu hóa f GHC đã tạo ra.

• Pragma INLINABLE cũng hoạt động với SPECIALIZE: nếu bạn đánh dấu hàm f là INLINABLE, sau đó bạn có thể SPECIALIZE trong một mô-đun khác (xem Phần 7.16.8, “SPECIALIZE pragma”).

• Không giống như INLINE, bạn có thể sử dụng một pragma INLINABLE trên một hàm đệ quy. Lý do chủ yếu làm để như vậy để cho phép sử dụng sau này của chuyên

nhược điểm của nó là gì?

Ứng dụng có tạo tệp giao diện nhiều, lớn hơn nhiều không? Liệu nó có biên dịch chậm hơn nhiều không?

Có lý do nào tôi không nên đặt một pragma INLINABLE vào mọi chức năng được xuất mà tôi viết không? Có lý do nào GHC không đặt một pragma INLINABLE vào mọi chức năng xuất khẩu mà tôi viết không?

Answer 1

Có ba sự khác biệt giữa việc sử dụng INLINABLE và không sử dụng một pragma tại tất cả:

• Without INLINABLE, định nghĩa mà đi trong file giao diện là mã sau tối ưu hóa, trong khi với INLINABLE, nó là mã bạn viết (nhiều hay ít). Đặc biệt, không có INLINABLE, GHC có thể nội tuyến các hàm khác vào định nghĩa của hàm.

• Không có INLINABLE, GHC sẽ bỏ qua định nghĩa từ tệp giao diện nếu tệp quá lớn. Nếu một số chức năng khác được đưa vào bên phải, điều này có thể dễ dàng đẩy nó vượt quá giới hạn.

• INLINABLE cũng bật một số máy móc thông minh tự động chuyên chức năng quá tải nơi chúng được sử dụng và chia sẻ các phiên bản chuyên biệt với các mô-đun khác chuyển nhập quá mức mô-đun trong đó phiên bản chuyên biệt đã được tạo.