当前位置:首页 > 文章列表 > Golang > Go问答 > Go select 同时命中多个 case 为什么结果不固定

Go select 同时命中多个 case 为什么结果不固定

来源:17golang原创 2026-09-12 14:54:47 0浏览 收藏

你在两个 channel 都已经有值时,发现同一段 select 有时走第一个 case,有时走第二个,这不是 Go 失去确定性,而是代码正好进入了语言规定的竞争场景。

如果多个通信操作在进入选择点时都能继续,Go 会从这些可继续的 case 中做一次均匀伪随机选择;case 的源码顺序不是优先级。需要固定业务顺序时,要把优先级写进额外的控制结构。
要点速览
  • select 先求值 channel 操作,再判断哪些通信可继续。
  • 多个 ready case 只执行一个,不能依赖“第一个 case 先执行”。
  • 优先级、取消和稳定测试都应通过结构或状态显式表达。

问题现场:两个 case 都 ready 时发生了什么

select 不是按上到下的 switch。接收 case 的 channel 操作、发送 case 的 channel 和待发送值,会在进入 select 时按源码顺序各求值一次。求值完成后,若有一个或多个通信可以继续,就只选择一个;没有可继续通信时才考虑 default,没有 default 则阻塞。

因此,下面两路都 ready 时,结果不由 case 排列决定:

Go select 两个 ready channel 同时可通信时通过均匀伪随机选择一个 case 的结构示意图
图1:Go select 遇到多个可通信 case 时的选择关系示意图;源码顺序不是优先级。

这里的“伪随机”是规范层面的选择规则,不等于严格的轮询、绝对公平或可以预测下一次结果。业务代码应只依赖“一个可继续的通信会被选中”,不要依赖长期比例。

动手验证:最小程序为什么每次可能不同

package main

import "fmt"

