c++ - 指向数组 c++ 的指针

Question

下面的代码在做什么？

int g[] = {9,8};
int (*j) = g;

据我了解，它创建了一个指向 2 个整数数组的指针。但是为什么这会起作用：

int x = j[0];

这不起作用：

int x = (*j)[0];

Answer 1

在您的示例中，括号是多余的。指针不关心是否涉及数组——它只知道它指向一个int

  int g[] = {9,8};
  int (*j) = g;

也可以改写为

  int g[] = {9,8};
  int *j = g;

也可以改写为

  int g[] = {9,8};
  int *j = &g[0];

指向数组的指针看起来像

  int g[] = {9,8};
  int (*j)[2] = &g;

  //Dereference 'j' and access array element zero
  int n = (*j)[0];

在此链接中可以很好地阅读指针声明（以及如何理解它们）：http: //www.codeproject.com/Articles/7042/How-to-interpret-complex-CC-declarations

Answer 2

int g[] = {9,8};

这声明了一个 int[2] 类型的对象，并将其元素初始化为 {9,8}

int (*j) = g;

这声明了一个 int * 类型的对象，并使用指向 g 的第一个元素的指针对其进行初始化。

第二个声明用 g 以外的东西初始化 j 的事实很奇怪。C 和 C++ 只是对数组有这些奇怪的规则，这就是其中之一。在这里，表达式g从引用对象 g 的左值隐式转换为指向 gint*的第一个元素的类型的右值。

这种转换发生在几个地方。事实上，当你这样做时，它就会发生g[0]。数组索引运算符实际上不适用于数组，仅适用于指针。因此该语句int x = j[0];有效，因为g[0]恰好执行了与j初始化时相同的隐式转换。

指向数组的指针是这样声明的

int (*k)[2];

你是完全正确的关于如何使用它

int x = (*k)[0];

（注意“声明遵循使用”，即声明类型变量的语法模仿使用该类型变量的语法。）

但是，通常不使用指向数组的指针。围绕数组的特殊规则的全部目的是让您可以像使用数组一样使用指向数组元素的指针。所以惯用的 C 通常不关心数组和指针不是一回事，而且规则阻止你直接对数组做很多有用的事情。（例如，您不能复制数组，例如int g[2] = {1,2}; int h[2]; h = g;：）

---

例子：

void foo(int c[10]); // looks like we're taking an array by value.
// Wrong, the parameter type is 'adjusted' to be int*

int bar[3] = {1,2};
foo(bar); // compile error due to wrong types (int[3] vs. int[10])?
// No, compiles fine but you'll probably get undefined behavior at runtime

// if you want type checking, you can pass arrays by reference (or just use std::array):
void foo2(int (&c)[10]); // paramater type isn't 'adjusted'
foo2(bar); // compiler error, cannot convert int[3] to int (&)[10]

int baz()[10]; // returning an array by value?
// No, return types are prohibited from being an array.

int g[2] = {1,2};
int h[2] = g; // initializing the array? No, initializing an array requires {} syntax
h = g; // copying an array? No, assigning to arrays is prohibited

---

因为数组与 C 和 C++ 中的其他类型非常不一致，所以您应该避免使用它们。C++std::array的一致性要高得多，当您需要静态大小的数组时应该使用它。如果您需要动态大小的数组，您的第一个选择是 std::vector。

Answer 3

j[0];取消引用指向 的指针int，因此其类型为int.

(*j)[0]没有类型。*j取消引用指向 an 的指针int，因此它返回 an int，并(*j)[0]尝试取消引用 an int。这就像在尝试int x = 8; x[0];。