Go语言的100个错误使用场景（40-47）｜字符串函数方法

前言

大家好，这里是白泽。 《Go语言的100个错误以及如何避免》 是最近朋友推荐我阅读的书籍，我初步浏览之后，大为惊喜。就像这书中第一章的标题说到的：“Go: Simple to learn but hard to master”，整本书通过分析100个错误使用 Go 语言的场景，带你深入理解 Go 语言。

我的愿景是以这套文章，在保持权威性的基础上，脱离对原文的依赖，对这100个场景进行篇幅合适的中文讲解。所涉内容较多，总计约 8w 字，这是该系列的第五篇文章，对应书中第40-47个错误场景。

🌟 当然，如果您是一位 Go 学习的新手，您可以在我开源的学习仓库中，找到针对 《Go 程序设计语言》 英文书籍的配套笔记，其他所有文章也会整理收集在其中。

📺 B站：白泽talk，公众号【白泽talk】，聊天交流群：622383022，原书电子版可以加群获取。

前文链接：

  • 《Go语言的100个错误使用场景（1-10）｜代码和项目组织》
  • 《Go语言的100个错误使用场景（11-20）｜项目组织和数据类型》
  • 《Go语言的100个错误使用场景（21-29）｜数据类型》
  • 《Go语言的100个错误使用场景（30-40）｜数据类型与字符串使用》

5. 字符串

🌟 章节概述：

  • 了解 rune 的概念
  • 避免常见的字符串遍历和截取造成的错误
  • 避免由于字符串拼接和转换造成的低效代码
  • 避免获取子字符串造成的内存泄漏

5.5 无用的字符串转换（#40）

错误示例：

func getBytes(reader io.Reader) ([]byte, error) {b, err := io.ReadAll(reader)if err != nil {return nil, err}// 去除首尾空格return []byte(sanitize(string(b))), nil
}
​
func sanitize(s string) string {return strings.TrimSpace(s)
}

正确示例：

func getBytes(reader io.Reader) ([]byte, error) {b, err := io.ReadAll(reader)if err != nil {return nil, err}// 去除首尾空格return sanitize(b), nil
}
​
func sanitize(b []byte) []byte {return bytes.TrimSpace(b)
}

通常来说 bytes 库提供了与 strings 库相同功能的方法，而且大多数 IO 相关的函数的输入输出都是 []byte，而不是 string，错误示例中，将字符切片转换成字符串，再转换成字符切片，需要额外承担两次内存分配的开销。

5.6 获取子字符串操作和内存泄漏（#41）

假设有许多个 string 类型的 log 需要存储（假设一个log有1000字节），但是只需要存放 log 的前36字节，不恰当的子字符串截取函数，会导致内存泄漏。

示例代码：

// 方式一
func (s store) handleLog(log string) error {if len(log) < 36 {return errors.New("log is not correctly formatted")}uuid := log[:36]s.store(uuid)// Do something
}
// 方式二
func (s store) handleLog(log string) error {if len(log) < 36 {return errors.New("log is not correctly formatted")}uuid := string([]byte(log[:36]))s.store(uuid)// Do something
}
// 方式三
func (s store) handleLog(log string) error {if len(log) < 36 {return errors.New("log is not correctly formatted")}uuid := strings.Clone(log[:36])s.store(uuid)// Do something
}
  1. 和（#26）提到的子切片获取造成的内存泄漏一样，获取子字符串操作执行后，其底层依旧依赖原来的整个字符数组，因此1000个字节内存依旧占用，不会只有36个。
  2. 通过将字符串转换为字节数组，再转换为字符串，虽然消耗了2次长度为36字节的内存分配，但是释放了底层1000字节的原字节数组的依赖。有些 IDE 如 Goland 会提示语法错误，因为本质来说，将 string 转 []byte 再转 string 是一个累赘的操作。
  3. go1.18之后，提供了一步到位的 strings.Clone 方法，可以避免内存泄漏。

6. 函数和方法

🌟 章节概述：

  • 什么时候使用值或者指针类型的接受者
  • 什么时候命名的返回值，以及其副作用
  • 避免返回 nil 接受者时的常见错误
  • 函数接受一个文件名，并不是最佳实践
  • 处理 defer 的参数

6.1 不知道选择哪种类型的方法接受者（#42）

值接受者：

type customer struct {balance float64
}
​
func (c customer) add(operation float64) {c.balance += operation
}
​
func main() {c := customer{balance: 100.0}c.add(50.0)fmt.Printf("%.2f\n", c.balance) // 结果为 100.00
}

指针接受者：

type customer struct {balance float64
}
​
func (c *customer) add(operation float64) {c.balance += operation
}
​
func main() {c := customer{balance: 100.0}c.add(50.0)fmt.Printf("%.2f\n", c.balance) // 结果为 150.00
}

