比如一个循环
for（::）{
    int i=9;
}如果每次循环不销毁i，那么第二次循环的i=9不是就重复定义了i吗？
但是如果要销毁
int kk=9;
for（::）{
    int *i=(int *)malloc(sizeof(int));
}中每次循环后malloc产生的空间还在吗？如果在，那i会被销毁，而空间还在，那这个没有指针的空间不是也没有任何价值吗？

对于第一个问题：
不存在重复定义，编译器会处理为类似语句
int i=9;
for（::）{
    i=9;
}//循环中重复赋值

第二个问题：编译器处理为
int *i;
for（::）{
    i=(int *)malloc(sizeof(int));
}//每次进入循环分配的空间不一样，i的值发生变化，前一次的值被覆盖
可以用以下程序验证：

#include<stdio.h>
#include<stdlib.h>
int main()
{
    int i=0;
    int *k=NULL;
    for(i=0;i<3;i++)
    {
        k=(int *)malloc(sizeof(int));
        printf("%p\n",k);
    }
    return 0;
}

完全赞同二楼.

有谁去真正探讨过for（；；；）为什么可以无限循环呢。

for是否继续进行的条件,关键在于表达式2
for(; ;) ; 当表达式2什么也不写时,默认为真

靠,第一个循环是栈里的...
第二个循环是堆里的...
你居然混在一起问...很奇葩,很奇葩...

能给我们详细解释下吗？为什么默认是真，有没有真正调试看下怎么执行呢？

如果你问的汇编层面上的我就不知道了!不过这个问题还是提得蛮有意思的!

第一个int i=9 。他在语句块内部，那么这就是一个局部变量，并且生存在栈内存，他的作用于是在整个语句块，而不是一条循环中. 当循环结束之后才会被销毁。而i=9 仅仅是赋值而已
而第二个，是处于堆内存，是不会销毁的。所以每次都是更新i值

这个问题回答的有点蛋疼。不过你问这个问题的目的何在？

局部变量编译器替你搞定，堆上申请的你自己理解的对着呢，你重新赋值，但是申请的内存还在，而且
编译器处理的时候为了方便，会对符号进行优化，不存在局部变量释放的问题

你应该把时间放在真正值得研究的地方，如果编译器不帮你处理这些，编程还不把人麻烦死。

这个问题不是一两句能说清楚的，算了，不扯了