fork download

copy

#include <iostream>
#include <array>
 
 
template<template<typename>class T,typename...Args>
struct A<T<Args...>>
{
    constexpr static int value=1;
};
 
template<template<typename>class T,typename...Args>
struct A<T<Args...> const>
{//const container used for type of  return arguments
    constexpr static int value=2;
};
 
int main()
{
    using Type=const std::array<int,10>;
    std::cout<<A<Type>::value;
}

prog.cpp:6:8: error: ‘A’ is not a class template
 struct A<T<Args...>>
        ^
prog.cpp:12:26: error: type/value mismatch at argument 1 in template parameter list for ‘template<template<class> class T, class ... Args> struct A’
 struct A<T<Args...> const>
                          ^
prog.cpp:12:26: error:   expected a class template, got ‘const T<Args ...>’
prog.cpp: In function ‘int main()’:
prog.cpp:20:22: error: type/value mismatch at argument 1 in template parameter list for ‘template<template<class> class T, class ... Args> struct A’
     std::cout<<A<Type>::value;
                      ^
prog.cpp:20:22: error:   expected a class template, got ‘Type {aka const std::array<int, 10u>}’

Standard output is empty