mẫu chuyên môn với nhiều mẫu thông số

Question

Nói rằng tôi có điều này:

template<typename T, int X> 
class foo 
{ 
public: 
    void set(const T &t); 
}; 

template<typename T, int X> 
void foo::set<T, X>(const T &t) 
{ 
    int s = X; 
    // ...etc 
} 

Tôi có thể chuyên các loại chức năng 'T' nhưng để lại 'X' như một tham số mẫu?

class bar; 

template<int X> 
void foo::set<bar, X>(const bar &t) 
{ 
    int s = X; 
    // ...etc 
} 

Điều này có khả thi không?

Answer 1

Đây là đáng ngạc nhiên dễ dàng một khi bạn nhận được hang của nó

template<typename T, int X> 
class foo 
{ 
private: 
    template<typename, int> class params { }; 

public: 
    void set(const T &t) { 
    set(t, params<T, X>()); 
    } 

private: 
    template<typename T1, int X1> 
    void set(const T1 &t, params<T1, X1>) { 
    // ... 
    } 

    template<int X1> 
    void set(const bar &t, params<bar, X1>) { 
    // ... 
    } 
}; 

này là cần thiết bởi vì nếu bạn chuyên rõ ràng một thành viên duy nhất, bạn phải cung cấp tất cả các đối số mẫu . Bạn không thể để lại một số.

Answer 2

Không. Điều đó không được phép. Chức năng thành viên classphải hoàn toàn chuyên biệt. Ví dụ, nó phải là,

template<> 
void foo<bar, 5>::set(const bar &t) 
{   //^^^^ 
    int s = 5; 
    // ...etc 
} 

Answer 3

Bạn có thể chuyên môn hóa một phần toàn bộ lớp học. Trong trường hợp này, bạn có thể thực hiện các chức năng khác nhau cho hàm set cho mỗi chuyên môn của lớp.

Answer 4

Bạn có thể xem xét viết lại mã của bạn để làm cho các chức năng thành viên một mẫu riêng:

template <int X> class foo 
{ 
    template <typename T> void set(const T &); 
    // ... 
}; 

Sau đó, bạn có thể cung cấp các chuyên ngành rõ ràng cho mẫu foo<X>::set.