咨询：返回值时赋值的get_block函数语句逻辑解析

先把你同事的代码贴出来，方便一步步拆解分析：

block_t *get_block(void *p) {
    char *tmp;
    tmp = p;
    return (p = tmp -= 16);
}

逐行拆解核心逻辑 #

• 指针类型转换的意义
  tmp = p; 这一步把传入的void*指针p转换成了char*类型。之所以用char*，是因为C语言中char的固定大小是1字节，用它做指针加减时，会严格按照字节数来偏移，能精准控制内存地址的移动幅度。

• 关键的地址偏移操作
  返回语句里的tmp -= 16是核心：它将tmp指针往内存的低地址方向（也就是“往前”）移动了16个字节。换句话说，用户传入的p是某块可直接使用的内存起始地址，而tmp现在指向了这个地址前面16字节的位置。

• 合并式返回语句的拆解
  那条看起来复杂的返回语句return (p = tmp -= 16);，其实是把多个操作合并成了一行，拆解后等价于：

  tmp = tmp - 16;  // 指针向前偏移16字节
  p = tmp;         // 把偏移后的地址赋值给p（这一步完全多余，因为p是函数的传值参数，修改它不会影响外部变量）
  return (block_t*)p;  // 将指针转换为block_t*类型返回
  

  括号是为了保证运算顺序：-=的优先级高于=，所以先执行指针偏移，再赋值给p，最后返回时会自动把指针类型转换成函数要求的block_t*。

这个函数的实际意图 #

你同事说它“返回结构和地址”，本质是：这个函数用于获取内存块元数据的地址。通常在自定义内存分配器（比如实现类似malloc的功能）中，会在用户实际使用的内存块前面，预留一段空间存储元数据（比如block_t结构体，里面可能包含块的大小、是否空闲、链表指针等信息）。用户拿到的p是可直接用的内存地址，而get_block(p)就是要找到这段元数据的起始位置——也就是p往前16字节的地方（这里16字节应该是block_t结构体的大小，或者是对齐后的尺寸）。

更清晰的写法优化 #

原代码里的p = tmp完全是冗余操作，因为传值参数的修改不会影响外部变量。可以把代码简化成更直观的版本：

block_t *get_block(void *p) {
    // 直接转换类型后偏移16字节，再转回目标类型返回
    return (block_t*)((char*)p - 16);
}

这种写法一眼就能看出是对指针做了16字节的向前偏移转换，可读性高很多。

内容的提问来源于stack exchange，提问作者Baptiste LN