当前位置:首页 > 文章列表 > Golang > Go问答 > Go types.Selection.Indirect 为什么不等于接收者是指针

Go types.Selection.Indirect 为什么不等于接收者是指针

来源:17golang原创 2026-11-10 09:37:22 0浏览 收藏

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删除
手机壁纸提示词:亚麻折帆怎样在细纹理中留下透气空隙手机壁纸提示词:亚麻折帆怎样在细纹理中留下透气空隙
上一篇
手机壁纸提示词:亚麻折帆怎样在细纹理中留下透气空隙
Go types.SelectionString 怎样给字段选择签名添加包限定名
下一篇
Go types.SelectionString 怎样给字段选择签名添加包限定名
查看更多
最新文章
查看更多
课程推荐
  • 前端进阶之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推荐
  • PubMedQA数据集详解:生物医学问答基准、功能与应用指南
    PubMedQA
    深入了解PubMedQA生物医学问答数据集,涵盖其核心功能、使用方法及在临床决策、药物研发等场景的应用,助力提升NLP模型性能。
    966次使用
  • H2O EvalGPT:开源LLM大模型评估与排行榜工具
    H2O EvalGPT
    H2O EvalGPT是H2O.ai推出的开源LLM评估平台,提供详细的大模型性能排行榜、行业特定基准测试及A/B测试功能,助您快速选择最适合项目的高性能大语言模型。
    969次使用
  • LMArena是什么?伯克利AI模型评估平台使用指南与功能解析
    LMArena
    LMArena是加州大学伯克利分校推出的AI模型匿名评测平台。通过盲测投票机制,用户可对比不同大模型回答并生成实时排行榜,助力开发者优化模型及用户选择最佳AI工具。
    1078次使用
  • 斯坦福HELM:大语言模型Holistic Evaluation整体评估框架详解
    HELM
    深入了解斯坦福推出的HELM(Holistic Evaluation of Language Models)大模型评测体系。本文解析其核心功能、安装配置步骤及应用场景,涵盖准确性、公平性、鲁棒性等多维度指标,助力开发者全面优化语言模型性能。
    1058次使用
  • MMBench详解:多模态大模型基准测试、功能特点与使用指南
    MMBench
    MMBench是由上海人工智能实验室等机构联合推出的多模态基准测试平台,提供细粒度能力评估、大规模数据集及VLMEvalKit工具。本文详细介绍其核心功能、安装使用方法及应用场景,助力开发者全面评估多模态模型性能。
    891次使用
微信登录更方便
  • 密码登录
  • 注册账号
登录即同意 用户协议 和 隐私政策
返回登录
  • 重置密码