关于 c++的模板库中的数组模板 is_array_v的测试

zhangzhangkeji

于 2024-05-05 15:32:13 发布

阅读量244

点赞数 2

分类专栏： c++学习总结 c++容器类模板的相关源码分析文章标签： c++ c语言

本文链接：https://blog.csdn.net/zhangzhangkeji/article/details/138467288

版权

c++学习总结同时被 2 个专栏收录

82 篇文章 0 订阅

订阅专栏

c++容器类模板的相关源码分析

26 篇文章 0 订阅

订阅专栏

文章介绍了C++中模板的使用，特别是如何通过模板判断类型是否为数组，以及在测试代码中展示了类型B和类型C的不同。同时，详细讨论了数组名arr与&arr的区别，指出C++编译器将数组名视为数组起始地址的基本行为。

摘要由CSDN通过智能技术生成

（1）该模板的源代码如下：

template <class>    // determine whether type argument is an array
bool is_array_v = false;

template <class _Ty, size_t _Nx>
bool is_array_v<_Ty[_Nx]> = true;

template <class _Ty>
bool is_array_v<_Ty[]> = true;

（2）测试代码如下，主要是如何给该模板传递模板参数
在这里插入图片描述
这里涉及了 c/c++ 里类型的语法定义：类型 B 视为数组，存储了三个 char 指针。类型 C 视为指针类型，指向具有三个 char 元素的数组。

（3）再谈谈数组名 arr 与 &arr 的区别：
在这里插入图片描述
如图，对于变量名 b ，使用 b 代表使用 b 中的值，使用 &b 代表使用变量 b 的地址。对于数组名 a 而言，使用名称 a 代表使用数组的起始地址，使用 &a 也是使用数组的起始地址。两者是相同的。在监视窗口，c++ 编译器也是如此处理的。但图中代码上还是有不同的效果。
但可见 c++ 编译器，依然如咱们学习的知识：把数组名处理成了数组起始地址。如下图：
在这里插入图片描述