con trỏ Non-const thích const T & quá tải để const T *

Question

Giả sử tôi có hai quá tải của một hàm

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

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

Tại sao f(new int) giải quyết đến f(const T&) thay vì f(const T*)? Bất cứ nơi nào trong các cuộc đàm phán tiêu chuẩn về hành vi phản trực giác này?

http://ideone.com/kl8NxL

Answer 1

Để giải quyết quá tải với khấu trừ mẫu, bước đầu tiên là giải quyết mẫu. Sau đó, đặt hàng không theo mẫu được áp dụng cho các kết quả. Trong mã của bạn độ phân giải mẫu là:

void f(int * const &) // 1 

void f(int const *)  // 2 

Theo C++ 14 [over.ics.ref], một tham chiếu liên kết trực tiếp đến một cuộc tranh cãi như trong (1) là một chuyển đổi sắc (ngay cả khi có thêm cv-qualifiers). Sự ràng buộc của T đến T const & là một ràng buộc trực tiếp, tức là không có thời gian nào được tạo và ràng buộc.

Tuy nhiên, (2) liên quan đến chuyển đổi bằng cấp . Loại đối số int * phải được chuyển đổi thành const int * trước khi nó khớp với tham số chức năng.

Việc chuyển sắc được coi là một tiểu chuỗi bất kỳ chuỗi chuyển đổi phi bản sắc, như vậy (1) thắng theo nguyên tắc phụ chuỗi [over.ics.rank] /3.1.1