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