Question

在下面的代码段中，符号*p相当于p[0]，*(p + 1)相当于p[1]，依此类推。

int* p = new int[3] { 1, 2, 3};
cout << *p << ' ' << *(p + 1) << ' ' << *(p + 2) << '\n';
cout << p[0] << ' ' << p[1] << ' ' << p[2] << '\n';

我可以在标准中哪些地方找到这种等价的参考？

Answer 1

这在C ++ 14标准草案5.2.1订阅[expr.sub]（强调我的）草案中有所介绍：

后缀表达式后跟方括号中的表达式是后缀表达式。其中一个表达方式应具有“T的数组”或“指向T的指针”的类型，另一个应具有无范围的枚举或者整数类型。[...] 表达式E1 [E2]与*（（E1）+（E2））相同（按照定义） [注：有关详细信息，请参见5.3和5.7和 +和8.3.4有关数组的详细信息。 - 注意]，

本段引用了5.3的{{1}}部分，其中说明了：

一元*运算符执行间接：它所应用的表达式应该是指向一个的表达式对象类型或指向函数类型的指针，结果是引用对象或函数的左值表达点所指向的。如果表达式的类型是“指向T的指针”，则结果的类型为 “T”。[...]

和*的{{1}}部分说：

当向指针添加或从指针中减去具有整数类型的表达式时，结果具有类型指针操作数。 [...]如果表达式P指向数组对象的第i个元素，表达式（P）+ N（等效地，N +（P））和（P）-N（其中N具有值n）分别指向阵列的第i + n和第i-n个元素对象，只要它们存在[...]

Answer 2

C ++ 14：

5.2.1订阅

我在哪里可以找到标准中对* p和p [0]，*（p + 1）和p [1]之间等价的引用，......？

2 个答案: