c – 不能将继承的类作为SFINAE的基础进行特征化

我创建了一个container_Traits类来检查容器是否是std :: array.
但它无法捕获从std :: array继承的容器.
有解决方案吗

#include <vector>
#include <array>
#include <iostream>

using namespace std;

template<typename C>
struct container_Traits { constexpr static bool is_array = false; };
template<typename T,size_t S>
struct container_Traits<std::array<T,S>> { constexpr static bool is_array = true; };

template<typename T,size_t S>
struct A : public std::array<T,S> {};

int main()
{
    cout << container_Traits<A<int,5>>::is_array << endl;              // must return 1
    cout << container_Traits<std::array<int,10>>::is_array << endl;    // must return 1
    cout << container_Traits<std::vector<int>>::is_array << endl;       // must return 0
    return 0;
}

template <typename C>
struct container_Traits {
  constexpr static bool is_array = false;
};

template <template <typename,std::size_t> class C,typename T,std::size_t N>
struct container_Traits<C<T,N>> {
  constexpr static bool is_array = std::is_base_of<std::array<T,N>,C<T,N>>::value;
};