字符串 len == 0 和 字符串== “” ，有啥区别？

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

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

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

测试方法

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

  1. func Test1() bool {
  2.  var v string
  3.  if v == "" {
  4.   return true
  5.  }
  6.  return false
  7. }
  9. func Test2() bool {
  10.  var v string
  11.  if len(v) == 0 {
  12.   return true
  13.  }
  14.  return false
  15. }

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

测试用例

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

  1. func BenchmarkTest1(b *testing.B) {
  2.  for i := 0; i < b.N; i++ {
  3.   Test1()
  4.  }
  5. }
  7. func BenchmarkTest2(b *testing.B) {
  8.  for i := 0; i < b.N; i++ {
  9.   Test2()
  10.  }
  11. }

结果分析

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

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

  • 性能几乎没有区别，甚至可以出现一模一样的情况。
  • 均不涉及内存申请和操作，均为 0/op。说明变量并不是声明了，就有初始化动作的，这块 Go 编译器有做优化。

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

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

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

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

大家有没有其他的看法和拓展呢，欢迎一起来学习和交流。