*(*int)(nil) = 0 在 golang 中是什么意思？

Question

我注意到*(*int)(nil) = 0函数中有一行throw

//go:nosplit
func throw(s string) {
    // Everything throw does should be recursively nosplit so it
    // can be called even when it's unsafe to grow the stack.
    systemstack(func() {
        print("fatal error: ", s, "\n")
    })
    gp := getg()
    if gp.m.throwing == 0 {
        gp.m.throwing = 1
    }
    fatalthrow()
    *(*int)(nil) = 0 // not reached
}

是什么*(*int)(nil) = 0意思？既然这条线*(*int)(nil) = 0无法到达，为什么它在这里？有什么特殊用法吗？

Answer 1

线路：

*(*int)(nil) = 0

尝试取消引用nil指针并为其分配值，这始终是运行时恐慌。代码永远不应该到达这一行，但是如果它无论如何都会（例如，将来发生错误的代码更改），它就会恐慌，因此可以检测到错误并且不会被忽视。

在您的代码中做类似的事情也是常识，但使用更明显的“构造”，例如panic("unreachable"). 例如：

func sign(a int) string {
    switch {
    case a > 0:
        return "Positive"
    case a < 0:
        return "Negative"
    case a == 0:
        return "Zero"
    default:
        panic("unreachable")
    }
}

请注意，在此示例中，这不仅是为了及早检测错误，而且还是一项要求，因为对于编译器而言，无法保证会到达 return 语句。您也可以panic("unreachable")在switch（而不是default分支）之后移动语句，这是一个品味问题。

如果您将上述函数更改为不返回但打印符号，那么让default分支恐慌仍然是一个好习惯，尽管在此变体中这不是必需的：

func printSign(a int) {
    switch {
    case a > 0:
        fmt.Println("Positive")
    case a < 0:
        fmt.Println("Negative")
    case a == 0:
        fmt.Println("Zero")
    default:
        panic("unreachable")
    }
}