我使用C++20。我可以检查类型是否是somevector / deque / list，如下所示：

template <typename N> struct is_listish_trait {
  static constexpr bool value = 0;
};

/* These are listish specializations */
template <typename N, typename A> struct is_listish_trait<std::vector<N, A>> {
  static constexpr bool value = 1;
};

template <typename N, typename A> struct is_listish_trait<std::list<N, A>> {
  static constexpr bool value = 1;
};

template <typename N, typename A> struct is_listish_trait<std::deque<N, A>> {
  static constexpr bool value = 1;
};

template <typename T>
static constexpr bool is_listish = is_listish_trait<T>::value;

static_assert(!is_listish<int>);
static_assert(is_listish<std::vector<int>>);

字符串
（我想知道在C++20中是否有更好的方法来做到这一点，现在我们有了requires表达式等。
然而，现在我想要的是is_listish接受从vectors / lists / deques派生的类。例如：

struct MyVec : public std::vector<int> { };
static_assert(is_listish<MyVec>); //This should be true

型
我不确定这是否可行。这是我试过的：

template <typename B, typename D>
  requires std::is_base_of_v<B, D>
struct is_listish_trait<D> {
  static constexpr bool value = 1;
};

型
然而，编译器抱怨说它不能推导出B（这是可以理解的）。
怎么能这样呢？