5

我需要声明一个可以存储不同类型容器的类。即如果它可以处理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;
};

编译器抱怨N/2不是一种类型。显然，对于 std::array 和 std::bitset 我都需要将大小作为最后一个模板参数......是否可以编写这种疯狂的代码？

谢谢！

编辑：就我而言，主要问题是可变参数模板只能在右侧展开，因此可变参数参数必须是最后一个。任何人都知道是否有任何计划允许在 C++17 中使用以下语法？

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

2 回答 2

3

Anton 的答案可以通过使用以下规范的模板模板参数来减少容器特定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;
}
于 2015-04-03T10:14:34.540 回答
2

也许是这样的：

namespace detail {
    template<typename Container>
    struct ResizedContainer;

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

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

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;
}
于 2015-04-03T09:54:37.960 回答