template<typename TA, typename TB>
void foo (TA a, TB b); // #1
template<typename T>
void foo (T a, T b); // #2
int a, b;
foo(a, b);
Trong trường hợp này, foo # 2 được gọi. Tại sao?Lựa chọn chức năng mẫu C++
Nếu bạn đã làm sáng tỏ những thông số mẫu, bạn sẽ sử dụng:
foo<int, int>(a, b);
để gọi hàm đầu tiên.
Bạn sẽ sử dụng:
foo<int>(a, b);
để gọi hàm thứ hai.
Vì bạn cho phép trình biên dịch chọn hàm, nó đã chọn hàm hạn chế hơn, đây là hàm thứ hai.
Tại sao chế độ hạn chế thứ hai lại hạn chế hơn? Trình biên dịch phải suy ra một loại để sử dụng hàm thứ hai. Nó phải suy ra hai loại để sử dụng cái đầu tiên.
Tôi nghĩ rằng 'foo
IMO thứ hai là * nhiều hơn * hạn chế, ergo * chuyên biệt hơn *: Nó loại trừ loại cho cả hai đối số riêng lẻ và nếu các loại suy luận không giống nhau, thì khấu trừ không thành công. – dyp
@dyp Tôi nghĩ bạn đúng. Cảm ơn bạn đã chỉ ra lỗi. Đã cập nhật câu trả lời của tôi. –
@ πάνταῥεῖ: Tôi không chắc điều đó liên quan đến câu hỏi này như thế nào. –
@OliCharlesworth Tôi cũng vậy;) ... Hãy nghĩ rằng nhận xét của dyp phù hợp hơn với những gì tôi muốn thể hiện. –
Trong trường hợp này, cả hai mẫu tạo ra một chữ ký hàm 'void foo (int, int)', vì vậy chúng được chọn dựa trên * một phần * thứ tự * cái nào là chuyên biệt hơn *. – dyp