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

Question

mẫu cấu trúc thông thường có thể được chuyên môn hóa, ví dụ:

template<typename T> 
struct X{}; 

template<> 
struct X<int>{}; 

C++ 11 đã cho chúng tôi mát using cú pháp mới để thể hiện mẫu typedefs:

template<typename T> 
using YetAnotherVector = std::vector<T> 

Có cách nào để xác định một chuyên môn mẫu cho các cấu trúc này bằng cách sử dụng các cấu trúc tương tự như các chuyên môn hóa cho các khuôn mẫu struct? Tôi đã thử các cách sau:

template<> 
using YetAnotherVector<int> = AFancyIntVector; 

nhưng nó mang lại lỗi biên dịch. Điều này có thể bằng cách nào đó?

Answer 1

số

Nhưng bạn có thể xác định bí danh như:

template<typename T> 
using YetAnotherVector = typename std::conditional< 
            std::is_same<T,int>::value, 
            AFancyIntVector, 
            std::vector<T> 
            >::type; 

Hy vọng rằng sẽ giúp.

Answer 2

Không thể chuyên môn hóa chúng một cách rõ ràng hoặc một phần. [Temp.decls]/3:

Bởi vì một alias-khai không thể khai báo một mẫu-id, nó là không thể một phần hoặc một cách rõ ràng chuyên một mẫu bí danh.

Bạn sẽ phải trì hoãn các chuyên môn hóa cho các mẫu lớp học. Ví dụ. với conditional:

template<typename T> 
using YetAnotherVector = std::conditional_t< std::is_same<T, int>{}, 
              AFancyIntVector, 
              std::vector<T> >;