golang for循环体中创建的变量的作用域

一直纠结 for 循环变量的作用域问题，go
语言圣经是说明但是说的有些生涩，查询了菜鸟教程，但是发现菜鸟教程中没有提及。随即便自己写了一个测试

GO版本：1.17.3

测试一：循环体内创建，测试外部是否能够生效

package main

import "fmt"

func main(){
	test1()
}

func test1(){
	for i := 0; i < 2; i++ {
		var a string
		a = "a"
		fmt.Printf(a)
	}
	// 会报错，所以我们知道了，for 语句中定义的变量，for 循环外无法使用
	fmt.Printf(a)
}

测试二：函数内创建变量，循环体内创建同名变量

package main

import "fmt"

func main(){
	test2()
}

func test2(){
	// 提前声明了变量 a，并且进行了赋值，
	var a string
	a = "test"
	for i := 0; i < 2; i++ {
		var a string
		a = "a"
    // 输出为 a
		fmt.Printf(a)
	}
	fmt.Printf(a) // 输出为 test
}

这里比较有意思的地方是：两个变量都能正常使用，并且互不影响

测试三：基于第二个测试，我们尝试将函数中的 a 设置为不同类型

package main

import "fmt"

func main(){
	test3()
}

func test3(){
	// 编译会报错
	var a int
	for i := 0; i < 2; i++ {
		var a string
		a = "a"
		fmt.Printf(a)
	}
	// 会报错，提示 cannot use a (type int) as type string in argument to fmt.Printfgo
	fmt.Printf(a)
}

结论：

• for 循环内创建的变量只能在循环体中使用
• 如果 for 循环体中创建的变量，父作用域中已经存在，那么变量类型则必须形同，否则将报错。
• for 循环体中创建的变量和父作用域的同名变量互不干涉