douzhao7445 2019-03-06 21:18
浏览 30

类型系统的浅层接口匹配如何解决? (协变量结果类型)

The delightful golang's interface matching seems to only go one layer deep. It matches the concrete structs (or their pointers) to interfaces as they are presented, but, if they are wrapped in anything, matching fails.

This also affects channels: the types of values they pass are not eligible for interface compatibility checks.

Minimal illustration:

type I0 interface{ fn0() }
type I1 interface{ fn1() I0 }

type S0 struct{}

func (s *S0) fn0() {}

type S1 struct{}

func (s *S1) fn1() *S0 { return &S0{} }

View in playground

Now in this trivial example it's possible to just adapt S1's fn1 return type, but I'd like to later use a type switch to recover original type without invoking the function.


The function case is mentioned in Go's FAQ as covariant result types.

  • 写回答

0条回答 默认 最新

    报告相同问题?

    悬赏问题

    • ¥15 基于卷积神经网络的声纹识别
    • ¥15 Python中的request,如何使用ssr节点,通过代理requests网页。本人在泰国,需要用大陆ip才能玩网页游戏,合法合规。
    • ¥100 为什么这个恒流源电路不能恒流?
    • ¥15 有偿求跨组件数据流路径图
    • ¥15 写一个方法checkPerson,入参实体类Person,出参布尔值
    • ¥15 我想咨询一下路面纹理三维点云数据处理的一些问题,上传的坐标文件里是怎么对无序点进行编号的,以及xy坐标在处理的时候是进行整体模型分片处理的吗
    • ¥15 CSAPPattacklab
    • ¥15 一直显示正在等待HID—ISP
    • ¥15 Python turtle 画图
    • ¥15 stm32开发clion时遇到的编译问题