C++模板元编程（4） 非类型模板参数（Non-type template parameter）

已于 2023-07-19 00:48:31 修改
阅读量3k 收藏 1
点赞数 1
分类专栏： 嵌入式/Linux C/C++软件工程师知识体系（包括面试） # C++模板元编程 文章标签： c++ 非类型参数
于 2021-04-04 15:29:39 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/HandsomeHong/article/details/115428703
版权
本文详细介绍了C++中的非类型模板参数，包括整数、指针、auto以及左值引用等非类型参数的使用，强调了它们必须是编译时常量表达式。还探讨了非类型模板参数的局限性，如浮点数、类和字符串等不能作为参数，以及在模板实例化中数组和函数类型的特殊行为。此外，文章还讨论了C++20引入的新特性，如浮点类型和auto作为非类型参数的支持。
摘要由CSDN通过智能技术生成

参考：https://en.cppreference.com/w/cpp/language/template_parameters

文章目录

1、初探

模板除了定义类型参数，还可以定义非类型模板参数。

什么是非类型模板形参？顾名思义，就是表示一个固定类型的常量而不是一个类型模板。

支持以下4种形式：

type name(optional)	(1)	
type name(optional) = default	(
了解本专栏 订阅专栏 解锁全文
奇妙之二进制
关注
专栏目录
订阅专栏
C++模板元编程（6）函数模板参数推导（Template argument deduction）
二进制君
07-15 330
参考：https://en.cppreference.com/w/cpp/language/template_argument_deduction。
c++ template笔记(3)非类型模板参数nontype template parameters
weixin_34010566的博客
03-08 148
  算是模板使用的一种技巧 用模板当数组元素参数维度 #include <stdexcept> template <typename T, int MAXSIZE> class Stack { private: T elems[MAXSIZE]; // elements int numElems; ...
三、非类型模板参数（Nontype Template Parameters）
Mr.Gao的博客
12-29 5357
对于函数模板和类模板，模板参数不一定必须是类型，也可是是常规的数值。当以类型(type)作为模板参数的时候，代码中未决定的是类型；当以一般的数字(non-type)作为模板参数的时候，代码中待定的内容便是某些数值。使用者这种模板必须要显示指定数值，模板才能实例化。1、非类型类模板参数(Nontype Class Template Parameters)之前章节中的列子中Stack类中使用vector
c++-模板元编程非类型值列表
qq_34179431的博客
10-25 79
#include <iostream> #include <utility> #include <string> #include <vector> #include <map> #include <set> #include <stack> #include <queue> #include <algorithm> using namespace std; struct EmptyObje
C++ - 非类型模板参数(nontype template parameters) 使用 及 代码
Mystra
12-09 1万+
非类型模板参数(nontype template parameters) 使用 及 代码 本文地址:http://blog.csdn.net/caroline_wendy/article/details/17219921 非类型模板参数(nontype template parameters), 可以使用整型类型(integral type), 指针(pointer) 或者是 引用(reference); 绑定非类型整数
C++非类型模板参数（Non-type template parameters）有什么用？以及如何实现
最新发布
no_to_last的博客
01-14 1518
也就是你可以把一些程序的细节放在编译环节而不是运行环节，这带来的好处之一就是可以把错误放在编译期解决或者性能优化在编译期解决，C++现在在20标准之后越来越注重编译期解决安全错误，有点像Rust。非类型模板形参（Non-type template parameters）是具有固定类型的模板形参，用于作为模板实参传入的constexpr值的占位符。作为模板参数，而不是类型。这样，你可以在编译时确定一些代码的细节，而不是在运行时。这就是把5放到了编译期而不是运行期。而在很多细节方面，这是有很大差异的！
C++模板参数推导
IT_Beijing_BIT的博客
01-15 1222
模板参数推导
最好的 C++ 模板元编程干货！
萧海的博客
07-01 353
链接 | https://www.cnblogs.com/liangliangh/p/4219879.html 所谓元编程就是编写直接生成或操纵程序的程序，C++ 模板给 C++ 语言提供了元编程的能力，模板使 C++ 编程变得异常灵活，能实现很多高级动态语言才有的特性（语法上可能比较丑陋，一些历史原因见下文）。普通用户对 C++ 模板的使用可能不是很频繁，大致限于泛型编程，但一些系统级的代码，尤其是对通用性、性能要求极高的基础库（如 STL、Boost）几乎不可避免的都大量地使用 C++ 模板，一个稍.
cpp代码-模板 泛型 template<typename> template<class>
07-14
模板参数有三种类型：类型参数（Type Parameter）、非类型参数（Non-Type Parameter）和模板模板参数（Template Template Parameter）。 1. 类型参数：使用`typename`或`class`关键字声明，代表一个未知的类型。在...
c++新特性20、17、14、11
07-01 3279
# C++20语言特性 翻译自https://github.com/AnthonyCalandra/modern-cpp-features ## Concepts *Concepts* are named compile-time predicates which constrain types. They take the following form: Concepts被称为编译时谓语，用于约束类型。有如下格式： ```c++ template < template-parameter-
C++之：模板元编程（三） 默认模板参数
weixin_34008784的博客
03-24 442
一、类模板的默认模板参数原则 　　1、可以为类模板的类型形参提供默认值，但不能为函数模板的类型形参提供默认值。函数模板和类模板都可以为模板的非类型形参提供默认值。 　　2、类模板的类型形参默认值形式为： template<class T1, class T2=int> class A{}; 为第二个模板类型形参T...
C++模板元编程（13） 函数模板和函数重载的相互扯皮
热门推荐
二进制君
12-05 1万+
函数模板跟普通函数一样，也可以被重载。 C++编译器优先考虑普通函数 如果函数模板可以产生一个更好的匹配，那么就选择函数模板 // This program uses a function template. #include <iostream> #include <iomanip> using namespace std; // Template definition for square function template <typename T1,typename
C++模板元编程（11）模板全特化和偏特化
二进制君
05-15 5508
文章目录1、C++模板2、C++模板全特化3、C++模板偏特化4、模板类调用优先级 1、C++模板 大家都对C++的模板编程应该都能很熟练使用了，下面就是一段很简单不过的例子了 //模板函数 template<typename T1, typename T2> void func(T1 num1, T2 num2) { } //模板类 template<typename T1, typename T2> class Test { void func(T1 a,T2 b)
C++模板元编程（2）函数模板实例化-显示与隐式
二进制君
04-04 4268
模板的实例化指函数模板（类模板）生成模板函数（模板类）的过程。对于函数模板而言，模板实例化之后，会生成一个真正的函数。而类模板经过实例化之后，只是完成了类的定义，模板类的成员函数需要到调用时才会被初始化。模板的实例化分为隐式实例化和显示实例化。 对函数模板的使用而言，分为两种调用方式，一种是显示模板实参调用（显示调用），一种是隐式模板实参调用（隐式调用）。对于类模板的使用而言，没有隐式模板实参和显式模板实参使用的说法，因为类模板的使用必须显示指明模板实参。各个概念请勿混淆。 首先定义函数模板： templa
C++模板元编程（3）类型模板参数和模板模板参数
二进制君
04-04 3821
前面我们介绍了模板隐式实例化和显示实例化，今天介绍另外一个截然不同的概念，模板具体化。 来说说模板遇到的问题，也就是为什么要有模板具体化方法。模板函数自身有一定的局限性。由于其采用对对象类型的泛化处理，导致其在内部实现的细节上无法保证对所有类型的通用性。 假设定义了如下结构： struct job { char name[40]; double salary; int floor; }; 又假设你希望能够交换这两个结构的内容。原来的模板将使用下面的代码来完成交换： temp = a; a = b;
C++模板元编程（1） 函数模板入门
二进制君
12-05 3818
二进制君对排版做了优化，对内容做了校正和批注。 重载函数使编程变得方便，或者说使得接口对外变得统一，因为对于执行类似操作的一组函数，只要记住一个函数名称即可。但是，每个函数都必须单独编写。例如，来看以下重载的 square 求平方函数： int square(int number) { return number * number; } double square(double number) { return number * number; } 这两个函数之间的唯一区别是它们的返回
C++模板元编程（0）模板编程与泛型编程
二进制君
04-04 3812
什么是元编程 元编程 (metaprogramming) 通过操作 程序实体 (program entity)，在 编译时 (compile time) 计算出 运行时 (runtime) 需要的常数、类型、代码的方法。 一般的编程是通过直接编写 程序 (program)，通过编译器 编译 (compile)，产生目标代码，并用于 运行时 执行。与普通的编程不同，元编程则是借助语言提供的 模板 (template) 机制，通过编译器 推导 (deduce)，在 编译时 生成程序。元编程经过编译器推导得到的程
评论 2
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值