参考答案：A

解析： 本题中定义一个全局变量a和一个局部变量a。局部变量和全局变量的不同在于，局部变量的存储单元都是在进入这些局部变量所在的函数体(或复合语句)时生成，退出其所在的函数体(或复合语句)时消失，而全局变量是在函数外部任意位置上定义的变量，它的作用域从变量定义的位置开始，到整个源文件结束为止。若全局变量和某一函数中的局部变量同名，则在该函数中，此全局变量被屏蔽，在该函数内，起作用的将是局部变量，与同名的全局变量不发生任何关系。
在程序中首先定义了变量s并赋值为0，接着在嵌套的复合语句{}中定义了变量a并赋初值为5，接着执行语句s+=a+a；在这条语句中a加1，但表达式a++还是原来的值，故s=s+5，s为5，程序执行到外层，此时{}内定义的变量a不再有效，此时的变量a为{}之前定义的且初值为3，接着执行{}后面的语句s+=a++；相当于执行语句s=s+(++)；即 s=5+3，最后值为8，所以最后输出的s值为8。所以4个选项中A正确。