前段时间，发现同一段C++代码在windows 、Linux下的运行结果居然不一样，于是测试了一把。
我们都知道，C++中不同作用域中不同的变量是互不干扰的，可以在全局作用域、函数作用域声明同样名字的名字。局部作用域中的变量只在局部作用域中生效，在局部作用域之外是不可见的。
但在for语句中声明的变量，属于for语句所定义的局部作用域吗？
实验环境
visual stuio：visual studio2015； Release版本；x86平台
G++：Debian 4.9.2-10；编译命令 g++ -std=c++11 test_para.cpp -o test_para
实验一
代码：
#include <iostream>
void test_para(int i){
for (int a = 0; a <= 2; a++) {
std::cout << a <<" "<<&a <<std::endl;
}
std::cout << a << " final " << &a << std::endl;
}
int main(){
test_para(1);
return 0;
}
windows运行结果:
0 0030FAE8
1 0030FAE8
2 0030FAE8
00C61040 final 00C61040
Linux运行结果
编译失败
error: ‘a‘ was not declared in this scope
按照我的认知，在for语句中定义的变量属于局部变量，因此离开for语句块之后变量应该是不可见的，Linux下G++的编译结果正是如此，a在函数作用域没有声明。WIndow下的结果就比较诡异，a既不是for语句种的‘a‘（地址不同），而且a的值与a的地址居然是一样的，maybe undefined。
实验二
代码：
#include <iostream>
void test_para(int a){
for (int a = 0; a <= 2; a++) {
std::cout << a <<" "<<&a <<std::endl;
}
std::cout << a << " final " << &a << std::endl;
}
int main(){
test_para(1);
return 0;
}
windows运行结果
0 0045F93C
1 0045F93C
2 0045F93C
1 final 0045F940
Linux运行结果
0 0x7ffda0098e9c
1 0x7ffda0098e9c
2 0x7ffda0098e9c
1 final 0x7ffda0098e8c
注意，代码与实验一的代码差异非常小，仅仅是test_para的形参名也叫’a‘，与for语种的局部变量重名。在这段代码中，Linux和Windows的结果是一样的：函数作用域的‘a’与for语句种的‘a‘是互不干扰的两个变量。
实验三
代码：
#include <iostream>
void test_para(int a){
for (a = 0; a <= 2; a++) {
std::cout << a <<" "<<&a <<std::endl;
}
std::cout << a << " final " << &a << std::endl;
}
int main(){
test_para(1);
return 0;
}
windows运行结果
0 0035FD74
1 0035FD74
2 0035FD74
1 final 0035FD8
Linux运行结果
0 0x7ffe4838156c
1 0x7ffe4838156c
2 0x7ffe4838156c
3 final 0x7ffe4838156c
实验三的代码与实验二的代码区别也很小，仅仅是for语句中直接使用了’a‘，而没有定义‘a‘（没有写成int a）。在Windows上，可以看到在函数作用域的’a‘与for语句中的‘a‘是两个不同的变量（地址不同），但for语句块种的并没有定义啊，感觉是visual studio自行加了一个auto，将 for (a = 0; a <= 2; a++) 变成了 for (auto a = 0; a <= 2; a++)
在Linux上，函数作用域的’a‘与for语句中的‘a‘是同一个变量，这是比较符合常理的，既然for语句块中用到了变量‘a‘，又没有声明，那么自然应该在上一级作用域种查找，也就是找到了函数作用域种的’a‘
总结
可以看到，三次实验中，只有第二次实验Windows(vs)与Linux(g++)表现是一致的，第一次实验与第三次实验，Windows上的运行结果都不太符合预期，特别是实验三，感觉visual studio有点画蛇添足。不过，我也没有查到权威资料，不知道windows linux在这个问题上的差异性是不是因为本身就是undefined，也许通过看汇编也能看出一些端倪。日常工作中如果要考虑平台兼容性，最好是比较明确的写法，比如这里，函数形参和语句块中的局部变量就不要用同样的名字好了。