所谓的数组越界，简单地讲就是指数组下标变量的取值超过了初始定义时的大小，导致对数组元素的访问出现在数组的范围之外，这类错误也是 C 语言程序中最常见的错误之一。

在 C 语言中，数组必须是静态的。换而言之，数组的大小必须在程序运行前就确定下来。由于 C 语言并不具有类似 Java 等语言中现有的静态分析工具的功能，可以对程序中数组下标取值范围进行严格检查，一旦发现数组上溢或下溢，都会因抛出异常而终止程序。也就是说，C 语言并不检验数组边界，数组的两端都有可能越界，从而使其他变量的数据甚至程序代码被破坏。

因此，数组下标的取值范围只能预先推断一个值来确定数组的维数，而检验数组的边界是程序员的职责。

一般情况下，数组的越界错误主要包括两种：数组下标取值越界与指向数组的指针的指向范围越界。

数组下标取值越界

数组下标取值越界主要是指访问数组的时候，下标的取值不在已定义好的数组的取值范围内，而访问的是无法获取的内存地址。例如，对于数组 int a[3]，它的下标取值范围是[0，2]（即a[0]、a[1] 与 a[2]）。如果我们的取值不在这个范围内（如 a[3]），就会发生越界错误。示例代码如下所示：

1int a[3];
2int i=0;
9 m& I. W3 W$ D6 ]" ~. e( Y/ k 3for(i=0;i<4;i++)
4{
% k. z5 g( p7 c7 O 5    a = i;
6}
7for(i=0;i<4;i++)
8{
9    printf("a[%d]=%d\n",i,a);
10}
- J$ E2 F5 L3 G; F8 Z

很显然，在上面的示例程序中，访问 a[3] 是非法的，将会发生越界错误。因此，我们应该将上面的代码修改成如下形式：

1int a[3];
. y  V3 O' J3 s6 H 2int i=0;
2 u; o2 K% a2 K 3for(i=0;i<3;i++)
4{
5    a = i;
$ a$ y; P7 F% ] 6}
7for(i=0;i<3;i++)
8{
3 M  e: Q) l% h 9    printf("a[%d]=%d\n",i,a);
4 A# G. X: G7 k% I10}
指向数组的指针的指向范围越界

指向数组的指针的指向范围越界是指定义数组时会返回一个指向第一个变量的头指针，对这个指针进行加减运算可以向前或向后移动这个指针，进而访问数组中所有的变量。但在移动指针时，如果不注意移动的次数和位置，会使指针指向数组以外的位置，导致数组发生越界错误。下面的示例代码就是移动指针时没有考虑到移动的次数和数组的范围，从而使程序访问了数组以外的存储单元。

1int i;
2int *p;
/ s, H" Z& p: q, o4 c) s1 L. b 3int a[5];
2 k" h- Z+ }0 {5 j. v4 c 4/*数组a的头指针赋值给指针p*/
5p=a;
7 M& x8 T3 e" r. v6 v1 Y% S5 f 6for(i=0;i<10;i++)
0 Q. ]6 P2 X, Y+ z3 k# ^7 K 7{
( }0 {8 _3 k$ {% R2 V* m 8    /*指针p指向的变量*/
: ^- H( J8 K9 K! c0 G3 w 9    *p=i+10;
3 u; O1 }7 V6 T  F# r; [! g  e% r10    /*指针p下一个变量*/
11    p++;
  \/ o/ v- I# N, v1 q6 D$ a' W12}
+ v  ?+ K$ ~% w9 M+ l

在上面的示例代码中，for 循环会使指针 p 向后移动 10 次，并且每次向指针指向的单元赋值。但是，这里数组 a 的下标取值范围是 [0，4]（即 a[0]、a[1]、a[2]、a[3] 与 a[4]）。因此，后 5 次的操作会对未知的内存区域赋值，而这种向内存未知区域赋值的操作会使系统发生错误。正确的操作应该是指针移动的次数与数组中的变量个数相同，如下面的代码所示：

1int i;
" y1 l1 ^5 W! y 2int *p;
" }& y% G. j# ^  o1 h4 M 3int a[5];
6 t# b" q& M8 s' C 4/*数组a的头指针赋值给指针p*/
5p=a;
6for(i=0;i<5;i++)
- v+ W9 s& a0 C* S0 F. g 7{
# _  C$ \8 F7 D& i 8    /*指针p指向的变量*/
/ w) d$ M, P. e! Q. U 9    *p=i+10;
0 V$ X+ U4 G0 o/ p) }10    /*指针p下一个变量*/
11    p++;
12}

