Làm thế nào để rõ ràng đề cập đến hoạt động với mẫu quá tải

Question

Giả sử tôi có định nghĩa sau đây:

int f(int) { return 1; } // a) 

template<typename T> int f(T x) { return 2; } // b) 

Tôi hiểu rằng nếu tôi gọi f, ví dụ f(1), không quá tải mẫu a) sẽ được ưu tiên, nhưng có cách nào để tham khảo rõ ràng a) không? Ví dụ, tôi có thể sử dụng f<int> để tham khảo b) một cách rõ ràng.

Như một ví dụ về lý do tại sao điều này sẽ có ích, hãy xem xét các chức năng sau:

template<typename Func, typename T> void print_result(Func f, T arg) 
{ 
    std::cout << f(arg) << std::endl; 
} 

Nếu tôi cố gắng sử dụng nó trên f, ví dụ: print_result(f,1), tôi nhận được một lỗi biên dịch (trình biên dịch không biết trong đó có nghĩa là f). Tôi có thể sử dụng print_result(f<int>,1) để yêu cầu sử dụng b), nhưng làm cách nào để tôi sử dụng a)?

Tôi thấy tôi có thể sử dụng print_result(static_cast<int (*)(int)>(f), 1), nhưng điều này cảm thấy bị hack và rườm rà. Có cách nào tốt hơn?

Answer 1

sử dụng mẫu chuyên môn:

template<> 
int f<int>(int x) { return 1; } // a)