通过一道面试题带你了解内存分析和调试的重要性

通过一道面试题带你了解内存分析和调试的重要性

曾经有一家公司有一道面试题目如下：

在Linux x86_64 gcc环境下，下面的程序会出现什么问题？运行结果是什么？为什么？

肯定很多面试者看到了就立马说：“数组越界了嘛。”

确实如此，但是结果是什么呢？想必很多人都是不知道的，结果是死循环打印数字，让我们来分析分析。

因为我用的是VS编译器，那么我这里就写一个和题目相仿的题来分析：

#include int main(){ long i; long arr[16]; for (i = 0; i <= 18; i++) { arr[i] = 0; printf("%d",i); } return 0;}

代码的结果是死循环打印数字，准确来说我这道题是死循环打印0-17的数字，那么原因是什么呢？

原理：

首先i和arr数组都是局部变量，所以他们都是放在内存中的栈区上的，而栈区内存的使用有一个规定：先使用高地址处的空间，再使用低地址处的空间。

而数组也有一个规定：数组随着下标的变化，地址由低到高。

因为i变量定义在arr数组之前，所以i变量的地址就比arr数组的高，这样我们可以通过画图来解释：

所以，当数组适当越界得情况下，就可能导致越界访问到循环变量i，改变i得值就可能导致死循环。

这样，i的值就一直循环地从0-17，也就是循环打印0-17得数字了。

相信有博友会质疑为什么一定i和arr数组之间就恰好各了两个空格(也就是8个字节)呢？这难道不是巧合吗？ 确实，编译器不同i和arr数组之间所差的字节不同，而在VS编译器下就差8个字节，但是在开头所说的Linux x86_64 gcc环境下，它们所差的就是4个字节(也就是一个格子)，所以我在VS编译器中运行时就故意将题中的条件：i<=17改为了i<=18,这样才能变为死循环。

版权声明：本文内容由网络用户投稿，版权归原作者所有，本站不拥有其著作权，亦不承担相应法律责任。如果您发现本站中有涉嫌抄袭或描述失实的内容，请联系我们jiasou666@gmail.com 处理，核实后本网站将在24小时内删除侵权内容。