sự khác biệt giữa Chuyên môn rõ ràng về mẫu và chức năng thông thường là gì?

Question

template <class T> 
void max (T &a ,T &b) 
{}//generic template #1 

template<> void max(char &c, char &d) 
{} //template specializtion #2 

void max (char &c, char &d) 
{}//ordinary function  #3 

sự khác nhau giữa 1, 2 và 3 là gì?

Answer 1

1. là một hàm template
2. là một tổng chuyên môn của hàm mẫu trước đó (không quá tải!)
3. là một tình trạng quá tải của hàm

Dưới đây là một đoạn trích từ C++ Coding Standards: 101 Rules, Guidelines, and Best Practices :

66) Không chuyên mẫu chức năng

Chuyên môn mẫu chức năng không bao giờ tham gia vào quá tải: Vì vậy, mọi chuyên ngành bạn viết sẽ không ảnh hưởng đến mẫu nào được sử dụng và điều này sẽ chống lại những gì mọi người mong đợi bằng trực giác. Sau khi tất cả, nếu bạn đã viết một hàm nontemplate với chữ ký giống hệt thay vì một chuyên môn mẫu chức năng, hàm nontemplate sẽ luôn được chọn vì nó luôn được coi là phù hợp hơn so với mẫu.

Cuốn sách khuyên bạn thêm một mức gián tiếp bằng cách thực hiện các chức năng mẫu trong điều khoản của một lớp mẫu:

#include <algorithm> 

template<typename T> 
struct max_implementation 
{ 
    T& operator() (T& a, T& b) 
    { 
    return std::max(a, b); 
    } 
}; 

template<typename T> 
T& max(T& a, T& b) 
{ 
    return max_implementation<T>()(a, b); 
} 

Xem thêm:

• Why Not Specialize Function Templates?
• Template Specialization and Overloading

Answer 2

Quy tắc đối sánh cho thông số mẫu khác với các hàm bị quá tải. Một ví dụ về những gì khác có thể được nhìn thấy khi bạn cố gắng để gọi max() với lập luận của tyoes khác nhau:

max(1,'2'); 

này sẽ phù hợp với chức năng quá tải, nhưng không phải mẫu cơ sở cũng không phải chuyên môn hóa.