func main() {
	a := make(chan string, 1)
	b := make(chan string, 1)
	a 

每次启动程序时,A 或 B 都可能被打印,但一次 select 只消费其中一个值。把两个 case 对调也不能把结果变成固定顺序。这个实验只能说明“多个 case 同时可通信时由选择规则决定”,不能用来推断某个运行时的长期公平性。

读懂三个容易混淆的边界

场景select 的行为代码判断
只有一个通信可继续选择它结果相对确定
多个通信可继续均匀伪随机选一个不要依赖 case 顺序
没有通信可继续有 default 就走 default,否则阻塞default 不是优先级开关
channel 为 nil该通信永远不能继续可用来动态禁用某个分支

还要留意 case 表达式的副作用:channel 表达式和发送值会先求值,即使最后没有选中那个 case。把函数调用塞进 case 右侧,不能把它当成“只有选中后才执行”。

需要固定优先级时,先把业务规则写进结构

如果高优先级消息已经在队列里,希望本轮先处理它,可以先做一次只检查高优先级 channel 的非阻塞探测,再决定是否进入普通竞争。这个写法表达的是“探测时 high 优先”,而不是承诺整个程序永远忽略 low:

func receive(high, low 
Go select 普通随机竞争与 priority probe 加 fallback select 的确定性结构对比图
图2:先探测高优先级 channel、再进入普通 select 的确定性改造示意图。

如果需求是严格的全局优先级,单个 select 很难直接表达,还要考虑 low 已经被选中、high 在等待期间到达、消息是否允许饥饿等状态。更稳妥的做法是让一个调度 goroutine 统一收取消息,或使用显式队列和状态机。

常见问题

把 case 顺序调整一下,能不能让第一个优先?

不能。case 顺序影响表达式求值顺序,但多个通信都 ready 时的选择不是按源码顺序。要优先级就增加探测、队列或调度状态。

select 里的 default 会不会先执行?

不会。只要至少一个通信可以继续,default 就不会被选中;只有所有通信都暂时不能继续时,它才提供非阻塞分支。

测试里能不能断言一定收到 high?

只有当测试先建立了“low 不可通信”或使用了显式优先级结构时才能这样断言。两个 case 同时 ready 的普通 select 不应断言固定分支,否则测试会产生偶发失败。

排查这类问题时,先记录每个 channel 在选择点是否真的可通信,再确认代码是否把随机选择误当成业务排序。语言语义没有错,真正需要修的是未被明确表达的优先级。

版本声明
本文转载于:17golang原创 如有侵犯,请联系study_golang@163.com删除
Docker Compose 构建缓存为什么没有命中Docker Compose 构建缓存为什么没有命中
上一篇
Docker Compose 构建缓存为什么没有命中
LLM 评测集如何覆盖拒答和边界案例
下一篇
LLM 评测集如何覆盖拒答和边界案例
查看更多
最新文章
查看更多
课程推荐
  • 前端进阶之JavaScript设计模式
    前端进阶之JavaScript设计模式
    设计模式是开发人员在软件开发过程中面临一般问题时的解决方案,代表了最佳的实践。本课程的主打内容包括JS常见设计模式以及具体应用场景,打造一站式知识长龙服务,适合有JS基础的同学学习。
    543次学习
  • GO语言核心编程课程
    GO语言核心编程课程
    本课程采用真实案例,全面具体可落地,从理论到实践,一步一步将GO核心编程技术、编程思想、底层实现融会贯通,使学习者贴近时代脉搏,做IT互联网时代的弄潮儿。
    516次学习
  • 简单聊聊mysql8与网络通信
    简单聊聊mysql8与网络通信
    如有问题加微信:Le-studyg;在课程中,我们将首先介绍MySQL8的新特性,包括性能优化、安全增强、新数据类型等,帮助学生快速熟悉MySQL8的最新功能。接着,我们将深入解析MySQL的网络通信机制,包括协议、连接管理、数据传输等,让
    500次学习
  • JavaScript正则表达式基础与实战
    JavaScript正则表达式基础与实战
    在任何一门编程语言中,正则表达式,都是一项重要的知识,它提供了高效的字符串匹配与捕获机制,可以极大的简化程序设计。
    487次学习
  • 从零制作响应式网站—Grid布局
    从零制作响应式网站—Grid布局
    本系列教程将展示从零制作一个假想的网络科技公司官网,分为导航,轮播,关于我们,成功案例,服务流程,团队介绍,数据部分,公司动态,底部信息等内容区块。网站整体采用CSSGrid布局,支持响应式,有流畅过渡和展现动画。
    485次学习
查看更多
AI推荐
  • H2O EvalGPT:开源LLM大模型评估与排行榜工具
    H2O EvalGPT
    H2O EvalGPT是H2O.ai推出的开源LLM评估平台,提供详细的大模型性能排行榜、行业特定基准测试及A/B测试功能,助您快速选择最适合项目的高性能大语言模型。
    101次使用
  • LMArena是什么?伯克利AI模型评估平台使用指南与功能解析
    LMArena
    LMArena是加州大学伯克利分校推出的AI模型匿名评测平台。通过盲测投票机制,用户可对比不同大模型回答并生成实时排行榜,助力开发者优化模型及用户选择最佳AI工具。
    15次使用
  • OpenCompass大模型评测体系详解:功能、使用指南与应用场景
    OpenCompass
    OpenCompass是上海AI实验室推出的开源大模型评测平台,提供CompassKit、CompassHub和CompassRank三大核心组件,支持LLM及多模态模型的一站式标准化评估与排行榜查询。
    29次使用
  • AGI-Eval大模型评测平台:权威榜单、数据集与人机协同评测方案
    AGI-Eval
    AGI-Eval是由上海交大等高校联合发布的大模型评测社区,提供公正透明的LLM能力榜单、多领域评测集及Data Studio数据服务,助力AI模型性能评估与NLP科研开发。
    16次使用
  • SuperCLUE中文大模型评测基准:功能、能力维度与应用指南
    SuperCLUE
    SuperCLUE是权威的中文大语言模型综合评测基准,涵盖语言理解、知识应用、AI Agent智能体及安全性等12项核心能力。通过多轮对话与客观测试,定期发布榜单与技术报告,为模型研发、优化及行业选型提供科学依据。
    255次使用
微信登录更方便
  • 密码登录
  • 注册账号
登录即同意 用户协议隐私政策
返回登录
  • 重置密码