vs2019 STL库里 判断函数类型的模板 is_function_v 与 is_const_v

已于 2024-05-11 19:08:02 修改
阅读量253 收藏
点赞数 1
分类专栏： c++学习总结 c++容器类模板的相关源码分析 c/c++的语法的汇编解释 文章标签： c++ 开发语言
于 2024-05-11 19:07:22 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/zhangzhangkeji/article/details/138724621
版权

（1）源代码如下：

在这里插入图片描述

经简单代码测试后，得出 vs2019 的 c++ 编译器 和 其 STL 库的观点与设计：is_const_v 用来判断类型 T 内是否含有 const 修饰符，含有 const 则返回真。但若 T 是含有 const 的引用类型，或含有 const 的函数类型，则仍然返回假。这是俩特例，可以被 is_function_v 用来筛选函数类型。 给函数类型加上 const 修饰，感觉语义上无法理解，但编译并不报错。所以 STL 库对函数类型的筛选不是通过定义，是通过间接的排除法。

测试如下：

在这里插入图片描述

还有：

在这里插入图片描述
以及：
在这里插入图片描述
以及：

在这里插入图片描述

谢谢

zhangzhangkeji
关注
专栏目录
type_traits
程序员黄老师的精品课！
05-19 733
动机 使用traits的动机一般有三种，分派、效率、使某些代码通过编译。   分派 下面有一个模板函数，假设一个动物收容组织提供了它，他们接受所有无家可归的可怜的小动物，于是他们向外界提供了一个函数接受注册。函数看起来像这样：   template // T表示接受的是何种动物 void AcceptAnimals(T animal) { ...  //do somethin
vs2019中C++模板函数使用
10-03 438
传入多个类型的模板，t1为T1类型的引用，Types&...为传入的多个类型的引用 template<typename T1,typename... Types> void print(const T1& t1, const Types&... Tn) { cout << t1 << endl; print(Tn...); } 单一类型模板使用 template<typename T> void PrintElem..
测试 c++ 之 is_function_v
zhangzhangkeji的博客
09-14 262
在 C++ 中，std::is_function_v 是一个类型特征（type trait），用于检查给定的类型是否为函数类型。它是 C++17 中引入的一个模板元函数，返回一个布尔值，表示给定的类型是否为函数类型。如图，给 is_function_v 传入一个类，为假，传入一个函数对象则为真。
C++ std::is_const的用法
斧冰
08-17 1411
在学习《深入应用C++代码优化与工程级应用》的第3章的时候，运行代码，发现一点印刷错误和自己在vs2017和mingw中运行的结果不同（运行结果以编译器中的为准） #include <iostream> #include <type_traits> int main() { std::cout << std::boolalpha; std::cout << "is_const:" << std::endl; std::cout <&
std::is_function＜void()＞ 和 std::function＜void()＞
m0_74239763的博客
07-10 270
是一个模板类，用于封装任何可调用目标（如函数、lambda 表达式、函数对象、绑定表达式等）。是一个类型特征（type trait），用于在编译时检查某个类型是否是函数类型。它通常用在模板元编程或条件编译中，以根据类型是否为函数类型来选择不同的编译路径。在 C++ 中是完全不同的东西，它们的作用和用途截然不同。它不用于存储或执行函数，而是用于编译时的类型检查和条件编译。它可以用来存储、复制、传递和调用任何符合其签名（在本例中为。它广泛用于需要将回调作为参数传递给函数或类成员函数的场景。
C++标准模板（STL）- 类型支持 （类型特性，is_union，is_class，is_function）
qq_40788199的博客
10-27 448
检查 T 是否为联合体类型。若 T 为联合体类型，则提供等于 true 的成员常量 value 。否则 value ，等于 false 。 检查 T 是否为非联合类类型。若 T 为类类型（但非联合体），则提供等于 true 的成员常量 value 。否则， value 等于 false 。 检查 T 是否为函数类型。如 std::function 、 lambda 、有重载 operator() 的类和指向函数指针不是函数类型。若 T 为函数类型，则提供等于 true 的成员常量 value 。
判断是否是函数类型（学习到了函数和引用没法被const修饰，重新复习了下顶层const和底层const）
此战必胜
02-16 201
//是否是const类型利用特化是实现 template <class> _INLINE_VAR constexpr bool is_const_v = false; // determine whether type argument is const qualified template <class _Ty> _INLINE_VAR constexpr bool is_const_v<const _Ty> = true; template <class _
C++类型支持之std::is_function
Tony的专栏
10-25 1524
std::is_function(C++11)用于检查类型是否为函数，此处函数类型包括std::function, lambda, 有重载operator()的类。 可能的实现： // 初等模板 template<class> struct is_function : std::false_type { }; // 对常规函数的特化 template<class Fn, class... Args> struct is_function<Fn(Args...)> : s
C++优先队列priority_queue
LianYeHeTianTian的博客
02-09 1444
优先队列（priority_queue）是C++标准模版库（STL）标准容器中容器适配器（container adapotor）的一种，复制数据结构中堆（heap）的结构和功能。优先队列是基于底层容器（vector或deque）并通过自动调用算法库里的函数（make_heap、push_heap和pop_heap）来实现堆的属性和功能的。为了维持堆的属性，需要比较排序，其中比较类class Compare容易与比较函数Compare comp混淆，前者用于模版类型参数，传入函数对象类的类型名，后者用函数参数
vector 作为dll 接口参数_DLL中传递STL参数，vector对象作为dll参数传递等问题(转)...
weixin_32822843的博客
12-30 169
STL跨平台调用会出现很多异常，你可以试试.STL使用模板生成，当我们使用模板的时候，每一个EXE，和DLL都在编译器产生了自己的代码，导致模板所使用的静态成员不同步，所以出现数据传递的各种问题，下面是详细解释。原因分析：一 句话-----如果任何STL类使用了静态变量(无论是直接还是间接使用)，那么就不要再写出跨执行单元访问它的代码。除非你能够确定两个动态库使用的 都是同样的STL实现，比如都...
hash_map原理及C++实现
热门推荐
Jackery's Special Column
06-23 1万+
一、数据结构：hash_map原理 hash_map基于hash table（哈希表）。哈希表最大的优点，就是把数据的存储和查找消耗的时间大大降低，几乎可以看成是常数时间；而代价仅仅是消耗比较多的内存。然而在当前可利用内存越来越多的情况下，用空间换时间的做法是值得的。另外，编码比较容易也是它的特点之一。 其基本原理是：使用一个下标范围比较大的数组来存储元素。可以设计一个函数（哈希函数，也叫做散列函数），使得每个元素的关键字都与一个函数值（即数组下标，hash值）相对应，于是用这个数组单元来存储这个元素
boost库------>unordered_set(散列容器)
ooooo12345re的博客
06-13 4366
散列容器（hash container）是一种非常重要的容器类型，它通常比二叉树的存储方式可以提供更高的访问效率。因为散列容器是无序的，因此不需要容器提供operator     unordered库提供两个散列集合类unordered_set和unordered_multiset，它们的用法接口和用法与C++标准里的关联容器set/multiset相同，只是内部使用散列表代替二叉树实现，因此查
c++中左值和右值是什么意思_C++右值引用
weixin_39580124的博客
11-21 289
码字不易，欢迎给个赞！右值引用应该是C++11引入的一个非常重要的技术，因为它是移动语义（Move semantics）与完美转发（Perfect forwarding）的基石：移动语义：将内存的所有权从一个对象转移到另外一个对象，高效的移动用来替换效率低下的复制，对象的移动语义需要实现移动构造函数（move constructor）和移动赋值运算符（move assignment operato...
std::function
weixin_30783913的博客
12-07 466
参考资料 • cplusplus.com：http://www.cplusplus.com/reference/functional/function/ • cppreference.com：http://en.cppreference.com/w/cpp/utility/functional/function std::function简介 • 类模板声明 // MS C+...
VS2019自定义代码模板
qq_31971935的博客
03-18 4755
一、模板下载地址： 本人网盘：https://pan.baidu.com/s/1TnR9geJgUsBa487AH2c2mg 提取码：yqjd 包含文件模板如下： 二、将压缩文件解压到C:\Users\Administrator\Documents\Visual Studio 2019\Templates\ItemTemplates，可在VS中创建新文件时使用。 三、创建dto的时候，会出现如...
STL set
hls0611的博客
11-09 258
练习题：P1059 [NOIP2006 普及组] 明明的随机数。
C++_用 using 语句继承基类的构造函数
学海无涯
11-09 267
**默认情况下**，派生类会继承基类的所有成员，包括数据成员和函数成员，但不会继承基类的**构造函数和析构函数**，因为构造函数和析构函数的作用是创建和销毁对象，派生类通常需要有自己的构造和析构的逻辑。C++11 引入了using语句，使得派生类可以通过 using 关键字使用基类的构造函数，更方便地复用基类的构造逻辑。
2411C++,C++26反射示例
最新发布
个人进步之路
11-13 668
2411C++,C++26反射示例
C++ STL源码解读：vector与hash_set实现机制
STL是C++编程语言的一个重要组成部分，提供了通用的模板类和函数，这些类和函数可以用来操作各种类型的数据结构，如数组、链表、树等。vector是一个动态数组，能够在运行时动态地改变大小，它是一个模板类，可以在...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值