数组名作为函数实参时要注意的问题

今天在工作中遇到一个很小的的bug，由此引发了我对数组名作为函数实参的思考。

首先，看一下这段代码。

// Array_Bound.cpp : Defines the entry point for the console application.
//

#include "stdafx.h"
#include<iostream>
using std::cout;
using std::endl;

void ChangeValue( int *array );

int _tmain(int argc, _TCHAR* argv[])
{
    int a[] = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 };
    int size = sizeof( a ) / sizeof( int );

    cout<<"size = "<<size<<endl;

    ChangeValue( a );

    for( int i = 0; i < size; i++ )
    {
        cout<<" "<<a[i];
    }

    cout<<endl;
    getchar();

    return 0;
}

void ChangeValue( int *array )
{
    for( int i = 0; i < 11; i++ )
    {
        array[i] = array[i] + 1;
    }
}

程序当然能够正确运行，输出结果如下：
size = 10
1 2 3 4 5 6 7 8 9 10

咋一看，完全没有任何问题，但是仔细看一下ChangeValue函数便可以发现，代码中有数组越界的情况，仍然能够正常运行。
这说明，当数组名作为函数实参时，被调用函数只会把传入的参数看做一个指针变量，不会关心数组的大小，因此，也就忽略了数组访问越界的情况。
从这里我们可以总结，在使用数组名作为函数实参时，最好同时也把数组大小作为实参传递给被调函数，用以控制访问数组的界限，避免引起不必要的麻烦。