Đi qua tài liệu tham khảo liên tục của các loại nguyên thủy như các đối số chức năng

Question

Hãy xem xét các chức năng sau:

template <class T, class Priority> 
void MutableQueue<T, Priority>::update(const T& item, const Priority& priority) 
{ 
    ... 
} 

Would trình biên dịch x86-64 hiện đại có đủ thông minh để vượt qua đối số ưu tiên theo giá trị chứ không phải là tài liệu tham khảo nếu các loại ưu tiên có thể phù hợp trong một đăng ký?

Answer 1

Điều này hoàn toàn phụ thuộc vào nền tảng và trình biên dịch và do đó, cách các đối số được chuyển đến một hàm.
Các chi tiết cụ thể này được xác định trong ABI của hệ thống mà chương trình chạy; một số có một số lượng lớn thanh ghi và do đó sử dụng chúng chủ yếu. Một số đẩy tất cả vào ngăn xếp. Một số kết hợp chúng lại với nhau thành tham số N-th.

Một lần nữa, đó là điều bạn không thể dựa vào; bạn có thể kiểm tra nó theo một vài cách. Ngôn ngữ C++ không có khái niệm về thanh ghi.

Answer 2

Như @black đã đề cập, tối ưu hóa là trình biên dịch và nền tảng phụ thuộc. Điều đó nói rằng, chúng tôi thường mong đợi một số tối ưu hóa xảy ra hàng ngày khi sử dụng trình biên dịch tối ưu hóa tốt. Ví dụ, chúng tôi tin tưởng vào chức năng nội tuyến, đăng ký phân bổ, chuyển đổi phép nhân liên tục và bộ phận để bit thay đổi khi có thể, vv

Để trả lời câu hỏi của bạn

Would trình biên dịch x86-64 hiện đại được thông minh đủ để chuyển đối số ưu tiên theo giá trị thay vì tham chiếu nếu loại ưu tiên có thể vừa với một thanh ghi?

Tôi sẽ dùng thử. Xem để tự của bạn:

• GCC latest (without inlining)
• CLANG 3.5.1 (without inlining)

Đây là mã:

template<typename T> 
T square(const T& num) { 
    return num * num; 
} 

int sq(int x) { 
    return square(x); 
} 

GCC -O3, -O2, và -O1 đáng tin cậy thực hiện điều này tối ưu hóa.

Clang 3.5.1, mặt khác, dường như không thực hiện tối ưu hóa này.

Bạn có nên đếm số về việc tối ưu hóa như vậy không? Không phải lúc nào, và không hoàn toàn - tiêu chuẩn C++ không nói gì về việc một sự tối ưu hóa như thế này có thể xảy ra. Trong thực tế, nếu bạn đang sử dụng GCC, bạn có thể 'mong đợi' tối ưu hóa sẽ diễn ra.

Nếu bạn hoàn toàn muốn đảm bảo rằng việc tối ưu hóa như vậy xảy ra, bạn sẽ muốn sử dụng template specialization.

Answer 3

Trình biên dịch có thể thực hiện tối ưu hóa, nhưng không bắt buộc.

Để buộc để vượt qua "tốt nhất" loại, bạn có thể sử dụng tăng: http://www.boost.org/doc/libs/1_55_0/libs/utility/call_traits.htm

Thay const T& (nơi đi qua giá trị là đúng) bởi call_traits<T>::param_type.

Vì vậy, mã của bạn có thể trở thành:

template <class T, class Priority> 
void MutableQueue<T, Priority>::update(call_traits<T>::param_type item, 
             call_traits<Priority>::param_type priority) 
{ 
    ... 
}