Có pháp lý để phần chuyên variadic mẫu lớp bên trong với args từ mẫu variadic của một lớp bên ngoài

Question

xem xét mã:

#include <iostream> 

template <class... Ts> 
struct outer { 
    template <class... ITs> 
    struct inner { 
     static constexpr bool value = false; 
    }; 

    template <class... ITs> 
    struct inner<Ts..., ITs...> { 
     static constexpr bool value = true; 
    }; 
}; 

int main() { 
    std::cout << outer<int, float, double>::inner<int, float, double, int>::value << std::endl; 
} 

mã biên dịch với kêu vang ++ nhưng không phải với g ++ nơi nó tạo ra một lỗi:

temp3.cc:11:11: error: parameter pack argument ‘Ts ...’ must be at the end of the template argument list

struct inner<Ts..., ITs...> { 
    ^

Vì tôi đã thiết lập here chuyên môn hóa một phần của lớp bên trong nên hợp pháp.

Edit: Đối với đầy đủ nó là giá trị thêm rằng kêu vang cho mã trên cảnh báo rằng ông có thể có một vấn đề với suy luận thông số nào được nêu ra làm việc đó mà không cần bất kỳ vấn đề ...

Answer 1

Đây là một lỗi gcc . Đây là chuyên môn một phần hoàn toàn hợp lệ:

template <class... ITs> 
struct inner<Ts..., ITs...> { 
    static constexpr bool value = true; 
}; 

Gói thông số mẫu bị thiếu phải là cuối cùng và ITs... thỏa mãn điều đó. Nhưng Ts... không phải là một gói cần được suy luận ở đây, nó chỉ là một gói tham số cụ thể.

Hơn nữa, gcc biên dịch một số công thức tương đương:

template <class... Ts> 
struct X { 
    template <class... Us> 
    static void foo(Ts..., Us...) { } 
}; 

int main() { 
    X<int>::foo(1, 'c'); 
} 

và:

template <class... Us> 
struct A { }; 

template <class... Ts> 
struct X { 
    template <class... Us> 
    static void foo(A<Ts..., Us...>) { } 
}; 

int main() { 
    X<int>::foo(A<int, char>{}); 
} 

Đây là tương đương tốt được hình thành để dụ ban đầu của bạn.

Answer 2

có thể đơn giản workaround nhưng hiệu quả truyền cảm hứng về Barry của câu trả lời:

#include <iostream> 

template <class... Ts> 
struct pack { }; 

template <class... Ts> 
struct outer { 
    template <class IT> 
    struct inner { 
     static constexpr bool value = false; 
    }; 

    template <class... ITs> 
    struct inner<pack<Ts..., ITs...>> { 
     static constexpr bool value = true; 
    }; 
}; 

int main() { 
    std::cout << outer<int, float, double>::inner<pack<int, float, double, int>>::value << std::endl; 
} 

(Nó vẫn tạo ra cảnh báo trong vang dù)

Answer 3

Cưỡi trên câu trả lời WF, vẫn giữ cùng chính như trong câu hỏi ban đầu:

#include <iostream> 

template <class... Ts> 
struct pack { }; 

template <class... Ts> 
class outer { 
    template <class IT> 
    struct _inner { 
     static constexpr bool value = false; 
    }; 

    template <class... ITs> 
    struct _inner<pack<Ts..., ITs...>> { 
     static constexpr bool value = true; 
    }; 
public: 
    template <class... ITs> 
    struct inner { 
     static constexpr bool value = _inner<pack<ITs...>>::value; 
    };  
}; 

int main() { 
    std::cout << outer<int, float, double>::inner<int, float, double, int>::value 
      << std::endl; 
} 

Nó vẫn tạo ra một cảnh báo trong kêu vang, bởi vì các phiên bản đặc biệt của _inner không thể suy ra nó ... ngoài danh sách của Ts ... , CNTT ... (trong struct _inner<pack<Ts..., ITs...>>) - tuy nhiên mã không yêu cầu IT được suy ra riêng biệt với danh sách Ts ..., CNTT ..., vì vậy điều này sẽ ổn.

Trong g ++ nó biên dịch mà không có cảnh báo.

Code: http://coliru.stacked-crooked.com/a/ae3b21dd847450b2

(Đối với một giải pháp mà không một lời cảnh báo cũng kêu vang: http://coliru.stacked-crooked.com/a/0c6c643c8ff5809e).