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

(1)该模板的源代码如下:

cpp 复制代码
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++ 编译器,依然如咱们学习的知识:把数组名处理成了数组起始地址。如下图:

相关推荐
谭欣辰13 小时前
C++ 哈希表详解
c++·算法·哈希算法·散列表
blasit13 小时前
Qt C++ http服务器安全登录token生成管理
c++·后端·qt
云栖梦泽13 小时前
Linux内核与驱动:GPIO设备树与SPI设备树的区别
linux·运维·c++·嵌入式硬件
三品吉他手会点灯13 小时前
STM32 VSCode 开发-C语言程序运行后,终端中文乱码
c语言·ide·笔记·vscode·stm32·学习·编辑器
南境十里·墨染春水13 小时前
C++笔记——STL list
c++·笔记·list
彷徨而立13 小时前
【C/C++】在头文件中定义全局变量的方法
c语言·开发语言·c++
脱氧核糖核酸__13 小时前
LeetCode热题100——206.反转链表(迭代法)
c++·leetcode·链表
我不是懒洋洋14 小时前
手写一个跳表:从原理到Redis级实现
c语言
小龙报14 小时前
【数据结构与算法】一文拿捏链式二叉树:遍历 + 统计 + 层序 + 完全树
java·c语言·开发语言·c++·人工智能·语言模型·visual studio
做cv的小昊14 小时前
【TJU】研究生应用统计学课程笔记(5)——第二章 参数估计(2.3 C-R不等式)
c语言·笔记·线性代数·机器学习·数学建模·r语言·概率论