C++高级技巧之模板参数的类型约束

已于 2023-04-05 02:56:32 修改
阅读量2.7k 收藏 5
点赞数 1
分类专栏： C++语法 文章标签： c++ 开发语言
于 2023-04-05 02:52:47 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/m0_60259364/article/details/129965365
版权

自C++11 开始 引入了 type_traits头文件，包含C++的编译时常量的模板和提供有关其类型参数的属性的信息或生成转换类型。其中包括了非常多与类型信息有关的类。

介绍std::enable_if 对类模板参数的约束，效果如下:

 

 关于std::enable_if的定义，可以参见C++标准库中的定义。

std::enable_if 有两个模板参数，参数1是一个bool值，若结果为true，则可以使用模板参数2的类型，否则模板参数2未定义。

参数1通过使用std::is_XXX来进行约束，std::is_XXX返回一个bool，如果类型匹配，则返回true，否则返回false。通过std::is_XXX<Type>::value来获取bool值

这里列举几个：

std::is_void         如果类型为void，则返回true，否则为false
std::is_integral 如果类型为整数(除doule和float类型之外的所有整数类型
最低0.47元/天 解锁文章
C++20新特性—模板类型约束(concept)
guxch的专栏
12-08 7490
模板编程中，类型是一种输入参数，对某一具体模板类，多数情况下，并不是所有的类型都适合，类型必须符合某种要求，模板类型约束就是在编译期，用于限制模板参数。其实在C++11的type_traits中，就有很多类似于is_const、is_base_of、enable_if、conditional这样的类型判断，类型选择，类型操作等函数，它们在编译期施加到类型参数上，起到了类型限制等作用。 C#中，早就引入where关键字，来进行泛型约束。这里C++中也为此引入两个关键字requires和concept，将类型
C++模板编程
如无必要，勿增实体。
09-21 1563
C++模板编程是一种强大的工具，它允许程序员编写与类型无关的代码，从而提高代码的复用性和灵活性。通过函数模板和类模板，程序员可以编写通用的函数和类，处理各种类型的数据。此外，模板还支持特化、元编程和变长参数等高级特性，进一步扩展了其应用范围。
c++模板约束
weixin_41626273的博客
03-02 576
这个时候不需要编译，ide已经提示我们输入了错了的参数，如果我们编译一下。在倒数第二行，我们传入了错误的参数，他的报错是这样的。模板编程的错误信息非常难读，例如下面例子。
C++ -模板
最新发布
夜泉的博客
02-16 1373
模板简介
【C++】实现模板参数约束
凡心所向，素履以往
09-27 603
由于c++模板参数的约束是C++20之后的标准，如果之前的C++标准想要实现类似的效果可以通过添加这段代码。
c++,限制类模板
个人进步之路
02-03 917
元<类 B,型名=允许如型<...<B>::值>> 类 A{ };
现代C++编程实战28-Concepts：如何对模板进行约束
fegus的博客
04-25 655
你好，我是吴咏炜。从这一讲开始，我们进入了未来篇，展望一下即将在 C++20 出现的新功能。我们第一个要讨论的，是 concepts（概念）——一个难产了很多年才终于进入 C++ 的新功能。
C++类模版中限定模版参数类型
m0_66802392的博客
08-10 484
这里我们实现一个大小比较的的模版类，如下。然而这样的实现方式，当传入模版参数为指针时，比较的就是指针的地址。运行如下代码运行结果有如下两种情况 ，其原因是因为实际上meless()比较的是a与b的地址。
C++模板编程高级实践：类型萃取与SFINAE的核心技巧
[C++模板编程高级实践：类型萃取与SFINAE的核心技巧](https://www.modernescpp.com/wp-content/uploads/2019/02/comparison1.png) # 1. C++模板编程入门 在现代C++编程中，模板是实现类型安全和代码复用的强大工具...
C++模板元编程： constexpr与非类型模板参数的探索之旅
[C++模板元编程： constexpr与非类型模板参数的探索之旅](https://www.modernescpp.com/wp-content/uploads/2019/02/comparison1.png) # 1. C++模板元编程概述 ## 1.1 模板元编程的定义 模板元编程（Template ...
C++——深入理解模板类
JAN6055的博客
01-26 732
基于《C++ Primer Plus》 对模板类的更进一步探索
C++类模板,也可以有模板约束.
个人进步之路
11-25 702
#include <常用> 构 E{ 空 啊(){ 打印("啊"); } }; 元<类 T>概念 有啊=要求(T&t){t.啊();}; 构 F{ 空 哈哈(){ 打印("啊"); } }; 元<有啊 T> 构 B{ 空 哈哈(){ T t;t.啊(); 打印("T"); } }; 空 主(){ B<E> b;b.哈哈();
C++如何限制模板类的类型
xktesla的专栏
12-29 4153
在使用泛型编程时，有时候会有类似需求：要求T只能为某个类，或某几个类，那应该如何实现？据我所知有3中： 使用模板函数； 使用typeid函数； 巧用static_cast； 前两种学习理解起来都比较复杂，以后有空了再更，暂时只介绍第3种，示例和方法如图： ...
模板函数限制参数为特定类型
artorias123的博客
06-20 6530
问题 最近要写一个模板函数，要求是必须被指定的类型才能执行，未被指定的类型要求报错。 注册器模板类 其实所谓接受指定类型作为参数就是对类型进行注册，凡是注册过的类型才能传入模板，非注册类型应当匹配失败，所以直接使用一个模板类的特化来实现注册。 template <typename T> struct Register{}; template <> struct Register<myint> { typedef myint Type; constexpr stat
C++模板----限制模板只能某些已知类型进行实例化
FAS ------ 一颗好奇心，一页好代码！
06-30 9130
可能有时候我们需要限定我们所编写的模板的应用范围，我们可以通过下面的方式实现.实现一个模板只能定义应于特定的几种类型
c++这样限定模板参数.
个人进步之路
01-07 585
#include <常用> 元<类...A,类...B> 要求 都是<串,A...>&&都是<整,B...> 空 打印啊(无序映<A,B>&...t){ (打印(t.大小()),...); } 元<类...A> 空 打印啊(向量<A>&...t){ (打印(t.大小()),...); } 空 主(){ 无序映<串,整>啊,呀;向量<串>哈,a,b
C/C++ 泛型模板约束
liulilittle的博客
09-19 1734
上述适用于泛型模板类/结构体，同理泛型模板函数仍可以增加泛型约束，只是没有办法向模板类型一样可以明确的约束T到底需要是什么类型，这取决于模板函数内部的实现，根代码粘合剂差不多，但不意味着不能精确限制那些T类型。约束 template_get_size 泛型T只允许接受类型：list，其实为 C/C++ 泛型模板例化特性，但与泛型模板例化略微有些区别，因为是带泛型类型约束条件的特例化。约束T必须是A类或其派生类型，但使用该模板函数的开放人员只有两个途径搞清楚T到底被约束为什么。CPP参考：（新标准）
关于c++内部链接和非类型模版参数的限制
loveyesir的专栏
04-06 1372
<br />在说内部连接与外部连接前，先说明一些概念。 <br />　　1.声明<br />　　一个声明将一个名称引入一个作用域;<br />　　在c++中，在一个作用域中重复一个声明是合法的<br />　　以下都是声明：<br />　　int foo(int,int); //函数前置声明<br />　　typedef int Int; //typedef 声明<br />　　class bar; //类前置声明<br />　　extern int g_var; //外部引用声明<br />　　class
评论 2
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值