Определение одинаковости типов в пакете Args. в variadic templates

#include <iostream>
#include <cmath>
 
template<typename T, int N> class Vctr
{
    T components[N]; 
      
    template<typename Ab, typename A, typename ... Args> 
    struct is_same_all
    {       
        static const bool value = (std::is_same<Ab,A>::value)&&(is_same_all<A,Args...>::value);
    };
 
    template<typename Ab>
    struct is_same_all<Ab>
    {
        static const bool value = true;
    };
    
public:  
        
    template<typename ... Args, typename std::enable_if<N==sizeof...(Args) && is_same_all<T,Args...>::value, bool>::type = true> 
    constexpr Vctr(Args ... args):components{args...}
    { }     
        
    constexpr Vctr():components{0}
    { }
};
 
int main(int argc, char **argv)
{    
    Vctr<int, 6> obj0(1,2,3,4,5,6);
    return 0;
}

int my_func(int i, int j=10){}

    template<typename Ab, typename A, typename ... Args> 
    struct is_same_all
    {       
        static const bool value = (std::is_same<Ab,A>::value)&&(is_same_all<A,Args...>::value);
    };
 
    template<typename Ab>
    struct is_same_all<Ab, Ab> // <----- здесь
    {
        static const bool value = true;
    };

template<
    typename ...Args,
    typename std::enable_if<
         sizeof...(Args) == N &&
         (std::is_same<T, Args>::value && ...)
    >::type * = nullptr
>
constexpr Vctr(Args ...args) : components { args... }