C++模板模板参数嵌套模板参数使用-C++-PHP中文网

C++模板模板参数嵌套模板参数使用

P粉602998670

发布： 2025-08-31 10:51:01

原创

780人浏览过

C++模板模板参数允许将模板作为参数传递，支持泛型编程与元编程。通过template<template<typename, typename = std::allocator<typename>> class Container, typename T>可编写通用容器处理函数，如printContainer适用于std::vector、std::list等。嵌套模板参数进一步提升灵活性，如Container<std::pair<T1, T2>>处理存储pair的容器，或OuterContainer<InnerContainer<T>>处理多层嵌套结构如std::list<std::vector<std::string>>。但模板模板参数要求精确匹配模板形参数量，不支持自动类型推导，需借助模板别名（如using MyVector = std::vector<T>）适配。适用于泛型算法、策略模式与编元编程场景。

c++模板模板参数嵌套模板参数使用

C++模板模板参数允许你将一个模板作为另一个模板的参数传递，这在编写泛型库和元编程时非常有用。嵌套模板参数则是在模板模板参数内部再使用模板参数，进一步增强了灵活性。

解决方案

模板模板参数的核心在于，它允许你传递一个“模板”本身，而不是模板实例化的结果。这意味着你可以编写一个函数或类，它可以接受不同类型的容器（例如

std::vector

登录后复制

std::list

登录后复制

）作为参数，而无需为每种容器编写不同的版本。

让我们看一个例子：

立即学习“C++免费学习笔记（深入）”；

template <template <typename, typename = std::allocator<typename>> class Container, typename T>
void printContainer(const Container<T>& container) {
    for (const auto& element : container) {
        std::cout << element << " ";
    }
    std::cout << std::endl;
}

int main() {
    std::vector<int> vec = {1, 2, 3, 4, 5};
    std::list<int> lst = {6, 7, 8, 9, 10};

    printContainer(vec); // 输出: 1 2 3 4 5
    printContainer(lst); // 输出: 6 7 8 9 10

    return 0;
}

登录后复制

在这个例子中，

template <template <typename, typename = std::allocator<typename>> class Container, typename T>

登录后复制

声明了一个模板函数

printContainer

登录后复制

。

```
template <typename, typename = std::allocator<typename>> class Container
```
登录后复制
是模板模板参数，它指定
```
Container
```
登录后复制
必须是一个接受两个类型参数的模板类（第一个是元素类型，第二个是分配器类型，分配器类型有默认值）。
```
typename T
```
登录后复制
是一个普通的类型参数，表示容器中元素的类型。

现在，来看一个嵌套模板参数的例子，假设我们需要一个可以处理存储

std::pair

登录后复制

的容器的函数：

AiPPT模板广场

AiPPT模板广场-PPT模板-word文档模板-excel表格模板

147

查看详情

template <
    template <typename, typename = std::allocator<typename>> class Container,
    typename T1,
    typename T2
>
void printPairContainer(const Container<std::pair<T1, T2>>& container) {
    for (const auto& element : container) {
        std::cout << "(" << element.first << ", " << element.second << ") ";
    }
    std::cout << std::endl;
}

int main() {
    std::vector<std::pair<int, std::string>> vec = {{1, "one"}, {2, "two"}, {3, "three"}};
    std::list<std::pair<int, std::string>> lst = {{4, "four"}, {5, "five"}};

    printPairContainer(vec); // 输出: (1, one) (2, two) (3, three)
    printPairContainer(lst); // 输出: (4, four) (5, five)

    return 0;
}

登录后复制

在这个例子中，

Container<std::pair<T1, T2>>

登录后复制

展示了嵌套模板参数的用法。我们将

std::pair<T1, T2>

登录后复制

作为

Container

登录后复制

的模板参数，使得

printPairContainer

登录后复制

可以处理存储

std::pair

登录后复制

对象的容器。

如何处理更复杂的嵌套模板参数？

如果嵌套的结构更复杂，例如，容器存储了另一个容器，该怎么办？考虑一个存储

std::vector<std::string>

登录后复制

的

std::list

登录后复制

。

template <
    template <typename, typename = std::allocator<typename>> class OuterContainer,
    template <typename, typename = std::allocator<typename>> class InnerContainer,
    typename T
>
void printNestedContainer(const OuterContainer<InnerContainer<T>>& container) {
    for (const auto& inner_container : container) {
        for (const auto& element : inner_container) {
            std::cout << element << " ";
        }
        std::cout << "| ";
    }
    std::cout << std::endl;
}

int main() {
    std::list<std::vector<std::string>> data = {
        {"hello", "world"},
        {"C++", "templates"},
        {"nested", "containers"}
    };

    printNestedContainer(data); // 输出: hello world | C++ templates | nested containers |

    return 0;
}

登录后复制

这里，

OuterContainer<InnerContainer<T>>

登录后复制

表示外层容器存储内层容器，内层容器存储类型为

登录后复制

的元素。

模板模板参数与类型推导的限制

需要注意的是，模板模板参数的类型推导不如普通模板参数灵活。编译器需要精确匹配模板模板参数的模板类型。这意味着，如果你的模板模板参数期望一个接受两个类型参数的模板，你不能直接传递一个只接受一个类型参数的模板。

一个常见的解决方法是使用模板别名：

template <typename T>
using MyVector = std::vector<T>;

template <template <typename> class Container, typename T>
void processContainer(const Container<T>& container) {
    // ...
}

int main() {
    std::vector<int> vec;
    // processContainer(vec); // 错误：std::vector 接受两个模板参数

    MyVector<int> myVec;
    processContainer(myVec); // 正确：MyVector 只接受一个模板参数
    return 0;
}

登录后复制