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

news2024/11/13 7:51:17

目录

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

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

切片拷贝之后都是同一个元素
package main

import (
	"encoding/json"
	"fmt"
)

func arr1() {
	var nn []int
	for 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 []*int
	for i := 0; i < 5; i++ {
        // 出错原因：每次都是i的地址，i的地址始终是一个，所以最终数组元素是5
        // 解决方法，每次新生命一个变量，之后使用每次新分配的变量进行赋值。参见arr3
		nn = append(nn, &i)
	}
	//[5,5,5,5,5]
	marshal, _ := json.Marshal(nn)
	fmt.Println(string(marshal))
}

func arr3() {
	var nn []*int
	for i := 0; i < 5; i++ {
        // 
		s := i
		nn = 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 main

import (
	"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 main

import (
	"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 main

import (
	"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 T
	var pt *T

	var 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 = t
	i = 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 main

import "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 := &t

	var t1 T1
	var pt1 *T1
	dump_method_set.DumpMethodSet(&t1)
	dump_method_set.DumpMethodSet(&pt1)

	var t2 T2
	var pt2 *T2
	dump_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 main

import "51788.net/golang-day01/dump_method_set"

type Interface1 interface {
	M1()
}

type Interface2 interface {
	M1()
	M2()
}

type Interface3 interface {
	Interface1
	Interface2 // Go 1.14之前版本报错：duplicate method M1
}

type Interface4 interface {
	Interface2
	M2() // Go 1.14之前版本报错：duplicate method M2
}

func main() {
	dump_method_set.DumpMethodSet((*Interface3)(nil))
}

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

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

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

示例1:

package main

import "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 {
	IRun1
	IRun2
}

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 main

import "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 {
	IRun1
	IRun2
}

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 main

import "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 {
	IRun1
	IRun2
}

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 TS
	t.M1()
}

查看一下方法集合：

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

输出：

类型中内嵌接口，命名冲突的方法调用优先级
package main

type 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.coloradmin.cn/o/1613209.html

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈，一经查实，立即删除！

相关文章

[Kubernetes] etcd的集群基石作用

[Kubernetes] etcd的集群基石作用

文章目录 1. 配置存储2. 数据一致性3. 服务发现与协调4. 集群状态中枢5. 集群稳定性 1. 配置存储 etcd作为一个高度可靠的分布式键值存储系统&#xff0c;存储了Kubernetes集群的完整配置和状态数据。集群的元数据&#xff0c;包括节点信息、命名空间、部署、副本集、服务、持…
阅读更多...
【leetcode面试经典150题】65. 旋转链表（C++）

【leetcode面试经典150题】65. 旋转链表（C++）

【leetcode面试经典150题】专栏系列将为准备暑期实习生以及秋招的同学们提高在面试时的经典面试算法题的思路和想法。本专栏将以一题多解和精简算法思路为主&#xff0c;题解使用C语言。&#xff08;若有使用其他语言的同学也可了解题解思路&#xff0c;本质上语法内容一致&…
阅读更多...
Mac电池管理软件 Batteries for Mac v2.2.9直装版

Mac电池管理软件 Batteries for Mac v2.2.9直装版

Batteries for Mac&#xff0c;作为一款专为Mac用户设计的电池管理软件&#xff0c;以其强大的功能和智能的监测机制&#xff0c;为用户提供了便捷、高效的电池使用体验。 Batteries for Mac(Mac电池)v2.2.9直装版下载 首先&#xff0c;Batteries for Mac具备实时电池监测功能&…
阅读更多...
在protobuf里定义描述rpc方法的类型

在protobuf里定义描述rpc方法的类型

service UserServiceRpc //在test.proto中定义 { rpc Login(LoginRequest)returns(LoginResponse); rpc GetFriendLists(GetFriendListRequest)returns(GetFriendListResponse); } test.proto文件生成test.pb.cc protoc test.proto --cpp_out./ 将生成的…
阅读更多...
前端工程化01-复习jQuery当中的AJAX

前端工程化01-复习jQuery当中的AJAX

4.1、基础概念 什么是服务器 一台存储网站内容、网站文件的电脑 什么是资源 网站中使用的文件&#xff08;html、css、图片、…&#xff09;这些东西就叫做资源数据也是服务器上的资源&#xff0c;而且是一个网站的灵魂 客户端 客户端应该指上网的设备但是在前端开发中&a…
阅读更多...
微软如何打造数字零售力航母系列科普01 --- Azure顾问（AZURE Advisor）简介

微软如何打造数字零售力航母系列科普01 --- Azure顾问（AZURE Advisor）简介

Azure顾问&#xff08;AZURE Advisor&#xff09;简介 目录 一、什么是AZURE顾问&#xff08;AZURE Advisor&#xff09;&#xff1f; 二、常见问题 三、接下来的步骤 一、什么是AZURE顾问&#xff1f; AZURE顾问是一种数字云助手&#xff0c;可帮助您遵循最佳实践来优化Az…
阅读更多...
【QT进阶】Qt http编程之用户登录注册功能实现

【QT进阶】Qt http编程之用户登录注册功能实现

往期回顾 【QT进阶】Qt http编程之http与https简单介绍-CSDN博客 【QT进阶】Qt http编程之后端API测试工具postman使用介绍-CSDN博客 【QT进阶】Qt http编程之http相关类的简单介绍-CSDN博客 【QT进阶】Qt http编程之用户登录注册功能实现 一、最终效果展示 重点在逻辑实现&a…
阅读更多...
分类神经网络2：ResNet模型复现

分类神经网络2：ResNet模型复现

目录 ResNet网络架构 ResNet部分实现代码 ResNet网络架构 论文原址&#xff1a;https://arxiv.org/pdf/1512.03385.pdf 残差神经网络(ResNet)是由微软研究院的何恺明、张祥雨、任少卿、孙剑等人提出的&#xff0c;通过引入残差学习解决了深度网络训练中的退化问题&#xff…
阅读更多...
[Spring Cloud] (4)搭建Vue2与网关、微服务通信并配置跨域

[Spring Cloud] (4)搭建Vue2与网关、微服务通信并配置跨域

文章目录 前言gatway网关跨域配置取消微服务跨域配置 创建vue2项目准备一个原始vue2项目安装vue-router创建路由vue.config.js配置修改App.vue修改 添加接口访问安装axios创建request.js创建index.js创建InfoApi.js main.jssecurityUtils.js 前端登录界面登录消息提示框 最终效…
阅读更多...
【八股】Spring Boot

【八股】Spring Boot

SpringBoot是如何实现自动装配的&#xff1f; 首先&#xff0c;SpringBoot的核心注解SpringBootApplication里面包含了三个注解&#xff0c;SpringBootConfigurationEnableAutoConfigurationComponentScan&#xff0c;其中EnableAutoConfiguration是实现自动装配的注解&#x…
阅读更多...
VUE运行找不到pinia模块

VUE运行找不到pinia模块

当我们的VUE运行时报错Module not found: Error: Cant resolve pinia in时 当我们出现这个错误时 可能是 没有pinia模块 此时我们之要下载一下这个模块就可以了 npm install pinia
阅读更多...
AD高速板设计-DDR(笔记)

AD高速板设计-DDR(笔记)

【一】二极管 最高工作频率&#xff1a; 定义&#xff1a;二极管的最高工作频率&#xff0c;即二极管在电路中能够正常工作的最高频率。常见的硅二极管的最高工作频率通常在几十MHz到几百MHz之间。在高频下&#xff0c;二极管可能无法有效地阻止反向电流&#xff0c;但也不会…
阅读更多...
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…
阅读更多...
【大语言模型LLM】-使用大语言模型搭建点餐机器人

【大语言模型LLM】-使用大语言模型搭建点餐机器人

关于作者 行业&#xff1a;人工智能训练师/LLM 学者/LLM微调乙方PM发展&#xff1a;大模型微调/增强检索RAG分享国内大模型前沿动态&#xff0c;共同成长&#xff0c;欢迎关注交流… 大语言模型LLM基础-系列文章 【大语言模型LLM】-大语言模型如何编写Prompt?【大语言模型LL…
阅读更多...
地质图、地质岩性数据、地质灾害分布、土壤理化性质数据集、土地利用数据、土壤重金属含量分布、植被类型分布

地质图、地质岩性数据、地质灾害分布、土壤理化性质数据集、土地利用数据、土壤重金属含量分布、植被类型分布

地质图是将沉积岩层、火成岩体、地质构造等的形成时代和相关等各种地质体、地质现象&#xff0c;用一定图例表示在某种比例尺地形图上的一种图件。 是表示地壳表层岩相、岩性、地层年代、地质构造、岩浆活动、矿产分布等的地图的总称。 地质图的编制多以实测资料为基础&#xf…
阅读更多...
Eclipse+Java+Swing实现学生信息管理系统-TXT存储信息

Eclipse+Java+Swing实现学生信息管理系统-TXT存储信息

一、系统介绍 1.开发环境 操作系统&#xff1a;Win10 开发工具 &#xff1a;Eclipse2021 JDK版本&#xff1a;jdk1.8 存储方式&#xff1a;Txt文件存储 2.技术选型 JavaSwingTxt 3.功能模块 4.工程结构 5.系统功能 1.系统登录 管理员可以登录系统。 2.教师-查看学生…
阅读更多...
初学者如何选择ARM开发硬件？

初学者如何选择ARM开发硬件？

1&#xff0e; 如果你有做硬件和单片机的经验,建议自己做个最小系统板&#xff1a;假如你从没有做过ARM的开发&#xff0c;建议你一开始不要贪大求全&#xff0c;把所有的应用都做好&#xff0c;因为ARM的启动方式和dsp或单片机有所不同&#xff0c;往往会碰到各种问题&#xf…
阅读更多...
【天龙怀旧服】攻略day7

【天龙怀旧服】攻略day7

关键字&#xff1a; 新星1.49、金针渡劫、10灵 1】新星&#xff08;苍山破煞&#xff09; 周三周六限定副本&#xff0c;19.00-24.00 通常刷1.49w&#xff0c;刷149点元佑碎金 boss选择通常为狂鬼难度&#xff0c;八风不动即放大不选&#xff0c;第二排第一个也不选&#xf…
阅读更多...
【Hadoop】- MapReduce YARN的部署[8]

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

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

lua整合redis

文章目录 lua基础只适合lua连接操作redis1.下载lua依赖2.导包,连接3.常用的命令1.set,get,push命令 2.自增管道命令命令集合4.使用redis操作lua1.实现秒杀功能synchronized关键字 分布式锁 lua 基础只适合 1.编译 -- 编译 luac a.lua -- 运行 lua a.lua2.命名规范 -- 多行注…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023