Golang那些违背直觉的编程陷阱

目录

知识点1：切片拷贝之后都是同一个元素

知识点2：方法集合决定接口实现，类型方法集合是接口方法集合的超集则认定为实现接口，否则未实现接口

切片拷贝之后都是同一个元素
package mainimport ("encoding/json""fmt"
)func arr1() {var nn []intfor i := 0; i < 5; i++ {nn = append(nn, i)}marshal, _ := json.Marshal(nn)// [0,1,2,3,4]fmt.Println(string(marshal))
}func arr2() {var nn []*intfor i := 0; i < 5; i++ {// 出错原因：每次都是i的地址，i的地址始终是一个，所以最终数组元素是5// 解决方法，每次新生命一个变量，之后使用每次新分配的变量进行赋值。参见arr3nn = append(nn, &i)}//[5,5,5,5,5]marshal, _ := json.Marshal(nn)fmt.Println(string(marshal))
}func arr3() {var nn []*intfor i := 0; i < 5; i++ {// s := inn = append(nn, &s)}marshal, _ := json.Marshal(nn)//[0,1,2,3,4]fmt.Println(string(marshal))
}func main() {arr1()arr2()arr3()
}

主要看一下arr2与arr3函数即可知晓，很好理解却又很容易疏忽。接下来看一个类似问题的变种，跟struct方法有关系示例：

package mainimport ("fmt""time"
)type field struct {name string
}func (p *field) print() {fmt.Println(p.name)
}func main() {data1 := []*field{{"one"}, {"two"}, {"three"}}for _, v := range data1 {go v.print()}data2 := []field{{"four"}, {"five"}, {"six"}}for _, v := range data2 {go v.print()}time.Sleep(3 * time.Second)
}

| 这个代码执行输出结果：

看到结果是不是很意外，为什么有3个six呢？接下来分下一下：由于field的print方法是指针类型，所以data2每次在调用print方法时都是v指向的内存对象，这个对象最后一次赋值是six，所以输出的是3个six（其实此处存在不确定性，main协程与子协程的调度顺序，如果每次调度main协程之后立马就去调度子协程可能结果就是正确的了）。

那怎么修复问题呢？

方法1：

将filed的print方法的接受者修改为值类型，这样每次调用时都会拷贝一个副本进行调用，就会背面这个问题了，具体如下：

func (p field) print() {fmt.Println(p.name)
}

方法2：

每次调用时重新声明一个变量进行调用，这个底层原理也是拷贝一个副本进行调用，具体修改如下：

package mainimport ("fmt""time"
)type field struct {name string
}func (p *field) print() {fmt.Println(p.name)
}func main() {data1 := []*field{{"one"}, {"two"}, {"three"}}for _, v := range data1 {go v.print()}data2 := []field{{"four"}, {"five"}, {"six"}}for _, v := range data2 {replica := v// 此处每次都是重新分配一个内存存储v的副本go replica.print()}time.Sleep(3 * time.Second)
}
方法集合决定接口实现，类型方法集合是接口方法集合的超集则认定为实现接口，否则未实现接口
package mainimport ("fmt""reflect"
)type Interface interface {M1()M2()
}type T struct{}func (t T) M1()  {}
func (t *T) M2() {}func DumpMethodSet(i interface{}) {v := reflect.TypeOf(i)elemTyp := v.Elem()n := elemTyp.NumMethod()if n == 0 {fmt.Printf("%s's method set is empty!\n", elemTyp)return}fmt.Printf("%s's method set:\n", elemTyp)for j := 0; j < n; j++ {fmt.Println("-", elemTyp.Method(j).Name)}fmt.Printf("\n")
}
func main() {var t Tvar pt *Tvar i Interface//Cannot use 't' (type T) as type Interface//Type does not implement 'Interface' as 'M2' method has a pointer receiver// 言外之意就是类型T没有实现接口的M2方法i = ti = pt
}

此处主要需要了解Go方法集合规范是什么才能更好解释问题。如下工具方法可以用于查看类型的方法集合，具体代码如下：

func DumpMethodSet(i interface{}) {v := reflect.TypeOf(i)elemTyp := v.Elem()n := elemTyp.NumMethod()if n == 0 {fmt.Printf("%s's method set is empty!\n", elemTyp)return}fmt.Printf("%s's method set:\n", elemTyp)for j := 0; j < n; j++ {fmt.Println("-", elemTyp.Method(j).Name)}fmt.Printf("\n")
}

调用：

var t T
var pt *T
DumpMethodSet(&t)
DumpMethodSet(&pt)
DumpMethodSet((*Interface)(nil))

输出：

因为T类型的方法集合只有M1，所以导致上面将T类型实例赋值给接口类型会报错。

重点：Golang方法集合规范

1. 对于非接口类型的自定义类型T，其方法集合由所有receiver为T类型的方法组成；

2. 而类型*T的方法集合则包含所有receiver为T和*T类型的方法。也正因为如此，pt才能成功赋值给Interface类型变量。

特别提示：在进行组合时候，内嵌的是指针或值类型的结构体所以涉及引入的方法集是不一样的，也遵循上面规范。一般来说内嵌指针的方法集大于等于值得方法集。参见代码：

package mainimport "51788.net/golang-day01/dump_method_set"//main.T1's method set:
//- T1M1
//- T1M2//*main.T1's method set:
//- PT1M3
//- T1M1
//- T1M2
type T1 struct{}func (T1) T1M1()   { println("T1's M1") }
func (T1) T1M2()   { println("T1's M2") }
func (*T1) PT1M3() { println("PT1's M3") }//main.T2's method set:
//- T2M1
//- T2M2
//
//*main.T2's method set:
//- PT2M3
//- T2M1
//- T2M2
type T2 struct{}func (T2) T2M1()   { println("T2's M1") }
func (T2) T2M2()   { println("T2's M2") }
func (*T2) PT2M3() { println("PT2's M3") }//main.T's method set:
//- PT2M3
//- T1M1
//- T1M2
//- T2M1
//- T2M2
//
//*main.T's method set:
//- PT1M3
//- PT2M3
//- T1M1
//- T1M2
//- T2M1
//- T2M2
type T struct {T1*T2
}func main() {t := T{T1: T1{},T2: &T2{},}pt := &tvar t1 T1var pt1 *T1dump_method_set.DumpMethodSet(&t1)dump_method_set.DumpMethodSet(&pt1)var t2 T2var pt2 *T2dump_method_set.DumpMethodSet(&t2)dump_method_set.DumpMethodSet(&pt2)dump_method_set.DumpMethodSet(&t)dump_method_set.DumpMethodSet(&pt)
}

结论：

  • T类型的方法集合 = T1的方法集合 + *T2的方法集合；
  • *T类型的方法集合 = *T1的方法集合 + *T2的方法集合。
接口方法覆盖
package mainimport "51788.net/golang-day01/dump_method_set"type Interface1 interface {M1()
}type Interface2 interface {M1()M2()
}type Interface3 interface {Interface1Interface2 // Go 1.14之前版本报错：duplicate method M1
}type Interface4 interface {Interface2M2() // Go 1.14之前版本报错：duplicate method M2
}func main() {dump_method_set.DumpMethodSet((*Interface3)(nil))
}

在golang1.14版本之后允许接口中相同方法的覆盖。

类型里面内嵌多个接口，多个接口方法集合存在交集

当多个接口方法存在交集时，交集方法必须在类型上进行显示实现，否则调用交集方法时会报错。（当然如果不显示实现，而且后续不调用交集方法的话也不会报错。如果使用交集方法就要一定在类型上实现交集方法）。

示例1:

package mainimport "fmt"type IRun1 interface {M1()M2()
}type IRun2 interface {M2()M3()
}type IRun1Impl struct{}func (IRun1Impl) M1() {fmt.Println(" (IRun1Impl) M1()")
}func (IRun1Impl) M2() {fmt.Println(" (IRun1Impl) M2()")
}type IRun2Impl struct{}func (IRun2Impl) M2() {fmt.Println(" (IRun2Impl) M2()")
}func (IRun2Impl) M3() {fmt.Println(" (IRun2Impl) M3()")
}type TRun struct {IRun1IRun2
}func (e TRun) M1() {fmt.Println("t m1")
}// 一定在类型上实现交集方法
func (e TRun) M2() {fmt.Println("t m2")
}func main() {e := TRun{IRun1: &IRun1Impl{},IRun2: &IRun2Impl{},}e.M1()e.M2()e.M3()//	输出：//t m1//t m2// (IRun2Impl) M3()
}

示例2：

package mainimport "fmt"type IRun1 interface {M1()M2()
}type IRun2 interface {M2()M3()
}type IRun1Impl struct{}func (IRun1Impl) M1() {fmt.Println(" (IRun1Impl) M1()")
}func (IRun1Impl) M2() {fmt.Println(" (IRun1Impl) M2()")
}type IRun2Impl struct{}func (IRun2Impl) M2() {fmt.Println(" (IRun2Impl) M2()")
}func (IRun2Impl) M3() {fmt.Println(" (IRun2Impl) M3()")
}type TRun struct {IRun1IRun2
}func (e TRun) M1() {fmt.Println("t m1")
}func main() {e := TRun{IRun1: &IRun1Impl{},IRun2: &IRun2Impl{},}e.M1()// 不在类型上声明M2方法，虽然两个接口都有声明M2方法，但是也会报错：// 编译器报错：Ambiguous reference 'M2'e.M2()e.M3()}

示例三：

package mainimport "fmt"type IRun1 interface {M1()M2()
}type IRun2 interface {M2()M3()
}type IRun1Impl struct{}func (IRun1Impl) M1() {fmt.Println(" (IRun1Impl) M1()")
}func (IRun1Impl) M2() {fmt.Println(" (IRun1Impl) M2()")
}type IRun2Impl struct{}func (IRun2Impl) M2() {fmt.Println(" (IRun2Impl) M2()")
}func (IRun2Impl) M3() {fmt.Println(" (IRun2Impl) M3()")
}type TRun struct {IRun1IRun2
}func (e TRun) M1() {fmt.Println("t m1")
}func main() {e := TRun{IRun1: &IRun1Impl{},IRun2: &IRun2Impl{},}e.M1()// 虽然没有在类型上声明M2方法，但是不调用M2方法的话也不会存在编译错误// 满足原则：你用你写，不用不写(u can u up)//e.M2()e.M3()
}

小提示：现实中应该避免这种复杂编程，显然无疑的提高了问题复杂度，并无显著收益。

类型里面内嵌接口

type InterfaceX interface {M1()M2()
}type TS struct {InterfaceX
}func (TS) M3() {}

类型TS内嵌接口InterfaceX是允许的，而且编译器不要求强制必须实现M1与M2方法，这个如果有Java经验的话会很违背经验。但是Golang就是允许的，但是如果你调用未实现的方法就会报错：

func main() {var t TSt.M1()
}

查看一下方法集合：

func main() {dump_method_set.DumpMethodSet((*InterfaceX)(nil))var t TSvar pt *TSdump_method_set.DumpMethodSet(&t)dump_method_set.DumpMethodSet(&pt)
}

输出：

类型中内嵌接口，命名冲突的方法调用优先级
package maintype Interface interface {M1()M2()
}type T struct {Interface
}// 类型T上实现了接口M1方法，但是类型T未实现M2方法
func (T) M1() {println("T's M1")
}type S struct{}func (S) M1() {println("S's M1")
}
func (S) M2() {println("S's M2")
}func main() {var t = T{Interface: S{},}// 因为类型实现了M1方法，所以直接调用M1的方法t.M1()// 因为接口类型没有实现M2方法，所以调用会从内嵌的接口上寻找方法t.M2()
}

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.hqwc.cn/news/637714.html

如若内容造成侵权/违法违规/事实不符，请联系编程知识网进行投诉反馈email:809451989@qq.com，一经查实，立即删除！

相关文章

Redis入门到通关之数据结构解析-Dict

Redis入门到通关之数据结构解析-Dict

文章目录 概述构成Dict的扩容Dict的rehash总结 概述 我们知道Redis是一个键值型&#xff08;Key-Value Pair&#xff09;的数据库&#xff0c;我们可以根据键实现快速的增删改查。而键与值的映射关系正是通过Dict来实现的。 Dict由三部分组成&#xff0c;分别是&#xff1a;哈…
阅读更多...
从头开始构建自己的 GPT 大型语言模型

从头开始构建自己的 GPT 大型语言模型

图片来源&#xff1a; Tatev Aslanyan 一、说明 我们将使用 PyTorch 从头开始构建生成式 AI、大型语言模型——包括嵌入、位置编码、多头自注意、残差连接、层归一化&#xff0c;Baby GPT 是一个探索性项目&#xff0c;旨在逐步构建类似 GPT 的语言模型。在这个项目中&#xff…
阅读更多...
Microchip 32位MCU CAN驱动图文教程-附源码

Microchip 32位MCU CAN驱动图文教程-附源码

文章目录 创建一个新的32位MCU工程Microchip MCC Harmony配置界面说明在MCC下配置系统的时钟在MCC下配置所需要使用的模块配置调试打印模块配置CAN模块配置管脚功能修改系统堆栈大小生成代码 添加用户代码 创建一个新的32位MCU工程 确保电脑上已经安装最新的MPlab X IDE、XC32编…
阅读更多...
C# WPF布局

C# WPF布局

布局&#xff1a; 1、Grid: <Window x:Class"WpfApp2.MainWindow" xmlns"http://schemas.microsoft.com/winfx/2006/xaml/presentation" xmlns:x"http://schemas.microsoft.com/winfx/2006/xaml" xmlns:d"http://schemas.microsoft.com…
阅读更多...
matplotlib从起点出发(15)_Tutorial_15_blitting

matplotlib从起点出发(15)_Tutorial_15_blitting

0 位图传输技术与快速渲染 Blitting&#xff0c;即位图传输、块传输技术是栅格图形化中的标准技术。在Matplotlib的上下文中&#xff0c;该技术可用于&#xff08;大幅度&#xff09;提高交互式图形的性能。例如&#xff0c;动画和小部件模块在内部使用位图传输。在这里&#…
阅读更多...
Drive Scope for Mac：硬盘健康监测分析工具

Drive Scope for Mac：硬盘健康监测分析工具

Drive Scope for Mac是一款专为Mac用户设计的硬盘健康监测与分析工具&#xff0c;致力于保障用户的数据安全。这款软件功能强大且操作简便&#xff0c;能够实时检测硬盘的各项指标&#xff0c;帮助用户及时发现并解决潜在问题。 Drive Scope for Mac 1.2.23注册激活版下载 Driv…
阅读更多...
智慧化转型赋能园区创新：科技创新引领产业智慧化，打造高效发展新格局

智慧化转型赋能园区创新：科技创新引领产业智慧化，打造高效发展新格局

在全球化和信息化浪潮的推动下&#xff0c;园区作为区域经济发展的重要引擎&#xff0c;正面临着前所未有的机遇与挑战。为应对这些挑战并把握机遇&#xff0c;园区需积极拥抱智慧化转型&#xff0c;通过科技创新引领产业智慧化&#xff0c;打造高效发展的新格局。本文将深入探…
阅读更多...
设计模式之观察者模式（优先使用对象组合的原则）的C++实现

设计模式之观察者模式（优先使用对象组合的原则）的C++实现

观察者模式又称订阅者发布者模式&#xff0c;本篇介绍主要是利用对象组合大于类继承的设计模式原则实现订阅发布模式&#xff0c;这种设计的优点是想订阅数据的类不需要继承订阅者类的抽象类&#xff0c;减少了一层类的继承&#xff1b;当然&#xff0c;具体情况需要可根据需求…
阅读更多...
【Hadoop】- MapReduce YARN的部署[8]

【Hadoop】- MapReduce YARN的部署[8]

目录 一、部署说明 二、集群规划 三、MapReduce配置文件 四、YARN配置文件 五、分发配置文件 六、集群启动命令 七、查看YARN的WEB UI 页面 一、部署说明 Hadoop HDFS分布式文件系统&#xff0c;我们会启动&#xff1a; NameNode进程作为管理节点DataNode进程作为工作节…
阅读更多...
分类神经网络3：DenseNet模型复现

分类神经网络3：DenseNet模型复现

目录 DenseNet网络架构 DenseNet部分实现代码 DenseNet网络架构 论文原址&#xff1a;https://arxiv.org/pdf/1608.06993.pdf 稠密连接神经网络&#xff08;DenseNet&#xff09;实质上是ResNet的进阶模型&#xff08;了解ResNet模型请点击&#xff09;&#xff0c;二者均是…
阅读更多...
Hive基础5

Hive基础5

一、窗口函数 聚合&#xff0c;取值函数 排序函数 over(partition by 分组字段 order by 字段 row between 起始行 and 结束行) /*创建部门表*/ CREATE TABLE dept (deptno INT PRIMARY KEY,dname VARCHAR(50) comment 部门名称,loc VARCHAR(50) comment 工作地点 ); ​ /*…
阅读更多...
【数据结构】顺序表：与时俱进的结构解析与创新应用

【数据结构】顺序表：与时俱进的结构解析与创新应用

欢迎来到白刘的领域 Miracle_86.-CSDN博客 系列专栏 数据结构与算法 先赞后看&#xff0c;已成习惯 创作不易&#xff0c;多多支持&#xff01; 目录 一、数据结构的概念 二、顺序表&#xff08;Sequence List&#xff09; 2.1 线性表的概念以及结构 2.2 顺序表分类 …
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023