为了加深大家对数组越界的了解，下面通过一段完整的数组越界示例来演示编程中数组越界将会导致哪些问题。

1#define PASSWORD "123456"
2int Test(char *str)
$ I  L& J0 T- j 3{
! Y$ x  m+ c1 H- F5 T 4    int flag;
5    char buffer[7];
' v$ f. }& d* N0 j5 C! f  _ 6    flag=strcmp(str,PASSWORD);
7 m5 b+ g2 a1 q4 Y7 r: h 7    strcpy(buffer,str);
8    return flag;
9}
' _4 h0 t$ V6 ^10int main(void)
11{
! |' s: e1 F: j12    int flag=0;
! m/ y! b8 m7 h$ S" k13    char str[1024];
8 N& {8 v1 E& s- A14    while(1)
0 k5 `# }$ w8 P  p15    {
" h1 Z% ]# B9 W' v% o16        printf("请输入密码：  ");
. T: j" B8 X7 D17        scanf（"%s",str);
+ [6 o& ]6 g0 l7 }5 y18        flag = Test(str);
19        if(flag)
20        {
21            printf("密码错误！\n");
22        }
23            else
24            {
6 q! k7 ^' b) R$ q) E25                printf("密码正确！\n");
4 b6 S% _/ p: S5 Q9 |$ F& G% s26            }
27    }
2 ~% k# c+ F- T' M2 F28    return 0;
8 J% S& G2 c' o8 w0 v7 j$ w; ?29}
9 T- T$ l  z" V

上面的示例代码模拟了一个密码验证的例子，它将用户输入的密码与宏定义中的密码123456进行比较。很显然，本示例中最大的设计漏洞就在于 Test() 函数中的strcpy(buffer,str) 调用。

由于程序将用户输入的字符串原封不动地复制到 Test() 函数的数组 char buffer[7] 中。因此，当用户的输入大于 7 个字符的缓冲区尺寸时，就会发生数组越界错误，这也就是大家所谓的缓冲区溢出Buffer overflow 漏洞。

但是要注意，如果这个时候我们根据缓冲区溢出发生的具体情况填充缓冲区，不但可以避免程序崩溃，还会影响到程序的执行流程，甚至会让程序去执行缓冲区里的代码。示例运行结果为：

1请输入密码:12345
2密码错误！
3请输入密码:123456
4密码正确！
5请输入密码:1234567
1 l* b' |& F8 ?# @8 u) @ 6密码正确！
7请输入密码:aaaaaaa
8密码正确！
9请输入密码:0123456
10密码错误！
: d. d; i7 ^( K! s# l11请输入密码:

在示例代码中，flag 变量实际上是一个标志变量，其值将决定着程序是进入密码错误的流程（非 0）还是“密码正确”的流程（0）。当我们输入错误的字符串1234567或者aaaaaaa，程序也都会输出“密码正确”。但在输入0123456的时候，程序却输出“密码错误”，这究竟是为什么呢？

其实，原因很简单。当调用 Test() 函数时，系统将会给它分配一片连续的内存空间，而变量 char buffer[7] 与 int flag 将会紧挨着进行存储，用户输入的字符串将会被复制进 buffer[7] 中。如果这个时候，我们输入的字符串数量超过 6 个（注意，有字符串截断符也算一个），那么超出的部分将破坏掉与它紧邻着的 flag 变量的内容。

当输入的密码不是宏定义的123456时，字符串比较将返回 1 或 -1。我们都知道，内存中的数据按照 4 字节（DWORD）逆序存储，所以当 flag 为 1 时，在内存中存储的是0x01000000。如果我们输入包含 7 个字符的错误密码，如aaaaaaa，那么字符串截断符 0x00 将写入 flag 变量，这样溢出数组的一个字节 0x00 将恰好把逆序存放的 flag 变量改为 0x00000000。在函数返回后，一旦 main 函数的 flag 为 0，就会输出“密码正确”。这样，我们就用错误的密码得到了正确密码的运行效果。

而对于0123456，因为在进行字符串的大小比较时，它小于123456，flag的值是 -1，在内存中将按照补码存放负数，所以实际存储的不是 0x01000000 而是0xffffffff。那么字符串截断后符 0x00 淹没后，变成 0x00ffffff，还是非 0，所以没有进入正确分支。

其实，本示例只是用一个字节淹没了邻接变量，导致程序进入密码正确的处理流程，使设计的验证功能失效。

尽量显式地指定数组的边界

在 C 语言中，为了提高运行效率，给程序员更大的空间，为指针操作带来更多的方便，C 语言内部本身不检查数组下标表达式的取值是否在合法范围内，也不检查指向数组元素的指针是不是移出了数组的合法区域。因此，在编程中使用数组时就必须格外谨慎，在对数组进行读写操作时都应当进行相应的检查，以免对数组的操作超过数组的边界，从而发生缓冲区溢出漏洞。

要避免程序因数组越界所发生的错误，首先就需要从数组的边界定义开始。尽量显式地指定数组的边界，即使它已经由初始化值列表隐式指定。示例代码如下所示：

1int a[]={1,2,3,4,5,6,7,8,9,10};

很显然，对于上面的数组 a[]，虽然编译器可以根据始化值列表来计算出数组的长度。但是，如果我们显式地指定该数组的长度，例如：

1int a[10]={1,2,3,4,5,6,7,8,9,10};
: [/ x4 Y/ v2 Z/ ~

它不仅使程序具有更好的可读性，并且大多数编译器在数组长度小于初始化值列表的长度时还会发生相应警告。

当然，也可以使用宏的形式来显式指定数组的边界（实际上，这也是最常用的指定方法），如下面的代码所示：

1#define MAX 10
2…
3int a[MAX]={1,2,3,4,5,6,7,8,9,10};
& a7 L5 U3 B8 p7 O' A- Y% Q  F' D

除此之外，在 C99 标准中，还允许我们使用单个指示符为数组的两段“分配”空间，如下面的代码所示：

1int a[MAX]={1,2,3,4,5,[MAX-5]=6,7,8,9,10};
( @" q. l; J- n: ]: m

在上面的 a[MAX]数组中，如果 MAX 大于 10，数组中间将用 0 值元素进行填充（填充的个数为 MAX-10，并从 a[5] 开始进行 0 值填充）；如果 MAX 小于 10，[MAX-5]之前的 5 个元素（1，2，3，4，5）中将有几个被[MAX-5]之后的 5 个元素（6，7，8，9，10）所覆盖，示例代码如下所示：

1#define MAX 10
2#define MAX1 15
3#define MAX2 6
4int main(void)
5{
) t! w4 m. d; i- g- p& m 6    int a[MAX]={1,2,3,4,5,[MAX-5]=6,7,8,9,10};
: A& |1 x/ F5 z7 P3 S 7    int b[MAX1]={1,2,3,4,5,[MAX1-5]=6,7,8,9,10};
8    int c[MAX2]={1,2,3,4,5,[MAX2-5]=6,7,8,9,10};
9    int i=0;
2 R2 S7 q3 G- G! k8 n10    int j=0;
- Y+ a" I) ]$ s4 F6 I11    int z=0;
12    printf("a[MAX]：\n");
/ g! t$ M8 e$ D: [13    for(i=0;i<MAX;i++)
* V) r9 M7 D2 H0 @* y14    {
& T& O/ A7 T6 ], Y15        printf("a[%d]=%d ",i,a);
16    }
17    printf("\nb[MAX1]：\n");
18    for(j=0;j<MAX1;j++)
19    {
/ r6 ]/ r) a8 H# `0 i9 z! `20        printf("b[%d]=%d ",j,b[j]);
21    }
) ?* [/ d& d8 y( G" _7 q8 l* Q22    printf("\nc[MAX2]：\n");
, R& ]9 l  z3 M/ D23    for(z=0;z<MAX2;z++)
, M( T" {" A( |3 A" q, F4 R. [4 l24    {
9 l7 ?) f& v9 l4 U, ~& V) ?- F25        printf("c[%d]=%d ",z,c[z]);
6 s0 T. K0 D' w/ n5 h! y4 i4 \26    }
1 `* t; s3 n7 G7 ~27    printf("\n");
' p1 b  c9 @9 ^  c28    return 0;
' j% ]0 v1 K& c1 Y29}
. [$ O, O5 L9 n# S8 ?

运行结果为：

1a[MAX]：
2a[0]=1 a[1]=2 a[2]=3 a[3]=4 a[4]=5 a[5]=6 a[6]=7 a[7]=8 a[8]=9 a[9]=10
/ J$ g+ f% w9 a, k; ?6 l( P7 `1 n3b[MAX1]：
4b[0]=1 b[1]=2 b[2]=3 b[3]=4 b[4]=5 b[5]=0 b[6]=0 b[7]=0 b[8]=0 b[9]=0 b[10]=6 b[11]=7 b[12]=8 b[13]=9 b[14]=10
5c[MAX2]：
5 a. A% c/ v4 `6 j5 b6c[0]=1 c[1]=6 c[2]=7 c[3]=8 c[4]=9 c[5]=10
5 n( {- N( y  s+ S对数组做越界检查，确保索引值位于合法的范围之内

要避免数组越界，除了上面所阐述的显式指定数组的边界之外，还可以在数组使用之前进行越界检查，检查数组的界限和字符串（也以数组的方式存放）的结束，以保证数组索引值位于合法的范围之内。例如，在写处理数组的函数时，一般应该有一个范围参数；在处理字符串时总检查是否遇到空字符‘\0’。

来看下面一段代码示例：

1#define ARRAY_NUM 10
2int *TestArray(int num,int value)
3{
4    int *arr=NULL;
5    arr=(int *)malloc(sizeof(int)*ARRAY_NUM);
6    if(arr!=NULL)
& O9 ]$ _$ K8 Z+ i! u5 c2 X  Y 7    {
, `- r$ l3 q5 M$ v- P. w 8        arr[num]=value;
9    }
10    else
11    {
) c8 {  z# N7 S7 v5 S0 Q12        /*处理arr==NULL*/
9 T8 y& ^% }8 ~8 |8 U13    }
14    return arr;
& H6 `) @. [1 G& R' Q; j& y( F15}

从上面的int*TestArray（int num，int value）函数中不难看出，其中存在着一个很明显的问题，那就是无法保证 num 参数是否越界（即当num>=ARRAY_NUM的情况）。因此，应该对 num 参数进行越界检查，示例代码如下所示：

1int *TestArray(int num,int value)
2{
( c; [8 p/ d1 C' N' U; B 3    int *arr=NULL;
4 u- D9 a$ X, z/ \  A4 p* h" ] 4    /*越界检查(越上界)*/
5    if(num<ARRAY_NUM)
7 V- }9 V9 U: U 6    {
7        arr=(int *)malloc(sizeof(int)*ARRAY_NUM);
; ]( ^1 {: U0 ~9 H: I; g# t+ ~+ O 8        if(arr!=NULL)
9        {
10            arr[num]=value;
3 @& W" U# K" ~11        }
8 ?9 U9 u, O$ u& D" B12        else
2 N9 n* k' O8 Z7 J$ i8 a13        {
14            /*处理arr==NULL*/
5 O- G$ G% k# O' P3 n9 t15        }
16    }
% p6 r9 @) a0 U17    return arr;
18}

这样通过if（num<ARRAY_NUM）语句进行越界检查，从而保证 num 参数没有越过这个数组的上界。现在看起来，TestArray() 函数应该没什么问题，也不会发生什么越界错误。

但是，如果仔细检查，TestArray() 函数仍然还存在一个致命的问题，那就是没有检查数组的下界。由于这里的 num 参数类型是 int 类型，因此可能为负数。如果 num 参数所传递的值为负数，将导致在 arr 所引用的内存边界之外进行写入。

当然，你可以通过向if（num<ARRAY_NUM）语句里面再加一个条件进行测试，如下面的代码所示：

1if(num>=0&&num<ARRAY_NUM)
2{
0 k& Q7 i+ W2 {6 M" e& h4 _3}
7 {  M* o/ I, C# ^

但是，这样的函数形式对调用者来说是不友好的（由于 int 类型的原因，对调用者来说仍然可以传递负数，至于在函数中怎么处理那是另外一件事情），因此，最佳的解决方案是将 num 参数声明为 size_t 类型，从根本上防止它传递负数，示例代码如下所示：

1int *TestArray(size_t num,int value)
) H( f$ h: I3 V 2{
3    int *arr=NULL;
) g+ T, `+ ^+ Y& w7 b; }. D 4    /*越界检查(越上界)*/
0 d: p, h& r; y+ b; A* T 5    if(num<ARRAY_NUM)
6    {
7        arr=(int *)malloc(sizeof(int)*ARRAY_NUM);
4 K7 L/ i# \' K1 ~; [* J 8        if(arr!=NULL)
! C. I* N( C0 { 9        {
10            arr[num]=value;
11        }
- ~' _- c3 X* y, V( a12        else
% r3 S. B& X* _1 Q13        {
14            /*处理arr==NULL*/
4 h3 N/ c5 J2 v- c" B; e15        }
6 z2 l; m$ I5 V* o16    }
17    return arr;
18}
获取数组的长度时不要对指针应用 sizeof 操作符

在 C 语言中，sizeof 这个其貌不扬的家伙经常会让无数程序员叫苦连连。同时，它也是各大公司争相选用的面试必备题目。简单地讲，sizeof 是一个单目操作符，不是函数。其作用就是返回一个操作数所占的内存字节数。其中，操作数可以是一个表达式或括在括号内的类型名，操作数的存储大小由操作数的类型来决定。例如，对于数组 int a[5]，可以使用sizeof(a)来获取数组的长度，使用sizeof(a[0])来获取数组元素的长度。

但需要注意的是，sizeof 操作符不能用于函数类型、不完全类型（指具有未知存储大小的数据类型，如未知存储大小的数组类型、未知内容的结构或联合类型、void 类型等）与位字段。例如，以下都是不正确形式：

1/*若此时max定义为intmax()；*/
) m3 R* I0 ?0 j& u$ N3 S2 o4 @ 2sizeof(max)
3/*若此时arr定义为char arr[MAX]，且MAX未知*/
) g: G2 z( D. F+ t# l: q) D  _1 e0 w& N' T 4sizeof(arr)
5/*不能够用于void类型*/
6sizeof(void)
7/*不能够用于位字段*/
2 |! D- [- ~( h2 |% n% b8 p  m) l 8struct S
; }+ j# z4 q& f! }+ r6 \) y! o 9{
6 r5 b! `5 B  c$ E* f. }10    unsigned int f1 : 1;
8 d' K5 \8 C3 r1 B0 d11    unsigned int f2 : 5;
12    unsigned int f3 : 12;
2 J+ h) p! ]$ u0 ]& C13};
14sizeof(S.f1);

了解 sizeof 操作符之后，现在来看下面的示例代码：

1void Init(int arr[])
4 [7 K1 m7 E( ~" l: S5 Y6 X- D 2{
3    size_t i=0;
6 X( n/ y* G. E! R; A! V- S, ~ 4    for(i=0;i<sizeof(arr)/sizeof(arr[0]);i++)
9 J2 @$ [4 Q, r 5    {
6        arr=i;
7    }
8}
9int main(void)
10{
# J" |! [7 r* N9 L( ^11    int i=0;
3 h" V) K: V; s12    int a[10];
) u( s3 L2 f0 B8 g3 i8 y( l13    Init(a);
7 t3 M# }" @6 p" m14    for(i=0;i<10;i++)
: g1 W4 `, U/ U# R+ }" F7 b, B15    {
9 H1 Y* a; U% t" v* q: f* e16        printf("%d\n",a);
0 c  p; Z/ x  F1 G5 W17    }
5 s, ~+ y9 d4 O: X9 o& ^18    return 0;
  U& N* P" Z' V- k6 R19}

从表面看，上面代码的输出结果应该是0，1，2，3，4，5，6，7，8，9，但实际结果却出乎我们的意料，如图 1 所示。

图 1 示例代码在 VC++2010 中的运行结果

是什么原因导致这个结果呢？

很显然，上面的示例代码在void Init(int arr[])函数中接收了一个int arr[]类型的形参，并且在main函数中向它传递一个a[10]实参。同时，在 Init() 函数中通过sizeof(arr)/sizeof(arr[0])来确定这个数组元素的数量和初始化值。

在这里出现了一个很大问题：由于 arr 参数是一个形参，它是一个指针类型，其结果是sizeof(arr)=sizeof(int*)。在 IA-32 中，sizeof(arr)/sizeof(arr[0])的结果为 1。因此，最后的结果如图 1 所示。

对于上面的示例代码，我们可以通过传入数组的长度的方式来解决这个问题，示例代码如下：

1void Init(int arr[],size_t arr_len)
2{
* ~. M' w- @2 Q; z9 [! F8 B 3    size_t i=0;
! G# I7 w: p* |% O 4    for(i=0;i<arr_len;i++)
. u- r9 ]7 ^# v1 a5 Y4 J7 B5 B 5    {
( g/ B6 M  U' x) o; M! X 6        arr=i;
7    }
8}
' p1 o! T5 C. p& E 9int main(void)
10{
' X6 h! A( P6 M# V11    int i=0;
2 z" \9 ?$ \: D3 H5 v12    int a[10];
7 f6 h( S4 r$ A+ F" [  I13    Init(a,10);
. L" l( K5 \" t) f* @14    for(i=0;i<10;i++)
' K3 M( y7 h3 d0 F  ?15    {
16        printf("%d\n",a);
# X  r0 ~( C- x8 ?! t3 I7 C- O17    }
18    return 0;
/ T' s. K7 v4 g; i19}

除此之外，我们还可以通过指针的方式来解决上面的问题，示例代码如下所示：

1void Init(int (*arr)[10])
2{
- j& e5 G) k* e$ d$ o3 \ 3    size_t i=0;
4    for(i=0;i< sizeof(*arr)/sizeof(int);i++)
5    {
6        (*arr)=i;
7    }
7 x" o9 \* Y+ C3 c; i/ H 8}
9int main(void)
5 r, W1 X8 W8 {/ e10{
11    int i=0;
12    int a[10];
, y; s! E) q* M7 X( u5 Z' U13    Init(&a);
14    for(i=0;i<10;i++)
15    {
  N, h6 {# n4 v( p2 Q. t9 v16        printf("%d\n",a);
17    }
18    return 0;
  O- u, h% n9 q. t: ]% }8 d: k19}

现在，Init() 函数中的 arr 参数是一个指向arr[10]类型的指针。需要特别注意的是，这里绝对不能够使用void Init(int(*arr)[])来声明函数，而是必须指明要传入的数组的大小，否则sizeof(*arr)无法计算。但是在这种情况下，再通过 sizeof 来计算数组大小已经没有意义了，因为此时数组大小已经指定为 10 了。

8 v# w4 E$ G* q6 F, j. C