解码编译器输出以进行接口运行类型声明

如何解决解码编译器输出以进行接口运行类型声明

我最近在使用Load()的{​​{1}}方法时遇到了空接口。我正在尝试使用空接口类型断言-https://play.golang.org/p/CLyY2y9-2VF

这引起了我的兴趣，我决定偷偷摸摸地看一下编译器采取了什么措施，以便在尝试读取Atomic.Value上的具体值的情况下代码不会惊慌。界面{}（例如，当尚未调用Store时调用nil）。

我可以看到，在不安全的版本中，编译器具有此汇编指令，该汇编指令会引起恐慌：调用runtime.panicdottypeE（SB）

安全版本中显然没有恐慌说明。

有人可以在我们用ok捕获返回值时（也许让我指向godbolt链接中的相应汇编指令）来详细解释编译器在做什么吗？

以下是不安全版本[1]和安全版本[2]的Godbolt编译器链接。

[1] https://godbolt.org/z/76onvj

[2] https://godbolt.org/z/e8aoqe

解决方法

快速总结：它们的作用完全相同，只是ok == false的情况有所不同。

这两个位具有以下共同点：

        pcdata  $0,$0
        pcdata  $1,$0
        call    "".returnEmptyInterface(SB)
        pcdata  $0,$1
        movq    8(SP),AX
        movq    (SP),CX
        pcdata  $0,$2
        leaq    type.bool(SB),DX
        cmpq    CX,DX
        jne     main_pc156   <==== jump
        pcdata  $0,$3
        movblzx (AX),AX

在main_pc156中找到的代码是我们关心的部分。如您所见，对于单值类型断言，这是：

main_pc156:
        movq    DX,8(SP)
        pcdata  $0,$1
        leaq    type.interface {}(SB),AX
        pcdata  $0,$0
        movq    AX,16(SP)
        call    runtime.panicdottypeE(SB)
        xchgl   AX,AX

这是无法回避的，一旦我们跳到main_pc156，我们就会惊慌。

另一方面，二值类型断言的代码为：

main_pc186:
        pcdata  $0,$3
        xorl    AX,AX
        jmp     main_pc62

这与前面的情况有很大的不同，它使我们回到代码的第一位末尾，恢复执行。

,

空接口类型（在运行时包中称为eface）是2个指针，第一个指向基础类型（例如bool类型，int类型，YourStruct类型...），第二个是数据指针（IIRC）在某些情况下是数据本身。

不安全版本：

call "".returnEmptyInterface(SB)   Call the function
pcdata $0,$1                      pcdata is not a real instruction,ignore 
movq 8(SP),AX                     AX <- pointer to data 
movq    (SP),CX                   CX <- pointer to type 
pcdata $0,$2 
leaq type.bool(SB),DX             DX <- pointer to bool type 
cmpq CX,DX                        Compare CX and DX 
jne main_pc156                     If they are not equal jump to main_pc156

在main_pc156中，编译器将调用runtime.panicdottypeE，这基本上会引起恐慌。来自runtime/iface.go的源代码（可以在您的$GOPATH/src中找到）：

func panicdottypeE(have,want,iface *_type) {
    panic(&TypeAssertionError{iface,have,""})
}

安全版本：

pcdata  $0,$0
pcdata  $1,$0
call    "".returnEmptyInterface(SB)    Call the function
pcdata  $0,$1
movq    8(SP),AX                      AX <- pointer to data
movq    (SP),CX                       CX <- pointer to type
main_pc47:
pcdata  $0,$2
leaq    type.bool(SB),DX              DX <- pointer to bool type
cmpq    CX,DX                         Compare CX and DX
jne     main_pc186                     If not equal jump main_pc186
pcdata  $0,$3
movblzx (AX),AX                       AX <- dereference AX
main_pc62:

和main_pc186

pcdata  $0,$3
xorl    AX,AX                        AX <- 0
jmp     main_pc62                     Jump back at the end of previous block

这里AX对应于代码中的x，但是对应于代码中的ok呢？没有！如果您检查println的代码，则会看到：

cmpq    CX,DX                        Compare CX and DX
seteq   AL                            AL <- 1 if CX equal to DX otherwise 0

所以编译器决定在打印时再次比较它们。