对于循环的一次探索

写算法题的时候突然想到，为什么循环内定义变量不会算作是重复定义，以及变量作用域问题，为此，进行了一次探索

---

c：

代码：

#include <stdio.h>
int main()
{
	int a = 0;
	int* b = &a;
	for (int i = 0; i < 3; i++) 
	{
		printf("%d\n", a);
		printf("%p\n",&a);
		int a = i;
		printf("%d\n", a);
		printf("%p\n", &a);
		printf("------------------\n");
	}
	return 0;
}

运行结果：

0
010FF91C
0
010FF8F8
------------------
0
010FF91C
1
010FF8F8
------------------
0
010FF91C
2
010FF8F8
------------------

---

java:

代码：

public class Main{
    public static void main(String[]args) {
        int a = 1;
        for(int i = 0 ;i<2;i++){
            int a = i;
            System.out.println(a);
            System.out.println("---------------------");
        }
    }
}

java: 已在方法 main(java.lang.String[])中定义了变量 a

---

go：

代码：

import "fmt"

func main() {
	a := 0
	for i := 0; i < 3; i++ {
		fmt.Println(a)
		fmt.Println(&a)
		var a = i
		fmt.Println(a)
		fmt.Println(&a)
		fmt.Println("________________________")
	}
}

结果：

0
0xc00000a0b8            
0                       
0xc00000a100            
________________________
0                       
0xc00000a0b8            
1                       
0xc00000a110            
________________________
0                       
0xc00000a0b8            
2                       
0xc00000a120            
________________________

查阅资料得知，这个属于是变量作用域的问题，局部变量如果超出作用域就会销毁，正如C语言代码运行结果那样，循环内定义同一变量的地址值是不会改变的。

而且代码在编译时，会将重复定义的变量”提出“到循环外定义，也就是说，在循环内定义和循环外定义在占用内存上几乎一样

至于同名变量可以既在循环内定义，又在循环外定义，这点还是跟作用域有关，但为什么java不能这样定义，emmm，没有查到相关资料，知道的可以补充一下

---

还有个问题，那为什么go定义出来的变量地址不一样呢？是没有销毁原来的局部变量吗？这就要说到Go 有 escape analysis, 在编译期，它会分析你的变量是否在函数执行完毕那一刻，程序有没有可能有别的对象引用到它（所谓逃逸），如果没有，那这个变量就可以在栈上分配，完全不经过 gc，如果它已经逃逸了，那就不知道什么时候才能gc了~

这个代码中的逃逸是由于fmt导致的，我们不妨不恰当的修改一下代码

import "fmt"

func main() {
	a := 0
	for i := 0; i < 3; i++ {
		println(a)
		println(&a)
		var a = i
		println(a)
		println(&a)
		fmt.Println("________________________")
	}
}

结果：

0
0xc00006ff18            
0                       
0xc00006ff10            
________________________
0                       
0xc00006ff18            
1                       
0xc00006ff10            
________________________
0                       
0xc00006ff18            
2                       
0xc00006ff10            
________________________

可以看到，当我们不使用标准输出流，而是使用标准错误流打印的时候，可能就不会触发逃逸，看到此时地址是一样的，也就是印证了我们上面的结论。