《狂人C》中191页提到“每次运行到auto变量j所在block，会为j寻找存储空间，离开j所在代码模块，j的内存被释放掉。
这是不正确的。
结论应该是：对于C语言而言，本地变量会在栈开始处申请，栈销毁时结束生命。但是本地变量的作用域与所在block相关。之所以编译不通过，是因为这种block之外访问block之内变量的语法是错误的，离开本地变量所在block{}，它的作用域无效，但不是说销毁了。
作用域错误是语法层面的。而生存期（存在销毁）与程序栈相关，是运行时的概念，它们是两码事。而且，有没有auto这个keyword修饰，结果都一样，所以auto用不用没有任何意义。
关于C语言程序栈以及调用规范，可以参考我前面翻译的文章：http://sunxiunan.com/?p=1229 也可以查找wiki关于calling conversion方面的资料。
下面我们通过这段代码说明一下：
https://gist.github.com/748095
int main (int argc, char *argv[])
{
int a = 99;
int b = a;
int* pLocala = NULL;
int* pLocalb = NULL;
int d = 1;
printf("hello world \n");
do{
int a = 3;
int b = 23;
pLocala = &a;
pLocalb = &b;
b = a + 5;
printf("%d %p\n", b, &a);
}while(0);
int e = 1;
b = a;
printf("%d %p\n", b, &a);
printf("%p %p %p %p %p %p %p %p\n", &e, pLocalb, pLocala, &d, &pLocalb, &pLocala, &b, &a);
return(0);
}
如果你运行这段代码（无论是VC++还是GCC），最后printf出来的结果应该是连续的，而&pLocala和&pLocalb其实就是一种while循环中定义的变量a和b所在地址，可以看出来它们夹在变量d与e中间。
我们可以用汇编代码看的更清楚一些，在VC2010生成的汇编代码（C源代码与前面略有不同），完整输出参考 https://gist.github.com/748116
————————————————
; COMDAT _wmain
_TEXT SEGMENT
_b$4410 = -32 ; size = 4
_a$4409 = -20 ; size = 4
_a$ = -8 ; size = 4
_argc$ = 8 ; size = 4
_argv$ = 12 ; size = 4
; 7 : {
……
; 8 : int a = 0;
mov DWORD PTR _a$[ebp], 0
$LN3@wmain:
; 9 :
; 10 : do
; 11 : {
; 12 : auto int a = 3;
mov DWORD PTR _a$4409[ebp], 3
; 13 : auto int b = 0;
mov DWORD PTR _b$4410[ebp], 0
……
——————————————
可以看到中间;12 : auto int a = 3;使用的是这样的汇编代码
mov DWORD PTR _a$4409[ebp], 3
很显然_a$4409是在程序栈开始位置定义，而不是书中提到的”每次进入block时定义”。
此文发在CU后得到不少有价值的评论
http://bbs.chinaunix.net/thread-1834663-2-1.html
果然如我所料，如果没有O1这个编译选项，VC++2010是不会压缩空间的。
如果加了O1这个”mini space”优化选项，出来的结果也不是OwnWaterloo提到的，临时变量都没有了，优化得很彻底。
我用的是VC2010，过早的优化果然罪恶！（开个玩笑）
无论如何，还是要谢谢OwnWaterloo的说法：勿以汇编释语言。
其实我也同意这个看法，所以尽量以K&R来作为解读文本。
但是对于一些实现相关的内容，如果还有通过自身的解释或者对标准的注解来做说明，那是非常费劲的。
《狂人C》中对++前后缀方式的说明就是如此，尽管键盘农夫试图把++解释的更为通俗易懂深入浅出，但是我看了还是一头雾水。
而当我看过++代码生成的“无优化VC++2010特别为了注释”版本以后，就恍然大悟，源码之下别无秘密。
而且，如果没有我用汇编展示的这个例子，OwnWaterloo大侠也不会出手解释，从这点来讲，也是抛砖引玉。
当然也可以说我这是一种误读，太细化，系统及平台依赖太强，
但是我感觉用汇编来解读部分C语言实现相关的细节，在现阶段对我而言是有帮助的，那就可以了。
int _tmain(int argc, _TCHAR* argv[])
{
int a = 0;
do
{
char buf[1024];
buf[0] = 1;
}while (0);
a = 3;
do
{
char buf[1024];
buf[0] = 93;
}while(0);
return 0;
}
ASM输出结果为：
_TEXT SEGMENT
_buf$4413 = -2076 ; size = 1024
_buf$4409 = -1044 ; size = 1024
_a$ = -12 ; size = 4
__$ArrayPad$ = -4 ; size = 4
_argc$ = 8 ; size = 4
_argv$ = 12 ; size = 4
_wmain PROC ; COMDAT
; 7 : {
push ebp
mov ebp, esp
sub esp, 2272 ; 000008e0H
push ebx
push esi
push edi
lea edi, DWORD PTR [ebp-2272]
mov ecx, 568 ; 00000238H
mov eax, -858993460 ; ccccccccH
rep stosd
mov eax, DWORD PTR ___security_cookie
xor eax, ebp
mov DWORD PTR __$ArrayPad$[ebp], eax
; 8 : int a = 0;
mov DWORD PTR _a$[ebp], 0
$LN6@wmain:
; 9 :
; 10 : do
; 11 : {
; 12 : char buf[1024];
; 13 : buf[0] = 1;
mov BYTE PTR _buf$4409[ebp], 1
; 14 : }while (0);
xor eax, eax
jne SHORT $LN6@wmain
; 15 :
; 16 : a = 3;
mov DWORD PTR _a$[ebp], 3
$LN3@wmain:
; 17 :
; 18 : do
; 19 : {
; 20 : char buf[1024];
; 21 : buf[0] = 93;
mov BYTE PTR _buf$4413[ebp], 93 ; 0000005dH
; 22 : }while(0);