指针用法的困惑

rollin7

最近在看C语言接口与实现这本书，被里面的指针用法搞得快崩溃了。现在刚看到序列（seq）这章，其中的一个调用不太理解，望大侠解惑。

1. 
   
2. struct Array_T {
   
3.         int length;
   
4.         int size;
   
5.         char *array;
   
6. };
   
7. 
   
8. struct Seq_T {
   
9.         struct Array_T array;
   
10.         int length;
    
11.         int head;
    
12. };
    
13. typedef struct Seq_T *Seq_T;
    
14. 
    
15. void *Seq_get(Seq_T seq, int i) {
    
16.         assert(seq);
    
17.         assert(i >= 0 && i < seq->length);
    
18.         return ((void **)seq->array.array)[(seq->head + i)%seq->array.length];
    
19. }
    

复制代码

这其中的 ((void **)seq->array.array)[.....]如何理解?

如果按照我自己的做法，会采取这种方式返回： (void *)&(seq->array.array)[......];

circleratio

a[i]即*(a+i)的语法糖，这句返回的是(void **)seq->array.array从开始位置向后移动(seq->head + i)%seq->array.length个sizeof（void *）长度之后所在位置的值。返回值类型是void *，那便是把从当前位置向后sizeof（void *）长度的内容转化为void指针格式（地址）。
以上纯属个人理解。。。

rollin7

circleratio 发表于 2013-06-05 09:37
a即*(a+i)的语法糖，这句返回的是(void **)seq->array.array从开始位置向后移动(seq->head + i)%seq->array ...

你说得没错，早上仔细研究了下，把各地址打印出来分析，基本算是搞清了。不过还是感谢你

(void **)seq->array.array把其转化为一个二级指针，采用[(seq->head + i)%seq->array ...]是把其作为指针数组取第(seq->head + i)%seq->array ...个元素（其也是指针）来使用，最后转化出的地址即为
seq->array->array +  sizeof(void *) * ((seq->head + i)%seq->array.length]);

另外，(void *)&(seq->array.array)[......]用法是错的

linux_c_py_php

一旦你有了二级指针这种国产教材概念, 你就很难理解指针到底是什么了.

zhouqi5063

我觉得size应该是用来指示每个元素的大小，所以答案应该是这样：(void *)&seq->array.array[((seq->head + i) % seq->array.length) * seq->array.size]

rollin7

zhouqi5063 发表于 2013-06-05 15:11
我觉得size应该是用来指示每个元素的大小，所以答案应该是这样：(void *)&seq->array.array[((seq->head +  ...

size确实是用来指示元素大小的，但在此处是用不到size的，因为(void **)已经强制转换了，实际上转换后的array可以理解成为 void *array[n], 即array是含有n个指针的数组，

由于指针在32位机器上需要4个字节，因此
((void **)seq->array.array)[(seq->head + i)%seq->array.length] 它表示返回一个指向
(char)array[(seq->head + i)%seq->array.length *sizeof (void *) ]，
(char)array[(seq->head + i)%seq->array.length *sizeof (void *) +1]，
(char)array[(seq->head + i)%seq->array.length *sizeof (void *) +2]，
(char)array[(seq->head + i)%seq->array.length *sizeof (void *) +3]
这四个字节组合成的地址的指针

(void *)&seq->array.array[((seq->head +  ... 是不正确的，它表示返回一个指向seq->array.array[((seq->head +  ... ]地址的指针

zhouqi5063

回复 6# rollin7


    就是因为是元素大小才不能直接强转为void *的元素，强转是有问题的，要不然这段代码就不通用了

zhouqi5063

(void *)&seq->array.array[((seq->head + i) % seq->array.length) * seq->array.size]    是没有错的，他返回的就是指向所需要元素的地址

zhouqi5063

数据结构里的两个lenth是冗余的，让人用的时候不知所措，一个就够了

shaaben

我理解就是把array[idx]里存的数据强制转化为指针