问个 Go 问题，字符串 len == 0 和 字符串== "" ，有啥区别？

[[385917]]

本文转载自微信公众号「 脑子进煎鱼了」，作者陈煎鱼 。转载本文请联系 脑子进煎鱼了公众号。

大家好，我是煎鱼。

前几天在微信群看到几位大佬在讨论一个 Go 语言相关的问题：字符串 len == 0 和 字符串 == ""，有啥区别?“

这是一个比较小的细节点，同时也勾起了我的好奇心，因此今天这篇文章就和大家一起研究一下他们两者有没有区别，谁的性能更好一些?

建议在此处先自行思考一下，在心里给出自己的答案。

测试方法

在测试的方法中，我们分别声明了 Test1 和 Test2 方法：

func Test1() bool { 
 var v string 
 if v == "" { 
  return true 
 } 
 return false 
} 
 
func Test2() bool { 
 var v string 
 if len(v) == 0 { 
  return true 
 } 
 return false 
} 

在方法内部仅做了简单的变量类型声明，分别以 字符串 == "" 和 字符串 len == 0 为判断依据。

测试用例

编写两个方法的 Benchmark，用于后续的性能测试：

func BenchmarkTest1(b *testing.B) { 
 for i := 0; i < b.N; i++ { 
  Test1() 
 } 
} 
 
func BenchmarkTest2(b *testing.B) { 
 for i := 0; i < b.N; i++ { 
  Test2() 
 } 
} 

结果分析

$ go test --bench=. -benchmem 
goos: darwin 
goarch: amd64 
BenchmarkTest1-4    1000000000          0.305 ns/op        0 B/op        0 allocs/op 
BenchmarkTest2-4    1000000000          0.305 ns/op        0 B/op        0 allocs/op 
PASS 
ok   _/Users/eddycjy/go-application/awesomeProject/tests 0.688s 

从多次测试的结果来看，两者比较：

性能几乎没有区别，甚至可以出现一模一样的情况。

均不涉及内存申请和操作，均为 0/op。说明变量并不是声明了，就有初始化动作的，这块 Go 编译器有做优化。

结果上居然是一样的。根据曹大的提示，我们可以进一步看一下两者的汇编代码，看看具体区别在哪里：

$ go tool compile -S main.go 
"".main STEXT nosplit size=1 args=0x0 locals=0x0 
 0x0000 00000 (main.go:3) TEXT "".main(sb), NOSPLIT|ABIInternal, $0-0 
 0x0000 00000 (main.go:3) FUNCDATA $0, gclocals·33cdeccccebe80329f1fdbee7f5874cb(sb) 
 0x0000 00000 (main.go:3) FUNCDATA $1, gclocals·33cdeccccebe80329f1fdbee7f5874cb(sb) 
 0x0000 00000 (main.go:5) RET 
 0x0000 c3                                               . 
go.cuinfo.packagename. SDWARFINFO dupok size=0 
 0x0000 6d 61 69 6e                                      main 
""..inittask SNOPTRDATA size=24 
 0x0000 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00  ................ 
 0x0010 00 00 00 00 00 00 00 00                          ........ 
gclocals·33cdeccccebe80329f1fdbee7f5874cb SRODATA dupok size=8 
 0x0000 01 00 00 00 00 00 00 00    

无论是 len(v) == 0，又或是 v == "" 的判断，其编译出来的汇编代码都是完全一致的。可以明确 Go 编译器在这块做了明确的优化，大概率是直接比对了。

因此在 Go 语言中 字符串 len == 0 和 字符串 == "" 的判定，这两者可以认为是没有区别的。