将索引放在指针后面的 [] 括号内是什么意思？ [复制]

Question

我正在研究一些 C 代码只是为了理解，我发现了一个在 [] 之间有索引的指针，就像它是一个数组一样（如“pointer[i]”）；我不明白它是什么意思或它是如何工作的

这是我找到它的一段代码：

struct turing_machine_t{
    struct linked_list_t*** transitions;
    bool* acceptors;
    unsigned int max_steps;
    unsigned int num_states;
};

void delete_turing_machine(struct turing_machine_t* tm){ 
    int i,j;
    for(i = 0; i < tm->num_states; i++){
        if(tm->transitions[i] != NULL){
            for(j = 0; j < ALPHABET_SIZE; j++){
                struct linked_list_t* tl = tm->transitions[i][j];

                //after here there are just some free

它来自图​​灵机模拟器，但这并不重要； 如果我是正确的，transition 是一个三重指针，但它是什么意思 transition[i] 和 transition[i][j]？如果不是数组，这些索引是什么意思？

Answer 1

如果指针ptr 指向一组连续的对象，那么ptr[i] 将引用该组的第i+1 个元素，就像ptr 是一个数组一样。 tm->transitions 和 tm->transitions[i] 可能就是这种情况。

Answer 2

tl;dr 数组的行为类似于指针，您可以在指针上使用数组表示法。

---

transition 是一个三重指针。这意味着它是

a pointer to
a pointer to
a pointer to
a `struct linked_list_t`

它也可以解释为 3D 数组，因为这实际上是数组在幕后工作的方式。 The following two syntaxes are functionally identical:

int a = array[index];
int a = *(array + index);

数组略有不同，因为如果它们是在范围内创建的，那么您使用的任何 IDE 或静态分析工具通常都会跟踪它们的范围，但编译器会以相同的方式处理它们。这是有效的，因为当你对这样的指针进行算术运算时，编译器基本上会将index 乘以sizeof(*array)（与sizeof(array[0]) 相同。

也就是说，array + 1 是一个指向紧跟在为array 分配的内存地址的指针。 array + 2 是指向之后的内存地址的指针，假设它的大小与array 相同。 array + 3 是那个之后的内存地址，以此类推。

因此，括号操作基本上是指针运算的语法糖。表达式transitions[i][j] 可以认为是：

1. transitions 是一个包含指针大小元素的数组
2. 从transitions（即*(transitions + i)）获取ith指针大小元素的值
3. 我们刚刚得到的值（我们称之为pointer_val）本身就是一个指向指针大小元素数组的指针。
4. 从pointer_val（即*(pointer_val + j)，或简写为*(*(transitions + i) + j)）获取jth 指针大小元素的值
5. 我们刚刚得到的值是一个指向linked_list_t的指针，我们将它赋值给一个变量tl。

注意transitions 的定义中有三个星号。我们在这里考虑了所有这些——前两个在数组索引中，第三个在我们分配的linked_list_t* 中。