※ 引述《ac01965159 (leeleo)》之铭言：
: 最近在练习写程式的时候碰到一些问题，想来请教一下，以下是程式码：
: https://pastebin.com/pzgHN0bt
: 执行结果：
: https://i.imgur.com/9v2nirr.jpg
: 有两个问题：
: 1.我的想法是，a为一个储存a[0]的位置的指标，而a[0]又存放著指向a[0][0]资料的指
: 标，但是照理说，这两笔资料不是应该存在不同位置的吗？
: 2.那既然上面都已经输出了相同的地址，那我把一样的地址拿去取值，却得到不一样的
: 结果，不知道原因为何。
这个误会有点大, 不过只要补足几个观念就可以:
1. C/C++ 没有多维阵列, 但是有阵列的阵列
2. 阵列可以转型成指标 (array to pointer conversion), 反
过来则不行. 例如: array of T 可以转型成 pointer to T.
3. 对指标或阵列 x 使用 operator[] 作下标 (subscripting)
运算得到的是 *((x) + (i)) (i 为整数型别)
考虑以下定义:
int ai[10]; // array of 10 int
int aai[20][10]; // array of 20 array of 10 int
int aaai[30][20][10]; // array of 30 array of 20 array of 10 int
用阵列的阵列去抽丝剥茧就可以厘清各种叙述的型别 (反而用
多维阵列去理解会卡关), 以你的程式码而言, 虽然 std::cout 印
出的値一样, 但是叙述型别却很不同:
┌───┬─────┐
│ 叙述 │ 型别 │
├───┼─────┤
│ a │int[2][2] │
├───┼─────┤
│ a[0] │ int[2] │
└───┴─────┘
对于型别不同的两个叙述, 不管得到的指标値是否相同, 它的意义
本质上就不一样. 可以用下面的程式码观察看看:
cout << (a + 1) << endl;
cout << (a[0] + 1) << endl;
对阵列的操作和指标基本上类似, 不管是下标还是用 operator+ 作
运算, 都需要先知道每个元素所占的空间大小:
int x[2];
int y[3][4];
assert(
reinterpret_cast<char*>(&x[1])
== reinterpret_cast<char*>(x)
+ 1 * sizeof(int)
);
assert(
reinterpret_cast<char*>(&y[2][0])
== reinterpret_cast<char*>(y)
+ 2 * sizeof(int[4])
+ 0 * sizeof(int)
);
另外留个小问题给原PO思考:
给定两个 int 物件 a 和 b, 已知叙述: &a + 1 == &b 为真,
试问叙述: *(&a + 1) == *(&b) 是否也为真?
有时候我们探讨指标的时候, 不只要考虑它的型别, 同时也要考虑
我们是透过什么途径来取得这个指标, 因为指标代表的不仅仅只是
内存的位址.