Bạn có thể làm gì với các mẫu có tham số mẫu không?

Question

Tôi đã học được một số thời gian trước đây rằng bạn có thể tạo mẫu với các tham số bằng không. Mặc dù không thể tạo chúng trực tiếp, bạn có thể sử dụng mẫu thành viên

template<typename ...T> 
struct Maker { 
    template<T...> 
    struct HasNParams { }; 
}; 

Maker<>::HasNParams<> hnp; 

Tôi tự hỏi liệu điều này có được thiết kế tốt và bạn có thể làm gì với những con thú này không. Bạn có thể vượt qua chúng dưới dạng đối số mẫu và tạo chuyên môn rõ ràng (tôi đoán kịch bản duy nhất dành cho trường hợp trống sau đó)?

Answer 1

Có nguy cơ phát âm rõ ràng, kết thúc thuyết minh đệ quy.

template<typename Arg, typename ...T> 
struct Maker : public Maker<T...> 
{ 
    template<T...> 
    struct HasNmin1Params { }; 
}; 

Vấn đề ở đây là danh sách đối số thực tế để Maker là không có sản phẩm nào, nhưng chúng tôi chỉ sử dụng đối số N-1 trong HasNminOneParams.

Answer 2

Hãy xem xét các lớp mẫu sau:

template <typename... > struct typelist { }; 

Đây là lập trình meta tương đương với một container. Và theo cách tương tự, hữu ích khi có một số trống vector hoặc map, sẽ hữu ích khi có một số trống rỗng typelist. Tức là, một cái gì đó thuộc loại typelist<>. Dưới đây là hai trường hợp sử dụng ví dụ cho một cấu trúc như vậy.

Nó có thể là điều kiện chấm dứt cho loại đệ quy:

void foo(typelist<>) { } 

template <typename T, typename... Ts> 
void foo(typelist<T, Ts...>) { 
    bar<T>(); 
    foo(typelist<Ts...>{}); 
} 

Nó có thể là một "trở lại" giá trị cho một metafunction, cho thấy một tình trạng thất bại.

template <typename F, typename T> 
struct filter_one 
: std::conditional_t<F::template apply<T>::value, 
        typelist<T>, 
        typelist<>> 
{ }; 

Đó là một helper chúng ta có thể sử dụng để viết một metafunction lọc typelist:

template <typename F, typename TL> 
struct filter; 

template <typename F, typename... Ts> 
struct filter<F, typelist<Ts...>> 
: concat_t<filter_one<F, Ts>...> 
{ }; 

Cả hai đó là những tính năng rất hữu ích của typelist<>, và đó mới chỉ là mẫu một lớp.