值接受者在方法内修改自身结构的值，不会对调用方造成实际影响。

🌟 一些实践的建议：

  • 必须使用指针接受者的场景：

    • 如果方法需要修改原始的接受者。
    • 如果方法的接受者包含不可以被拷贝的字段。

  • 建议使用指针接受者的场景：

    • 如果接受者是一个巨大的对象，使用指针接受者可以更加高效，避免了拷贝内存。

  • 必须使用值接受者的场景：

    • 如果我们必须确保接受者是不变的。
    • 如果接受者是一个 map, function, channel，否则会出现编译错误。

  • 建议使用值接受者的场景：

    • 如果接受者是一个切片，且不会被修改。
    • 如果接受者是一个小的数组或者结构体，不含有易变的字段。
    • 如果接受者是基本类型如：int, float64, string。

特殊情况：

type customer struct {data *data
}
​
type data struct {balance float64
}
​
func (c customer) add(operation float64) {c.data.balance += operation
}
​
func main() {c := customer{data: &data {balance: 100.0}}c.add(50.0)fmt.Printf("%.2f\n", c.data.balance) // 150.00
}

在这种情况下，即使方法接受者 c 不是指针类型，但是修改依旧可以生效。

但是为了清楚起见，通常还是将 c 声明成指针类型，如果它是可操作的。

6.2 从来不使用命名的返回值（#43）

如果使用命名返回值：

func f(a int) (b int) {b = areturn
}

推荐使用命名返回值的场景举例：

// 场景一
type locator interface {getCoordinates(address string) (lat, lng float32, err error)
}
// 场景二
func ReadFull(r io.Reader, buf []byte) (n int, err error) {// 两个返回值被初始化为对应类型的零值：0和nilfor len(buf) > 0 && err == nil {var nr intnr, err = r.Read(buf)n += nrbuf = buf[nr:]}return
}

场景一：通过命名返回值提高接口的可读性

场景二：通过命名返回值节省编码量

🌟 最佳实践：需要权衡使用命名返回值是否能带来收益，如果可以就果断使用吧！

6.3 使用命名返回值造成的意外副作用（#44）

🌟 注意：使用命名返回值的方法，并不意味着必须返回单个 return，有时可以只为了函数签名清晰而使用命名返回值。

错误场景：

func (l loc) getCoordinates(ctx content.Content, address string) (lat, lng float32, err error) {isValid := l.validateAddress(address)if !isValid {return 0, 0, errors.New("invalid address")}if ctx.Err() != nil {return 0, 0, err}// Do something and return
}

此时，由于 ctx.Err() != nil 成立时，并没有为 err 赋值，因此返回的 err 永远都是 nil。

修正方案：

