quá tải giữa tham khảo rvalue và tham khảo giá trị trái const trong mẫu

Question

Tôi muốn quá tải hai chức năng dựa vào việc tranh luận là một đối tượng tạm thời, vì vậy tôi viết mã như thế này:

#include <iostream> 

void f(int &&) 
{ 
    std::cout << "&&" << std::endl; 
} 

void f(const int&) 
{ 
    std::cout << "const &" << std::endl; 
} 

int main() 
{ 
    int i; 
    f(i); 
    f(i + 1); 
} 

Và nó corrently đầu ra:

const & 
&& 

Tuy nhiên, khi tôi thay đổi mã để sử dụng mẫu như thế này:

#include <iostream> 

template <typename T> 
void f(T &&) 
{ 
    std::cout << "&&" << std::endl; 
} 

template <typename T> 
void f(const T&) 
{ 
    std::cout << "const &" << std::endl; 
} 

int main() 
{ 
    int i; 
    f(i); 
    f(i + 1); 
} 

Đầu ra sẽ trở thành:

&& 
&& 

Có vấn đề gì? Làm thế nào tôi có thể tối ưu hóa cho đối tượng tạm thời di chuyển khi sử dụng mẫu?

chỉnh sửa:

Thực ra, đây là mã kiểm tra khi tôi đọc C++ Primer. Nó nói:

template <typename T> void f(T&&);  // binds to nonconst rvalues 
template <typename T> void f(const T&); // lvalues and const rvalues 

Sau khi thử nghiệm của tôi, có vẻ như cuốn sách đã phạm sai lầm ở đây.

Answer 1

template <typename T> 
void f(T &&) 
{ 
    std::cout << "&&" << std::endl; 
} 

Sử dụng phổ chuyển tiếp tài liệu tham khảo và cho phép bất kỳ loại tài liệu tham khảo với sụp đổ.

Bạn phải sử dụng T với một không bối cảnh suy luận như gói mã của bạn vào một cấu trúc:

template <typename T> 
struct helper 
{ 

    void f(T &&) 
    { 
     std::cout << "&&" << std::endl; 
    } 

    void f(const T&) 
    { 
     std::cout << "const &" << std::endl; 
    } 

}; 

template <typename T> 
void f(T &&t) 
{ 
    helper<typename std::decay<T>::type>().f(std::forward<T>(t)); 
} 

Live example