Tại sao phân rã của con trỏ lại ưu tiên hơn một mẫu suy luận?

Question

Hãy nói rằng tôi đang viết một hàm để in theo chiều dài của một chuỗi:

template <size_t N> 
void foo(const char (&s)[N]) { 
    std::cout << "array, size=" << N-1 << std::endl; 
} 

foo("hello") // prints array, size=5 

Bây giờ tôi muốn mở rộng để hỗ trợ foophi -arrays:

void foo(const char* s) { 
    std::cout << "raw, size=" << strlen(s) << std::endl; 
} 

Nhưng nó quay ra điều này sẽ phá vỡ mục đích sử dụng ban đầu của tôi:

foo("hello") // now prints raw, size=5 

Tại sao? Điều đó sẽ không yêu cầu một chuyển đổi mảng-to-con trỏ, trong khi các mẫu sẽ là một kết hợp chính xác? Có cách nào để đảm bảo rằng chức năng mảng của tôi được gọi?

Answer 1

Lý do cơ bản cho sự không rõ ràng (tuân thủ tiêu chuẩn) dường như nằm trong chi phí chuyển đổi: Độ phân giải quá tải cố gắng giảm thiểu các hoạt động được thực hiện để chuyển đổi đối số thành thông số tương ứng. Một mảng là có hiệu quả là con trỏ đến phần tử đầu tiên của nó, được trang trí với một số thông tin kiểu thời gian biên dịch. Chuyển đổi mảng-thành-con trỏ không chi phí nhiều hơn ví dụ: lưu địa chỉ của chính mảng đó, hoặc khởi tạo một tham chiếu đến nó. Từ quan điểm đó, sự mơ hồ có vẻ hợp lý, mặc dù khái niệm nó không trực quan (và có thể là phân nhánh). Trong thực tế, đối số này áp dụng cho tất cả các biến đổi Lvalue, như được đề xuất bởi các báo giá dưới đây. Một ví dụ khác:

void g() {} 

void f(void(*)()) {} 
void f(void(&)()) {} 

int main() { 
    f(g); // Ambiguous 
} 

---

Sau đây là bắt buộc standardese. Các hàm không phải là chuyên môn của một số mẫu chức năng được ưu tiên hơn so với các hàm nếu cả hai đều là một kết quả tương đương tốt (xem [over.match.best]/(1.3), (1.6)). Trong trường hợp của chúng tôi, chuyển đổi được thực hiện là chuyển đổi mảng-thành-con trỏ, là một phép chuyển đổi Lvalue với xếp hạng Đối sánh chính xác (theo bảng 12 trong [over.ics.user]). [Over.ics.rank]/3:

• chuỗi chuyển đổi tiêu chuẩn S1 là một chuỗi chuyển đổi tốt hơn so với trình tự chuyển đổi tiêu chuẩn S2 nếu

  • S1 là một dãy con đúng S2 (so sánh các chuỗi chuyển đổi theo dạng chuẩn tắc được xác định bởi 13.3.3.1.1, trừ bất kỳ chuyển đổi Lvalue nào; ered là một dãy con của bất kỳ phi sắc chuyển đổi chuỗi) hoặc, nếu không muốn nói rằng,

  • cấp bậc S1 là tốt hơn so với cấp bậc S2, hoặc S1 và S2 có cùng ngạch và được phân biệt bởi các quy tắc trong đoạn dưới đây, hoặc, nếu không muốn nói rằng,

  • [..]

Điểm bullet đầu tiên không bao gồm chuyển đổi của chúng tôi (vì nó là một Chuyển đổi Lvalue).Điều thứ hai yêu cầu sự khác biệt về xếp hạng, không có mặt vì cả hai chuyển đổi đều có xếp hạng đối sánh chính xác; "Quy tắc trong đoạn bên dưới", tức là trong [over.ics.rank]/4, cũng không bao gồm chuyển đổi mảng-điểm trỏ.
Vì vậy, hãy tin hay không, không có trình tự chuyển đổi nào tốt hơn cả chuỗi kia và do đó, tải lên char const* -overload.

---

Cách giải quyết khác: Xác định quá tải thứ hai làm mẫu chức năng, sau đó đặt một phần đá vào và chọn lần đầu tiên.

template <typename T> 
auto foo(T s) 
    -> std::enable_if_t<std::is_convertible<T, char const*>{}> 
{ 
    std::cout << "raw, size=" << std::strlen(s) << std::endl; 
} 

Demo.