※ 引述《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) 是否也为真? 有时候我们探讨指标的时候, 不只要考虑它的型别, 同时也要考虑 我们是透过什麽途径来取得这个指标, 因为指标代表的不仅仅只是 记忆体的位址. -- P1389R0: Guidelines for Teaching C++ to Beginners https://bit.ly/2GvDWKb SG20 Education and Recommended Videos for Teaching C++ https://www.cjdb.com.au/sg20-and-videos --

※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 123.193.76.216 (台湾) ※ 文章网址: https://webptt.com/cn.aspx?n=bbs/C_and_CPP/M.1568215322.A.F75.html ※ 编辑: poyenc (123.193.76.216 台湾), 09/11/2019 23:30:41