短变量声明和“声明变量但未使用”错误

我偶然发现了一个奇怪的问题，以下代码无法编译：

func main() {
    var val reflect.Value
    var tm time.Time

    if tm, err := time.Parse(time.RFC3339, "2018-09-11T17:50:54.247Z"); err != nil {
        panic(err)
    }
    val = reflect.ValueOf(tm)

    fmt.Println(val, tm, reflect.TypeOf(tm))
}

出现错误（代码是 linter 推荐的）：

$ go run main.go
# command-line-arguments
./main.go:13:5: tm declared and not used

请注意tm确实使用了变量。

然而，如果我添加一个 else 块 - 一切都会按预期编译：

func main() {
    var val reflect.Value
    var tm time.Time

    if tm, err := time.Parse(time.RFC3339, "2018-09-11T17:50:54.247Z"); err != nil {
        panic(err)
    } else {
        val = reflect.ValueOf(tm)
    }

    fmt.Println(val, tm, reflect.TypeOf(tm))
}

这看起来像是编译器中的错误或者可能是一个已知问题？任何想法？ （我使用的是go 1.11）

编辑：到目前为止所有受访者。按照：https://golang.org/ref/spec#Short_variable_declarations https://golang.org/ref/spec#Short_variable_declarations

与常规变量声明不同，短变量声明可以 重新声明变量，前提是它们最初是在 相同的块（或者参数列表，如果该块是函数 body）具有相同的类型，并且至少有一个非空变量 是新的。因此，重新声明只能出现在 多变量简短声明。重新声明不会引入 新变量；它只是为原始值分配一个新值。

这部分：

if tm, err := time.Parse(...)

创建一个new多变的tm其范围仅在if声明 - 这不是您声明的声明var tm time.Time.

这个新变量没有在if，因此您会得到错误。请注意，您也没有得到外层tm分配，所以fmt.Println将打印零时间，而不是 time.Parse 返回的时间。

要解决此问题： 宣布err并改变你的if读书：

var err error
if tm, err = time.Parse(...)

注意，这是 GO 中的一件微妙的事情，也是一个相当常见的错误来源。这:=事实上，语句可以与已声明的变量和一个或多个变量混合使用new变量 - 如果已经声明的变量在相同的词汇范围。然后，只有新的被自动声明:=其余的只是分配（如=）。但是，如果您使用:=在新的作用域中，然后在该作用域中声明所有变量，并屏蔽任何具有相同名称的外部作用域变量（例如在if;请注意，if条件不在大括号内，但仍被视为在大括号内{code}堵塞;同样的情况发生在for以及 GO 中的其他复合语句）。