chuyên môn hóa từng phần cho mẫu variadic cần đầu tiên mẫu tham số

Question

phi variadic Các mã sau

#include <iostream> 
#include <utility> 

template<typename F, typename... T> 
struct Wrapper{ }; 

template<typename T> 
struct is_wrapper : std::false_type {}; 

template<typename... T> 
struct is_wrapper<Wrapper<T...>> : std::true_type {}; 

//template<typename F, typename... T> 
//struct is_wrapper<Wrapper<F, T...>> : std::true_type {}; 

int main() 
{ 
    Wrapper<int, double> w; 

    std::cout << is_wrapper<decltype(w)>::value << std::endl; 
} 

in 0. Tuy nhiên, nếu một uncomments hai dòng ở giữa nó in 1.

Tại sao doesn' nó luôn luôn in 1? Không nên chuyên môn hóa từng phần thứ hai cũng bao gồm các trường hợp mà dường như chỉ được bao phủ bởi các chuyên ngành một phần (nhận xét) một phần?

Answer 1

Mã thực sự phải khớp với chuyên môn từng phần; Các tiêu chuẩn không bao giờ thực sự không được phép này, nhưng trình biên dịch đã mất một lúc để thực hiện các mẫu variadic và khấu trừ của họ đúng cách. GCC phù hợp từ 4.9.0 và Clang là 3.6. Báo cáo lỗi liên quan cho Clang là #22191 (Tôi không thể tìm thấy GCC's, mặc dù).

Answer 2

Thông thường khi tôi viết mẫu chuyên biệt, trước tiên tôi sử dụng khai báo chuyển tiếp và khai báo các trường hợp thuộc về chuyên môn. Trong trường hợp của bạn, tôi hiểu rằng bạn đang cố gắng để viết một mẫu variadic mà không có trường hợp rỗng (Đó là, một mẫu variadic mà có thể có ít nhất một loại).

Mã của bạn làm tôi ngạc nhiên bởi vì tôi nghĩ rằng bạn là chính xác, chuyên ngành đầy đủ về đặc tính của bạn phù hợp với các trường hợp lỗ ... Trước tiên tôi đã cố gắng sử dụng một khai báo chuyển tiếp của lớp đặc điểm của bạn, và xác định ONLY đầy đủ variadic chuyên môn hóa (Vì vậy, nếu tham số của đặc điểm không phải là một trường hợp Wrapper không biên dịch). Và thats chính xác những gì đã Đã xảy, thất vọng tôi một lần nữa:

#include <iostream> 
#include <utility> 

template<typename F , typename... T> 
struct Wrapper {}; 

template<typename T> 
struct is_wrapper; 

//template<typename T> 
//struct is_wrapper : std::false_type {}; 

template<typename... T> 
struct is_wrapper<Wrapper<T...>> : std::true_type {}; 

//template<typename F, typename... T> 
//struct is_wrapper<Wrapper<F, T...>> : std::true_type {}; 

using my_wrapper_type = Wrapper<int,double>; 

int main() 
{ 
    std::cout << std::boolalpha << is_wrapper<my_wrapper_type>::value << std::endl; 
}//"Invalid use of incomplete type" ^^^^^^^^^^^^^^^^^^^^^^^^^^^ 

Cuối cùng tôi thử với phương pháp kê khai về phía trước trong lớp Wrapper. Và đáng ngạc nhiên, nó hoạt động:

#include <iostream> 
#include <utility> 

template<typename... T> 
struct Wrapper; 

template<typename F, typename... T> 
struct Wrapper<F,T...>{ }; 


template<typename T> 
struct is_wrapper : std::false_type {}; 

template<typename... T> 
struct is_wrapper<Wrapper<T...>> : std::true_type {}; 

//template<typename F, typename... T> 
//struct is_wrapper<Wrapper<F, T...>> : std::true_type {}; 


using my_wrapper_type = Wrapper<int,double>; 

int main() 
{ 
    std::cout << std::boolalpha << is_wrapper<my_wrapper_type>::value << std::endl; 
} 

này in:

đúng

Here là mã chạy ở ideone.

Trân trọng, tôi không hiểu tại sao mã của bạn bị lỗi và hoạt động của tôi. Lỗi trình biên dịch của nó, hoặc có cái gì đó chúng ta đang thiếu? Tôi không biết.

Answer 3

Nếu tôi hiểu tốt vấn đề của bạn nó chỉ là một ưu tiên hàng đầu chuyên môn hóa,

is_wrapper<decltype(w)> 

Có thể chuyên bằng 2 mẫu:

template<typename T> // exact specialization 
template<typename... T> // variadic specialization with one parameter 

Trong trường hợp trình biên dịch này chọn ưu tiên các chuyên ngành chính xác và do đó mẫu không bao giờ instatiate trong trường hợp bạn.