0

0

解析Golang中的Channel发送与接收的底层实现 Go语言hchan源码剖析

P粉602998670

P粉602998670

发布时间:2026-03-15 19:44:31

|

555人浏览过

|

来源于php中文网

原创

决定channel是否带缓冲的关键字段是dataqsiz、buf和qcount:dataqsiz为0时为无缓冲channel,buf仅当dataqsiz>0时非nil,qcount表示当前队列元素数且≤dataqsiz。

解析golang中的channel发送与接收的底层实现 go语言hchan源码剖析

hchan 结构体里哪些字段决定 channel 是否带缓冲

关键就看 qcountdataqsizbuf 这三个字段:dataqsiz 是用户声明的缓冲区大小,为 0 就是无缓冲 channel;buf 指向底层循环队列内存,只有 dataqsiz > 0 时才非 nil;qcount 是当前队列中实际元素个数,它永远 ≤ dataqsiz

常见错误是以为 len(ch) 能反映“剩余容量”,其实它返回的是 qcount(已存元素数),而剩余空间得用 cap(ch) - len(ch) 算——但注意 cap(ch) 对无缓冲 channel 返回 0,别拿它做减法。

  • 无缓冲 channel 的 buf == nildataqsiz == 0,所有收发必须同步配对,否则阻塞
  • 有缓冲 channel 的 buf 在 make 时按 dataqsiz * elem.size 分配,不随元素类型变化而重分配
  • 如果 dataqsiz 很大但元素很大(比如 [1024]byte),buf 会一次性申请巨量内存,容易触发栈溢出或 GC 压力

send 函数如何判断是否能立即写入

核心逻辑在 chansend 中:先检查 qcount ,成立就直接拷贝进 <code>buf 并更新 qcount 和尾指针 sendx;否则进入阻塞流程。这里没有“尝试写入失败就返回 false”的选项——Go channel 不支持非阻塞写(除非用 select + default)。

容易踩的坑是误以为 ch 会像 CSP 里的 alt 那样自动跳过满 channel,实际上它要么成功,要么挂起 <a style="color:#f60; text-decoration:underline;" title="go" href="https://www.php.cn/zt/15863.html" target="_blank">go</a>routine 并加入 <code>sendq 等待被接收方唤醒。

立即学习go语言免费学习笔记(深入)”;

Fotor
Fotor

Fotor 在线照片编辑器

下载
  • 写入时若 elem 类型含指针,runtime 会把值完整拷贝进 buf,不是存指针——所以接收方拿到的是副本,修改不影响发送方
  • 如果 sender 被挂起,它的 goroutine 会被标记为 waiting 状态,并链入 hchan.sendq,由 receiver 在 recv 后调用 goready 唤醒
  • 注意:即使 buf 未满,若此时有 goroutine 正在 recv 并阻塞在 recvq 上,send 会跳过缓冲区,直接把数据拷贝给 receiver,不经过 buf

close(chan) 后还能不能 recv 和 send

close 只改 hchan.closed 字段为 1,不碰 buf 或队列指针。之后:send 立即 panic "send on closed channel"recv 则分情况——若 qcount > 0,正常取走一个元素并返回 true;若 qcount == 0,返回零值 + false。

典型误用是假设 “close 后 recv 一定得到零值”,其实只要缓冲区还有剩,就能继续取到有效值。更隐蔽的问题是:多个 goroutine 并发 close 同一个 channel 会 panic,而 Go 不提供原子 close 检查机制。

  • receiver 无法区分 “channel 已关且无数据” 和 “channel 没关但暂时没数据”,都表现为 val, ok := 中 <code>ok == false
  • 不要依赖 len(ch) == 0 && cap(ch) == 0 来判断是否关闭——这是无效的,关闭状态只能靠接收时的 ok 或 recover panic
  • 关闭前务必确保没有其他 goroutine 正在执行 ch ,否则 race detector 会报数据竞争

为什么 hchan.buf 是 unsafe.Pointer 而不是 []byte

因为 buf 要承载任意类型的元素,而 Go 的 slice 有类型信息和长度字段,无法在编译期确定布局。用 unsafe.Pointer 配合 dataqsizelemsize,才能在运行时做偏移计算和内存拷贝——比如定位第 i 个元素就是 (*elemType)(add(buf, uintptr(i*elemsize)))

这也解释了为什么 channel 不能直接用反射操作缓冲区:reflect 包无法安全地把 unsafe.Pointer 转成可寻址的 slice,强行转换会导致 GC 无法追踪指针,引发悬垂引用。

  • 每次读写 buf 都要算偏移,所以 sendxrecvx 是 uint,不是 int——避免负偏移越界
  • buf 内存来自堆,不受栈逃逸分析影响;但若 dataqsiz 为 0,整个 hchan 结构体可能分配在栈上(取决于逃逸分析结果)
  • 调试时想看 buf 内容?pprof 或 delve 都没法直接 dump,得靠 readmem + elemsize 手动解析,这也是源码难啃的一环

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

WorkBuddy
WorkBuddy

腾讯云推出的AI原生桌面智能体工作台

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
golang如何定义变量
golang如何定义变量

golang定义变量的方法:1、声明变量并赋予初始值“var age int =值”;2、声明变量但不赋初始值“var age int”;3、使用短变量声明“age :=值”等等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

211

2024.02.23

golang有哪些数据转换方法
golang有哪些数据转换方法

golang数据转换方法:1、类型转换操作符;2、类型断言;3、字符串和数字之间的转换;4、JSON序列化和反序列化;5、使用标准库进行数据转换;6、使用第三方库进行数据转换;7、自定义数据转换函数。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

247

2024.02.23

golang常用库有哪些
golang常用库有哪些

golang常用库有:1、标准库;2、字符串处理库;3、网络库;4、加密库;5、压缩库;6、xml和json解析库;7、日期和时间库;8、数据库操作库;9、文件操作库;10、图像处理库。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

356

2024.02.23

golang和python的区别是什么
golang和python的区别是什么

golang和python的区别是:1、golang是一种编译型语言,而python是一种解释型语言;2、golang天生支持并发编程,而python对并发与并行的支持相对较弱等等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

214

2024.03.05

golang是免费的吗
golang是免费的吗

golang是免费的。golang是google开发的一种静态强类型、编译型、并发型,并具有垃圾回收功能的开源编程语言,采用bsd开源协议。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

410

2024.05.21

golang结构体相关大全
golang结构体相关大全

本专题整合了golang结构体相关大全,想了解更多内容,请阅读专题下面的文章。

510

2025.06.09

golang相关判断方法
golang相关判断方法

本专题整合了golang相关判断方法,想了解更详细的相关内容,请阅读下面的文章。

201

2025.06.10

golang数组使用方法
golang数组使用方法

本专题整合了golang数组用法,想了解更多的相关内容,请阅读专题下面的文章。

1519

2025.06.17

TypeScript类型系统进阶与大型前端项目实践
TypeScript类型系统进阶与大型前端项目实践

本专题围绕 TypeScript 在大型前端项目中的应用展开,深入讲解类型系统设计与工程化开发方法。内容包括泛型与高级类型、类型推断机制、声明文件编写、模块化结构设计以及代码规范管理。通过真实项目案例分析,帮助开发者构建类型安全、结构清晰、易维护的前端工程体系,提高团队协作效率与代码质量。

69

2026.03.13

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
Go 教程
Go 教程

共32课时 | 6.3万人学习

Go语言实战之 GraphQL
Go语言实战之 GraphQL

共10课时 | 0.9万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号