从模板化模板类和可变模板中声明“容器”对象

Question

我需要声明一个可以存储不同类型容器的类。也就是说，如果它能处理STD：：Bitset和STD：：Array就好了。但是，这两个类需要不同的模板参数······是否可能（以及如何）使用模板化模板类和可变模板来声明此类类？

示例（但错误）：

template<template <typename..., std::size_t> class Container,
         std::size_t N,
         typename... Args>
class Base_Class
{
    ...
    Container<Args..., N/2> container;
};

template<typename... Args, typename T>
struct A
{};

Answer 1

安东的回答可以通过使用模板模板参数来指定resizedcontainer的指定，使容器的特定性有所降低：

namespace detail {
    template<typename Container>
    struct ResizedContainer;

    template<template<typename,std::size_t> class Container,
             typename T, std::size_t N>
    struct ResizedContainer<Container<T,N>> {
        using type = Container<T,N/2>;
    };

    template<template<std::size_t> class Container,
             std::size_t N>
    struct ResizedContainer<Container<N>> {
        using type = Container<N/2>;
    };
}

#include <array>
#include <bitset>

template<typename Container>
class Base_Class {
    typename detail::ResizedContainer<Container>::type container;
};

int main() {
    Base_Class<std::array<int,4>> a;
    Base_Class<std::bitset<5>> b;
}