C++模板参数可以是哪些类型非类型参数和模板模板参数详解-C++-PHP中文网

C++模板参数可以是哪些类型非类型参数和模板模板参数详解

P粉602998670

发布： 2025-07-12 10:26:01

原创

313人浏览过

c++++模板参数种类包括类型、值和模板本身。1. 非类型模板参数使用编译时常量表达式作为参数，如整型、指针或引用，常用于固定数组大小，例如 template<typename t, int n> class myarray。2. 模板模板参数允许将一个模板作为另一个模板的参数，提升通用性，如 template<template<typename, typename> class container, typename t> class wrapper，c++17 中可用 typename... 简化适配不同参数数量的模板。3. 实际应用中常见问题包括编译错误难读、默认参数易混淆以及函数模板中非类型参数无法自动推导，需显式指定。

C++模板参数可以是哪些类型非类型参数和模板模板参数详解

C++模板参数的种类比很多人想象得更丰富，不只是类型（比如 int、class）可以作为模板参数，值和模板本身也可以。这使得模板编程更加灵活。

非类型模板参数：用值做模板参数

非类型模板参数指的是在模板中使用一个具体的值作为参数，而不是类型。这个值必须是编译时常量表达式。

常见用法

数组大小固定时，可以用非类型参数传入大小：
```
template<typename T, int N>
class MyArray {
    T data[N];
};
```
登录后复制
这样定义后，你可以写 MyArray<int, 10> arr;，表示一个容量为10的整型数组类。

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

注意事项

非类型参数只能是某些特定类型，例如：
- 整型（包括 char、bool、枚举等）
- 指针类型（如函数指针或对象指针）
- 引用类型（不常用）

例如下面这样也是合法的：

template<const char* Name>
class Named {
    // ...
};

登录后复制

但你必须传入一个具有静态存储周期的字符串常量，否则链接时可能会出错。

模板模板参数：模板的模板

模板模板参数听起来有点绕，其实它就是把一个模板作为另一个模板的参数。也就是说，不是传入某个具体类型，而是传入一个“能生成类型的模板”。

典型用法

比如你想定义一个包装容器的类，但又不希望限定是哪种容器：

Python精要参考 pdf版

这本书给出了一份关于python这门优美语言的精要的参考。作者通过一个完整而清晰的入门指引将你带入python的乐园，随后在语法、类型和对象、运算符与表达式、控制流函数与函数编程、类及面向对象编程、模块和包、输入输出、执行环境等多方面给出了详尽的讲解。如果你想加入 python的世界，David M beazley的这本书可不要错过哦。 (封面是最新英文版的,中文版貌似只译到第二版)

查看详情

template<template<typename, typename> class Container, typename T>
class Wrapper {
    Container<T, std::allocator<T>> storage;
};

登录后复制

这样你可以这样使用：

Wrapper<std::vector, int> w1;
Wrapper<std::list, double> w2;

登录后复制

不过要注意的是，模板模板参数需要指定模板的参数个数和默认参数是否适用。例如上面的例子中，Container被声明为接受两个参数的模板（第二个通常是分配器），如果你传入的模板参数数量不对，就会出错。

使用技巧

如果你不确定对方模板的参数个数，可以借助 C++17 的 typename... Args 简化：
```
template<template<typename...> class Container, typename T>
class Wrapper {
    Container<T> storage;
};
```
登录后复制

这种方式更通用，避免因为模板参数个数不同而无法适配的问题。