【Go学习】从一个出core实战问题看Go interface赋值过程

0x01 背景

版本中一个同学找我讨论一个服务出core的问题，最终他靠自己的探索解决了问题，给出了初步的直接原因结论，"Go 中 struct 赋值不是原子的”。间接原因的分析是准确的，直接原因，我有点怀疑。当时写了一些验证代码，也看过具体的汇编，觉得他的结论不能说服我。

断断续续看了下相关的代码，把前后因果串了起来，算是较完整解释了异常。这里只关注直接原因：Go 中 interface 类型与实现类型之间的转换。

0x02 interface 类型与实现类型

Go 的 interface 虽然是一个关键字，却有两种内部类型。在 src/runtime/runtime2.go 中定义。

type eface struct 未包含有具体方法的 interface;
type iface struct 包含具体方法的 interface.

只需要关注 iface 即可。

type iface struct {tab  *itabdata unsafe.Pointer
}

iface 实现的详细分析可参考：https://i6448038.github.io/2020/02/15/golang-reflection/

我们只需要关注这个 struct 包含了两个字段。

另外，Go 中如果一个 struct 的方法集合中包含了某个 interface 中的方法，则这个 struct 就是它的实现类型。可以将这个 struct 实例转换为这个 interface 类型，即接口类型。

0x03 BUG 问题分析

使用如下与出问题的业务中一样的代码，分析具体赋值细节。

package mainimport ("fmt""io""log""os"
)var (debugLog io.WriteCloser
)type logWriter struct {logger *log.Logger
}func newLogWriter(logger *log.Logger) logWriter {return logWriter{logger: logger,}
}func (lw logWriter) Close() error {return nil
}func (lw logWriter) Write(data []byte) (int, error) {lw.logger.Print(string(data))return len(data), nil
}// go:noline
func initLog() {flags := 0x0debugLog = newLogWriter(log.New(os.Stdout, "", flags)) // 重点关注}func main() {fmt.Println("vim-go")initLog()fmt.Println("vim-go2")
}

代码很简单，initLog 中将一个实现类型 logWriter 实例，赋值给一个接口类型 debugLog。
赋值语句通过 dlv 看到的汇编如下：

在这里插入图片描述

箭头指出的两行代码，分别对应 iface struct 中的 tab 和 data 赋值。这当中可能涉及写屏障，但这个场景下是否有写屏障对于分析结果无影响，所以可以不关注它。

也就说明这个从实现类型到接口类型的转换，不是原子的。

不是原子的就会导致出现问题吗？回答这个问题，还需要关注另外一个点，接口类型的判空是如何进行的。一般理解只要接口类型对应的实现类型不为nil 判空应该为 false。具体通过如下的代码，进行简单验证：

package mainimport "fmt"type Inter interface {Hello()
}var hier Intertype hi struct{}func (h *hi) Hello() {
}func main() {var h *hihier = hif h == nil {fmt.Println("h is nil")}if hier == nil {fmt.Println("hier is nil")}
}