fork download
  1. template< template<typename ...> class >
  2. struct A
  3. {
  4. static constexpr int v = 7;
  5. };
  6.  
  7. template< template<typename> class T>
  8. struct A<T>
  9. {
  10. static constexpr int v = 3;
  11. };
  12.  
  13.  
  14. template< typename ... >
  15. struct B
  16. {};
  17.  
  18. template< typename >
  19. struct C
  20. {};
  21.  
  22.  
  23. static_assert(A<B>::v == 7, "#1");
  24. static_assert(A<C>::v == 3, "#2");
  25.  
  26.  
  27. int main()
  28. {
  29.  
  30. }
Success #stdin #stdout 0s 4472KB
stdin
Standard input is empty
stdout
Standard output is empty