Go types.Selection.Indirect 为什么不等于接收者是指针
来源:17golang原创
时间:2026-11-10 09:37:22 253浏览 收藏
types.Selection.Indirect描述从选择表达式左侧到目标字段或方法的路径是否涉及指针间接访问,不是“方法声明用了指针接收者”的同义词。源码分析工具如果拿它给方法分类,就会把路径信息误当声明信息。
官方API地址:https://pkg.go.dev/go/types#Selection.Indirect
先把声明和选择路径分开
分析一处选择表达式时,需要分清三个问题:左侧操作数的类型是什么、最终选中哪个对象、该方法声明的接收者类型是什么。Selection的Recv、Obj与方法对象的签名分别提供不同信息。Indirect只能补充选择路径信息。

从嵌入指针看出误判来源
package example
type Inner struct { Count int }
type Outer struct { *Inner }
// 外层变量是值类型,选择路径仍要经过嵌入指针
func read(o Outer) int { return o.Count }
// 方法声明的接收者与字段选择不是同一概念
func (i Inner) Value() int { return i.Count }
func (i *Inner) Reset() { i.Count = 0 }
在o.Count中,Outer本身是值类型,但字段来自嵌入的*Inner;路径需要经过指针。它甚至不是方法选择,因此谈不上“该方法用了指针接收者”。若Inner为nil,读取字段还涉及运行时风险;Indirect本身并不提供nil判断结果。

要判断声明就读取原始签名
拿到已完成类型检查的Selection后,可从Obj取得方法对象,再读取其原始Signature。下面是辅助函数,第二个返回值区分“非指针接收者”和“根本不是方法”。该示例使用types.Unalias,需要Go 1.22或之后的工具链。
package analysis
import "go/types"
// 读取方法原始声明;字段选择没有方法接收者
func DeclaresPointerReceiver(sel *types.Selection) (bool, bool) {
if sel == nil { return false, false }
fn, ok := sel.Obj().(*types.Func)
if !ok { return false, false }
sig, ok := fn.Type().(*types.Signature)
if !ok || sig.Recv() == nil { return false, false }
// 第二个布尔值表示确实取得了方法声明信息
_, pointer := types.Unalias(sig.Recv().Type()).(*types.Pointer)
return pointer, true
}不要改用Selection.Type来猜原始声明:方法值和方法表达式的表达式类型会发生适配。工具输出时,建议分别保留选择种类、左侧类型、目标声明和Indirect,后续规则再按任务组合判断。本文示例为静态讲解,未在本机运行。
还有一个历史行为需要保留
官方文档特别说明:当MethodVal选择的接收者实参和形参都是*T时,Indirect仍可能返回true,这是issue #8353保留的历史行为。因此,也不能把true直接解释成运行时一定执行了解引用,更不能只凭它判断某次调用必然panic。
是不是看源码里的星号就够了?
AST适合展示写法;跨文件、嵌入和提升成员的语义分析应结合类型检查结果,声明接收者则回到方法对象。
普通字段也有Selection吗?
有。先检查Kind或Obj类型,再决定读取字段还是方法签名,避免对字段对象强制断言为函数。
官方实现说明:https://go.dev/src/go/types/selection.go。
-
502 收藏
-
502 收藏
-
501 收藏
-
501 收藏
-
501 收藏
-
475 收藏
-
236 收藏
-
322 收藏
-
256 收藏
-
409 收藏
-
438 收藏
-
266 收藏
-
Golang · Go问答 | 10小时前 | 标准库 · 故障排查 · Go问答 · Go 运行时指标 runtime/metrics metrics.Read metrics.Sample metrics.All KindBad198 收藏
-
177 收藏
-
157 收藏
-
269 收藏
-
184 收藏
-
- 前端进阶之JavaScript设计模式
- 设计模式是开发人员在软件开发过程中面临一般问题时的解决方案,代表了最佳的实践。本课程的主打内容包括JS常见设计模式以及具体应用场景,打造一站式知识长龙服务,适合有JS基础的同学学习。
- 立即学习 543次学习
-
- GO语言核心编程课程
- 本课程采用真实案例,全面具体可落地,从理论到实践,一步一步将GO核心编程技术、编程思想、底层实现融会贯通,使学习者贴近时代脉搏,做IT互联网时代的弄潮儿。
- 立即学习 516次学习
-
- 简单聊聊mysql8与网络通信
- 如有问题加微信:Le-studyg;在课程中,我们将首先介绍MySQL8的新特性,包括性能优化、安全增强、新数据类型等,帮助学生快速熟悉MySQL8的最新功能。接着,我们将深入解析MySQL的网络通信机制,包括协议、连接管理、数据传输等,让
- 立即学习 500次学习
-
- JavaScript正则表达式基础与实战
- 在任何一门编程语言中,正则表达式,都是一项重要的知识,它提供了高效的字符串匹配与捕获机制,可以极大的简化程序设计。
- 立即学习 487次学习
-
- 从零制作响应式网站—Grid布局
- 本系列教程将展示从零制作一个假想的网络科技公司官网,分为导航,轮播,关于我们,成功案例,服务流程,团队介绍,数据部分,公司动态,底部信息等内容区块。网站整体采用CSSGrid布局,支持响应式,有流畅过渡和展现动画。
- 立即学习 485次学习