登录
推荐 文章 Go 技术 课程 下载 专题 AI
首页 >  Golang >  Go问答

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只能补充选择路径信息。

选择路径Indirect与方法声明接收者的区别
选择路径结构说明图: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判断结果。

Outer嵌入指针访问Inner字段与选择标记
嵌入字段结构说明图:字段路径也能涉及指针,非执行流程或截图。

要判断声明就读取原始签名

拿到已完成类型检查的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。

声明:本文转载于:17golang原创 如有侵犯,请联系study_golang@163.com删除
相关阅读
更多>
最新阅读
更多>
课程推荐
更多>