变量作用域的疑惑

package main

import (
    "fmt"
    "reflect"
)

func main(){
    name := "wangxb"
    fmt.Println(&name)
    // 1. 此处简短变量声明：age是新声明的，name前面已经声明，所以:=对name就变成了赋值
    name, age := "wangxiaobo", 28
    fmt.Println(&name, age)
    // uid的作用域是if块
    if uid:= "11"; true{
        fmt.Println(&uid)
        uid = "9999"
        fmt.Println(&uid, reflect.TypeOf(uid))
        // 2. 如何按照上面（1）的理解，下面的uid应该也只是被赋值，但是为什么if后声明的uid内存地址和下面这个不一样？
        uid, u := " 1247169", false
        fmt.Println(&uid, u, reflect.TypeOf(uid))
    }


    if true{
        // 3. 如果把uid放到这里来声明，作用域也是if块
        uid:= "11"
        fmt.Println(&uid)
        uid = "9999"
        fmt.Println(&uid, reflect.TypeOf(uid))
        // 和上面那个if一样(2)，uid已经声明过，:=对uid只是相对于赋值操作
        uid, u := " 1247169", false
        fmt.Println(&uid, u, reflect.TypeOf(uid))
    }
}

输出结果：
0xc82000a260
0xc82000a260 28
0xc82000a280
0xc82000a280 string
0xc82000a2b0 false string
0xc82000a2f0
0xc82000a2f0 string
0xc82000a2f0 false string

如上注释中 2 的问题： 我以为： := 简短声明变量会的已声明过的变量进行重新赋值，但是在示例(2)中，uid的内存地址变了 示例(3),当我把uid放到if块里面声明时，:= 对uid进行赋值时确实是一个变量，

所以，我对go的if后变量声明的作用域有些疑惑，哪位大侠清楚或者有相关资料麻烦给推荐一下