Type identity(意译)

apagebook · · 1291 次点击 · 开始浏览    置顶
这是一个创建于 的主题,其中的信息可能已经有所发展或是发生改变。

两种类型要么是 identical(完全一致的),要么是different(不同的)。 1.两种 named type, 如果 传承自同样的 TypeSpec(声明),那么就是 identical(自己跟自己相同,除此之外任何两种 named type 都不同) ,否则就是 different。 2.对于 unnamed type ,判定 identical 具体规则如下: -- array type:其中元素类型和数组长度都相同。 -- slice type:具有相同的元素类型。 -- struct type:具有相同的 field(强调顺序相同);field name 相同;field type 相同;field tag 相同。关于匿名 field name ,总是被认为是相同的(前提是 type 相同)。最后,来自不同 package 的小写的 field names 总是不相同的(即便拼写相同)。 -- pointer type:具有相同的 base type(指向同样类型的指针)。 -- function type:参数数量相同;返回值数量相同;参数类型相同;返回值类型相同;两个函数要么全部是 variadic,要么都不是 variadic。参数和返回值的 name 不用相同。 -- interface type:具有相同的 method set(函数名相同,函数类型相同);来自不同 package 的小写的 method name 总是不相同的。 -- map type:具有同样的 key type 和 value type。 -- channel type:具有相同的 value type 和 同样的 direction。

有疑问加站长微信联系(非本文作者)

入群交流(和以上内容无关):加入Go大咖交流群,或添加微信:liuxiaoyan-s 备注:入群;或加QQ群:692541889

1291 次点击  
加入收藏 微博
暂无回复
添加一条新回复 (您需要 登录 后才能回复 没有账号 ?)
  • 请尽量让自己的回复能够对别人有帮助
  • 支持 Markdown 格式, **粗体**、~~删除线~~、`单行代码`
  • 支持 @ 本站用户;支持表情(输入 : 提示),见 Emoji cheat sheet
  • 图片支持拖拽、截图粘贴等方式上传