func (l loc) getCoordinates(ctx content.Content, address string) (lat, lng float32, err error) {isValid := l.validateAddress(address)if !isValid {return 0, 0, errors.New("invalid address")}if err = ctx.Err(); err != nil {// 这里原则上可以返回单个return，但是最好保持风格统一return 0, 0, err}// Do something and return
}

6.4 返回一个 nil 接受者（#45）

🔔 提示：在 Go 语言当中，方法就像是函数的语法糖一样，相当于函数的第一个参数是方法的接受者，nil 可以作为参数，因此 nil 接受者可以触发方法，因此不同于纯粹的 nil interface。

type Foo struct {}
​
func (foo *Foo) Bar() string {return "bar"
}
​
func main() {var foo *Foofmt.Println(foo.Bar()) // 虽然 foo 动态值是 nil，但动态类型不是nil，是可以打印出 bar
}

错误示例：

type MultiError struct {errs []string
}
​
func (m *MultiError) Add(err error) {m.errs = append(m.errs, err.Error())
}
​
func (m *MultiError) Error() string {return stirngs.Join(m.errs, ";")
}
​
func (c Customer) Validate() error {var m *MultiErrorif c.Age < 0 {m = &MultiError{}m.Add(errors.New("age is negative"))}if c.Name == "" {if m == nil {m = &MultiError{}}m.Add(errors.New("age is nil"))}return m
}
​
func main() {// 传入的两个参数都不会触发 Validate 的 err 校验customer := Customer{Age: 33, Name: "John"}if err := customer.Validate(); err != nil {// 但是无论如何都会打印这行语句，err != nil 永远成立！log.Fatalf("customer is invalid: %v", err)}
}

🔔 提示：Go 语言的接口，有动态类型和动态值两个概念，

image-20240214163507390

上述错误示例中，即使通过了两个验证，Validate 返回了 m，此时这个接口承载的动态类型是 *MultiError，它的动态值是 nil，但是通过 == 判断一个 err 为 nil，或者说一个接口为 nil，要求其底层类型和值都是 nil 才会成立。

正确方案：

func (c Customer) Validate() error {var m *MultiErrorif c.Age < 0 {m = &MultiError{}m.Add(errors.New("age is negative"))}if c.Name == "" {if m == nil {m = &MultiError{}}m.Add(errors.New("age is nil"))}if m != nil {return m}return nil
}

此时返回的是一个 nil interface，是存粹的。而不是一个非 nil 动态类型的 interfere 返回值。

6.5 使用文件名作为函数的输入（#46）

编写一个从文件中按行读取内容的函数。

错误示例：

func countEmptyLinesInFile(filename string) (int, error) {file, err := os.Open(filename)if err != nil {return 0, err}scanner := bufio.NewScanner(file)for scanner.Scan() {// ...}
}

弊端：

  1. 每当需要做不同功能的单元测试，需要单独创建一个文件。
  2. 这个函数将无法被复用，因为它依赖于一个具体的文件名，如果是从其他输入源读取将需要重新编写函数。

🌟 修正方案：

func countEmptyLines(reader io.Reader) (int, error) {scanner := bufio.NewScanner(reader)for scanner.Scan() {// ...}
}
​
func TestCountEmptyLines(t *testing.T) {emptyLines, err := countEmptyLines(strings.NewReader(`foobarbaz`))// 测试逻辑
}

通过这种方式，可以将输入源进行抽象，从而满足来自任何输入的读取（文件，字符串，HTTP Request，gRPC Request等），编写单元测试也十分便利。

6.6 不理解 defer 参数和接收者是如何确定的（#47）

  • defer 声明的函数的参数值，在声明时确定：
const (StatusSuccess = "success"StatusErrorFoo = "error_foo"StatusErrorBar = "error_bar"
)
​
func f() error {var status stringdefer notify(status)defer incrementCounter(status)if err := foo(); err != nil {status = StatusErrorFooreturn err}if err := bar(); err != nil {status = StatusErrorBarreturn err}status = StatusSuccessreturn nil
}

🌟 上述示例中，无论是否会在 foo 和 bar 函数的调用后返回 err，status 的值传递给 notify 和 incrementCount 函数的都是空字符串，因为 defer 声明的函数的参数值，在声明时确定。

修正方案1：

func f() error {var status string// 修改为传递地址defer notify(&status)defer incrementCounter(&status)if err := foo(); err != nil {status = StatusErrorFooreturn err}if err := bar(); err != nil {status = StatusErrorBarreturn err}status = StatusSuccessreturn nil
}

因为地址一开始确定，所以无论后续如何为 status 赋值，都可以通过地址获取到最新的值。这种方式的缺点是需要修改 notify 和 incrementCounter 两个函数的传参形式。

🌟 defer 声明一个闭包，则闭包内使用的外部变量的值，将在闭包执行的时候确定。

func main() {i := 0j := 0defer func(i int) {fmt.Println(i, j)}(i)i++j++
}

因为 i 作为匿名函数的参数传入，因此值在一开始确定，而 j 是闭包内使用外部的变量，因此在 return 之前确定值。最后打印结果 i = 0, j = 1。

修正方案2:

func f() error {var status stringdefer func() {notify(status)incrementCounter(status)}()
}

通过使用闭包将 notify 和 incrementCounter 函数包裹，则 status 的值使用闭包外侧的变量 status，因此 status 的值会在闭包执行的时候确定，这种修改方式也无需修改两个函数的签名，更为推荐。

  • 指针和值接收者：

值接收者：

func main() {s := Struct{id: "foo"}defer s.print()s.id = "bar"
}
​
type Struct struct {id string
}
​
func (s Struct) print() {fmt.Println(s.id)
}

打印的结果是 foo，因为 defer 后声明的 s.print() 的接收者 s 将在一开始获得一个拷贝，foo 作为 id 已经固定。

指针接收者：

func main() {s := &Struct{id: "foo"}defer s.print()s.id = "bar"
}
​
type Struct struct {id string
}
​
func (s *Struct) print() {fmt.Println(s.id)
}

打印结果是 bar，defer 后声明的 s.print() 的接收者 s 将在一开始获得一份拷贝，因为是地址的拷贝，所以对 return 之前的改动有感知。

小结

已完成《Go语言的100个错误》全书学习进度47%，欢迎追更。

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

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

相关文章

如何在Windows中配置多个显示器？这里提供详细步骤

如何在Windows中配置多个显示器？这里提供详细步骤

Windows可以通过多种方式使用多个显示器，扩展或复制主显示器。你甚至可以关闭主显示器。以下是如何使用简单的键盘快捷键更改辅助显示设置。 使用Windows+P投影菜单 要快速更改Windows 10处理多个显示器的方式，请按Windows+P。屏幕右侧会弹出一个名为“投影”的深灰色菜单。…
阅读更多...
Base64编码的优点与缺点

Base64编码的优点与缺点

title: Base64编码的优点与缺点 date: 2024/2/16 14:06:37 updated: 2024/2/16 14:06:37 tags: Base64编码ASCII转换数据传输文本存储安全性数据膨胀字符串解码 Base64编码是一种将二进制数据转换为可打印ASCII字符的编码方式。它被广泛应用于数据传输和存储&#xff0c;以提升…
阅读更多...
- 工程实践 - 《QPS百万级的有状态服务实践》01 - 存储选型实践

- 工程实践 - 《QPS百万级的有状态服务实践》01 - 存储选型实践

本文属于专栏《构建工业级QPS百万级服务》 《QPS百万级的无状态服务实践》已经完成。截止目前为止&#xff0c;支持需求“给系统传入两个日期&#xff0c;计算间隔有多少天”的QPS百万级服务架构已经完成。如图1&#xff1a; 图1 可是这个架构不能满足需求“给系统传入两个日期…
阅读更多...
node+vue3+mysql前后分离开发范式——实现对数据库表的增删改查

node+vue3+mysql前后分离开发范式——实现对数据库表的增删改查

文章目录 ⭐前言⭐ 功能设计与实现💖 node后端操作数据库实现增删改查💖 vue3前端实现增删改查⭐ 效果⭐ 总结⭐ 结束⭐结束⭐前言 大家好，我是yma16，本文分享关于 node+vue3+mysql前后分离开发范式——实现对数据库表的增删改查。 技术选型 前端：vite+vue3+antd 后端：…
阅读更多...
用HTML和CSS打造跨年烟花秀视觉盛宴

用HTML和CSS打造跨年烟花秀视觉盛宴

目录 一、程序代码 二、代码原理 三、运行效果 一、程序代码 <!DOCTYPE html> <html lang"en"><head><meta charset"UTF-8"><title>跨年烟花秀</title><meta name"viewport" content"widthdevi…
阅读更多...
【Linux】 Linux 小项目—— 进度条

【Linux】 Linux 小项目—— 进度条

进度条 基础知识1 \r && \n2 行缓冲区3 函数介绍 进度条实现版本 1代码实现运行效果 版本2 Thanks♪(&#xff65;ω&#xff65;)&#xff89;谢谢阅读&#xff01;&#xff01;&#xff01;下一篇文章见&#xff01;&#xff01;&#xff01; 基础知识 1 \r &&a…
阅读更多...
你知道.NET的字符串在内存中是如何存储的吗？

你知道.NET的字符串在内存中是如何存储的吗？

一、字符串对象的内存布局 从“值类型”和“引用类型”来划分&#xff0c;字符串自然属于引用类型的范畴&#xff0c;所以一个字符串对象自然采用引用类型的内存布局。引用类型实例的内存布局总的来说整个内存布局分三块&#xff1a;ObjHeader TypeHandle Payload。对于一般…
阅读更多...
面试经典150题——有效的数独

面试经典150题——有效的数独

​"Strive not to be a success, but rather to be of value." - Albert Einstein 1. 题目描述 2. 题目分析与解析 2.1 暴力求解 没思路&#xff0c;老规矩&#xff0c;先来一次笨办法&#xff0c;先把步子迈出去&#xff0c;因为可能笨办法写着写着就会有更多的…
阅读更多...
vue的网络请求以及封装

vue的网络请求以及封装

①先备好springboot的接口 ②安装依赖 在vue中安装网络请求工具的依赖&#xff1a; npm i axios③简单的demo 直接通过axios请求尝试一下&#xff1a; <script> import axios from "axios";export default {name: HomeView,data() {return {users:[]}}, …
阅读更多...
如何监控另一台电脑屏幕画面?如何远程监控电脑屏幕?

如何监控另一台电脑屏幕画面?如何远程监控电脑屏幕?

在数字化时代&#xff0c;随着远程工作和协作的普及&#xff0c;电脑屏幕监控的需求也日益增长。无论是出于安全考虑、提高员工工作效率&#xff0c;还是确保企业机密的保密性&#xff0c;电脑屏幕监控都成为了企业不可或缺的管理工具。那么&#xff0c;如何监控另一台电脑屏幕…
阅读更多...
用HTML5 Canvas创造视觉盛宴——动态彩色线条效果

用HTML5 Canvas创造视觉盛宴——动态彩色线条效果

目录 一、程序代码 二、代码原理 三、运行效果 一、程序代码 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <!-- 声明文档类型为XHTML 1.0 Transitional -…
阅读更多...
微信网页版能够使用（会顶掉微信app的登陆）

微信网页版能够使用（会顶掉微信app的登陆）

一、文件结构 新建目录chrome新建icons&#xff0c;其中图片你自己找吧新建文件manifest.json新建文件wx-rules.json 二、文件内容 对应的png你们自己改下 1、manifest.json {"manifest_version": 3,"name": "wechat-need-web","author…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023