fork download
copy 
  1.  
  2. template <typename...>
  3. struct G {};
  4.  
  5. template <typename>
  6. struct F;
  7.  
  8. template <typename... As>
  9. struct F<G<As...>>
  10. {
  11.     static void f(As... first, int second)
  12.     {
  13.         static_assert(sizeof...(As) == sizeof...(first), "");
  14.     }
  15. };
  16.  
  17. int main () {
  18.     F<G<int, int>>::f(1, 1, 1);
  19. }
Compilation error #stdin compilation error #stdout 0s 0KB
comments (?)
stdin
copy 
Standard input is empty
compilation info 
prog.cpp:11:42: error: parameter packs must be at the end of the parameter list
prog.cpp: In static member function 'static void F<G<As ...> >::f(As ..., int) [with As = {int, int}]':
prog.cpp:18:21:   instantiated from here
prog.cpp:13:9: error: static assertion failed: ""
stdout
copy 
Standard output is empty
https://ideone.com/YA6ao
language:
C++14 (gcc 8.3)
created:
12 years ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!