我正在读斯蒂芬普拉塔的一本好书。不幸的是我不明白。它是关于数组和指针。所以有阵列选项卡。 他写道,该标签是数组第一个元素的地址 - >那没问题, 但& tab是整个数组的地址< - 我不明白这一点。 这是什么意思? & tab显示数组的所有地址(当然不是),数组所有元素的中间地址,最后一个?
答案 0 :(得分:1)
在C和C ++中,指针有两个方面:
tab
和&tab
表示相同的地址,但它们的类型不同。它们表示不同的对象:&tab
是一个大数组,tab
(又名。&tab[0]
)是该数组的子对象。
这种情况没有什么不同:
struct S
{
int x;
int y;
};
S s;
S *p1 = &s;
int *p2 = &s.x;
在这种情况下,p1
和p2
都指向相同的地址,但它们具有不同的类型,并指向占据相同空间的不同对象。
答案 1 :(得分:0)
tab是数组
的第一个元素的地址
这是正确的,对于char arr[1];
你可以写char* p = arr;
,这里我们说arr衰变指向它的第一个元素。
& tab是整个数组的地址
这意味着它的 类型 是指向数组的指针,即。 char(*)[1]
。它们的指针值(arr和& arr)相等但类型不同。所以下面将编译:
char (*pp)[1] = &arr; // pointer to array
char (&rp)[1] = arr; // reference to array
但这不会编译:
char* pp = &arr; // error, types differ
您可以使用以下技巧来查找给定表达式/变量的确实类型。编译器将显示一个错误,您可以从中读取实际类型:
template <typename T>
struct TD;
int main()
{
char arr[1];
//char* pp = &arr; // error, types differ
TD<decltype(arr)> dd; // is char[1], no decay to char* here
TD<decltype(&arr[0])> dd; // is char*
//TD<arr> dd; // char(*)[1]
}