深入理解Go语言短变量声明的变量重声明规则及其应用

package main

import (
    "fmt"
    "os"
)

// f 函数声明了一个名为 err 的返回参数
func f() (err os.Error) {
    // proc 是新声明的变量，err 是在同一代码块（函数体）中重声明的变量
    // 这里的 err 会更新函数返回参数 err 的值
    proc, err := os.StartProcess("non_existent_process", nil, nil) // 假设这里会返回错误
    _ = proc // 避免 unused 错误

    // 此时的 err 变量就是函数的返回参数 err
    fmt.Println("Inside f(), err:", err) 
    return // 返回的 err 就是上面被更新的值
}

func main() {
    returnedErr := f()
    fmt.Println("From main(), returnedErr:", returnedErr)
}

package main

import (
    "fmt"
    "os"
)

// f 函数声明了两个命名返回参数 err1 和 err2
func f() (err1 os.Error, err2 os.Error) {
    // 1. 在函数主块中声明并初始化 err1
    fi, err1 := os.Stat("== err1 os.Error ==") // 尝试访问一个不存在的文件
    _ = fi

    // 2. 进入一个内部代码块
    {
        // 在内部块中声明一个新的局部变量 'e'
        // 注意：这里使用 'e' 而不是 'err2' 来避免与外部的 err2 混淆
        fi, e := os.Stat("== e os.Error ==") // 再次尝试访问一个不存在的文件
        _ = fi

        // 将内部局部变量 'e' 的值显式赋值给外部的 err2
        err2 = e 
    }
    return // 返回更新后的 err1 和 err2
}

func main() {
    err1, err2 := f()
    fmt.Println("f() err1:", err1)
    fmt.Println("f() err2:", err2)
}

f() err1: stat == err1 os.Error ==: no such file or directory
f() err2: stat == e os.Error ==: no such file or directory

package main

import (
    "fmt"
    "os"
)

// f 函数声明了两个命名返回参数 err1 和 err2
func f() (err1 os.Error, err2 os.Error) {
    // 1. 使用 var 声明 fi，然后通过 = 赋值 err1
    var fi os.FileInfo // 显式声明 fi
    fi, err1 = os.Stat("== err1 os.Error ==") // 此时 err1 是赋值操作
    _ = fi

    // 2. 进入一个内部代码块
    {
        // 在内部块中再次使用 var 声明 fi (这是一个新的局部 fi)
        var fi os.FileInfo 
        // 此时 err2 是赋值操作，更新了外部的 err2
        fi, err2 = os.Stat("== err2 os.Error ==") 
        _ = fi
    }
    return // 返回更新后的 err1 和 err2
}

func main() {
    err1, err2 := f()
    fmt.Println("f() err1:", err1)
    fmt.Println("f() err2:", err2)
}

f() err1: stat == err1 os.Error ==: no such file or directory
f() err2: stat == err2 os.Error ==: no such file or directory