嵌入式：指针的指针链表UCOS 的 OSMemCreate 。

Posted 2020-08-28 leonlincq

初看，UCOS 的 OSMemCreate 代码，感觉有点怪怪的，比如，把 指针指向的地址 强制转换成 指针的指针的指向地址 ？那转换后 指针的指针 又是什么？

 

void  OSMemCreate (OS_MEM       *p_mem,
                   CPU_CHAR     *p_name,
                   void         *p_addr,
                   OS_MEM_QTY    n_blks,
                   OS_MEM_SIZE   blk_size,
                   OS_ERR       *p_err)
{
#if OS_CFG_ARG_CHK_EN > 0u
    CPU_DATA       align_msk;
#endif
    OS_MEM_QTY     i;
    OS_MEM_QTY     loops;
    CPU_INT08U    *p_blk;
    void         **p_link;

...

    p_link = (void **)p_addr;                               /* Create linked list of free memory blocks               */
    p_blk  = (CPU_INT08U *)p_addr;
    loops  = n_blks - 1u;
    for (i = 0u; i < loops; i++) {
        p_blk +=  blk_size;
       *p_link = (void  *)p_blk;                            /* Save pointer to NEXT block in CURRENT block            */
        p_link = (void **)(void *)p_blk;                    /* Position     to NEXT block                             */
    }
   *p_link             = (void *)0;                         /* Last memory block points to NULL                       */

 

（1）、p_link = (void **)p_addr;　　　　　  //把 p_addr 的值（即地址）赋给 p_link ，但是，类型不一样，所以 强制转换 。

（2）、p_blk  = (CPU_INT08U *)p_addr;　　//强制转换，因为 p_addr 为 void* 形参 ，任意类型的指针。

（3）、loops  = n_blks - 1u;　　　　　　　　 //循环次数

（4）、for (i = 0u; i < loops; i++) {　　　　 //循环

（5）、 p_blk +=  blk_size;　　　　　　　　  //把地址增加 一个块空间 大小

（6）、*p_link = (void  *)p_blk;　　　　　　//把自增后的地址，赋值给 *p_link ，即写入到 *（p_addr + blk_size ）数组里，因为，在（1）把p_addr 地址给了p_link。

（7）、p_link = (void **)(void *)p_blk;　　 //p_blk，是CPU_INT08U * 类型指针，所以，先强制转换成（void *）任意类型的，然后，再用（void **）强制转换，同1；

（8）、}　　　　　　　　　　　　　　　　　　//循环结束
（9）、*p_link = (void *)0; 　　　　　　　　//在链表结尾赋NULL。

 

在这里，**p_link 无意义，因为 *p_link  相当于*（p_addr + loops * blk_size ），即 数组的值， 那**p_link （*值）是什么？如果这个值，刚好是32位且申请过的空间，如 0x12345678，那么**p_link，也许就有意义了？

 

还有，既然**p_link ，都没用到过，那是否用 一级指针 就行了？没必要用 二级指针？

于是用 Xcode 做了些测试，如下:

1、传统教科书式用法，c -> b ->a

 

2、模仿UCOS的方法，b[0]=（a的地址），b[1]=（a的地址+3）。

2-1、发现有问题，调了下发现，任意类型的指针void *，自增，只增加1？

　　　　后续：后来用MDK试了下，void *，不能++。编译器的原因吧。

 

2-2、试了下地址，增加一个指针大小，就可以了。在这里，sizeof(void *)  = sizeof(long int *) = 8 。用MAC的Xcode测试的。

　　　　后续：这里应该 +sizeiof(long int) 比较好。

 

3、同样模仿UCOS的写法，区别于2，指针类型都用 long int * ，不用 void * 。

3-1、和2相反，用指针自增是对的。

 

3-2、和2相反，加一个指针大小是错的。

 

4、后来，想，既然UCOS，用了指针的指针，但都没用到**p_link，只用到一级指针，那我是否可以把p_link都参数都加上*，变成使用**p_link，和*p_link？

结果一开始就错了。编译没问题，语法没错误，但是，p_p_b没有指向任何地址，不能对*p_p_b赋值。

 

5、对4的修改，与UCOS写法一样用了指针的指针，**p_p_b 相当于**p_link。用**p_p_b来修改外面的数组，用p_p_b来指向不断自增的外面数组的地址，且不需要重复 p_p_b = &p_b（UCOS写法需要，见（7），因为，UCOS，相当于用一级指针，地址改变，需要重复赋地址，而，这里二级指针指向了一个一级指针，一级变，二级会跟踪）。

 

6、再细想，既然UCOS只用到一级指针的效果。那么我是否可以直接用1级指针。

　　　　　　后续：这里有误，本来的效果应该是p_b_1++，类似UCOS的写法，需要 for 不断的p_b_2 = p_b_1

 

至此，结束。