深入浅出之数组

数组：一个固定大小的相同类型元素的顺序集合。

1. 声明数组

在 C++ 中要声明一个数组，需要指定元素的类型和元素的数量，如下所示：

一维数组
type arrayName [ arraySize ];
二维数组
type arrayName [ arraySize ][ arraySize ] ;
三维数组
type arrayName [ arraySize ][ arraySize ][ arraySize ]  ;

2. 初始化数组

在 C++ 中，您可以逐个初始化数组，也可以使用一个初始化语句，如下所示：

double balance[5] = {1000.0, 2.0, 3.4, 7.0, 50.0};

大括号 { } 之间的值的数目不能大于我们在数组声明时在方括号 [ ] 中指定的元素数目。

如果您省略掉了数组的大小，数组的大小则为初始化时元素的个数。因此，如果：

double balance[] = {1000.0, 2.0, 3.4, 7.0, 50.0};

您将创建一个数组，它与前一个实例中所创建的数组是完全相同的。下面是一个为数组中某个元素赋值的实例：

balance[4] = 50.0;

上述的语句把数组中第五个元素的值赋为 50.0。所有的数组都是以 0 作为它们第一个元素的索引，也被称为基索引，数组的最后一个索引是数组的总大小减去 1。以下是上面所讨论的数组的的图形表示：

一个二维数组可以被认为是一个带有 x 行和 y 列的表格。下面是一个二维数组，包含 3 行和 4 列：

因此，数组中的每个元素是使用形式为 a[ i , j ] 的元素名称来标识的，其中 a 是数组名称，i 和 j 是唯一标识 a 中每个元素的下标。

3. 访问数组元素

数组元素可以通过数组名称加索引进行访问。元素的索引是放在方括号内，跟在数组名称的后边。例如：

double salary = balance[9];

 4. 指针与数组关系

详见《深入浅出之指针》

5. 一数组作为函数形参

有如下几种方式：

方式 1

形式参数是一个指针：

void myFunction(int *param)
{
.
.
.
}

本质是指针传递

方式 2

形式参数是一个已定义大小的数组：

void myFunction(int param[10])
{
.
.
.
}

本质是值传递

方式 3

形式参数是一个已定义大小的数组：

void myFunction(int param[]， int size)
{
.
.
.
}

本质是指针传递

方式 4

形式参数是一个未定义大小的数组：

void myFunction(int param[])
{
.
.
.
}

本质是指针传递

本质上是以下三种形式的演变

void func(const int*);
void func(const int[]);
void func(const int[10])//这里的维度表示我们期望数组含有多少元素，实际不一定

多维数组名作函数参数 

多维数组元素可以作为函数参数，这点与一维数组的情况类似。
可以用多维数组名作为函数的形参和实参，在被调用函数中对形参数组定义时可以指定每一维的大小，也可以省略第一维的大小说明，如：
int array[3][10]
或
int array[ ][10]
二者都是等价且合法的。但是不能把第二维以及其他高维的大小说明省略。如下定义是不合法的：int array[ ][ ] int array[3][ ]

多维数组使用技巧，可以将多维数组转变为一维数组方式简化

比如对于数组 int p[m][n]，可以定义为int p[m*n]方式

 6. 数组作为函数返回值

C++ 不允许返回一个完整的数组作为函数的参数。但是，您可以通过指定不带索引的数组名来返回一个指向数组的指针。

如果您想要从函数返回一个一维数组，您必须声明一个返回指针的函数，如下：

int * myFunction() { . . . }

另外，C++ 不支持在函数外返回局部变量的地址，除非定义局部变量为 static 变量。

#include <iostream>
#include <cstdlib>
#include <ctime>
 
using namespace std;
 
// 要生成和返回随机数的函数
int * getRandom( )
{
  static int  r[10];
 
  // 设置种子
  srand( (unsigned)time( NULL ) );
  for (int i = 0; i < 10; ++i)
  {
    r[i] = rand();
    cout << r[i] << endl;
  }
 
  return r;
}
 
// 要调用上面定义函数的主函数
int main ()
{
   // 一个指向整数的指针
   int *p;
 
   p = getRandom();
   for ( int i = 0; i < 10; i++ )
   {
       cout << "*(p + " << i << ") : ";
       cout << *(p + i) << endl;
   }
 
   return 0;
}

7. 数组的引用 

7.1、数组的引用

切入：可以将一个变量定义成数组的引用（这个变量和数组的类型要相同）

形式：

1 2 3

int odd[5] = {1, 3, 5, 7, 9}; int (&arr)[5] = odd;        //中括号内的数一定要和所引用的数组的维度一样 cout << arr[3] << endl;     //等价于odd[3]

解读：注意上面代码中的形式，因为arr引用了数组odd，故arr变成了数组的别名。

7.2、作为形参

难点：对应形参/实参的写法、怎么运用该形参

写法：

 1 #include <iostream>
 2 #include <vector>
 3 #include <cctype>
 4 #include <string>
 5 #include <iterator>
 6 #include <initializer_list>
 7 
 8 using namespace std; 
 9 
10 void print(int (&arr)[5])
11 {
12     for (auto i : arr)
13         cout << i << endl;
14 }
15 
16 int main()
17 { 
18     int odd[5] = {1, 3, 5, 7, 9};
19     print(odd);
20     return 0;  
21 }

运用：把该形参名视为所绑定的数组的名字使用即可。

优点：节省内存消耗，不用拷贝一份数组，直接使用原数组（甚至可以修改原数组）。

助记：我们不妨以string对象的引用来辅助记忆，因为string就像是一个字符数组，只是它没有确定的容量。

 1 #include <iostream>
 2 #include <vector>
 3 #include <cctype>
 4 #include <string>
 5 #include <iterator>
 6 #include <initializer_list>
 7 
 8 using namespace std; 
 9 
10 //void print(int (&arr)[5])
11 void print(string &arr)            //相比数组，只是少了一个[维度] 
12 {
13     for (auto i : arr)
14         cout << i << endl;
15 }
16 
17 int main()
18 { 
19 //    int odd[5] = {1, 3, 5, 7, 9};
20     string ss = "hello world";
21 //    print(odd);
22     print(ss);
23     return 0;  
24 }

7.3、作为返回类型

难点：对应返回类型的写法、怎么使用该返回的引用

知识：因为数组不能被拷贝，所以函数不能返回数组，但可以返回数组的引用（和数组的指针）

写法：

 1 /*    题目：编写一个函数的声明，使其返回包含10个string对象的数组的引用    */ 
 2 //不用类型别名
 3 string (&func(形参))[10]; 
 4 //类型别名 
 5 using arrS = string[10];
 6 arrS& func(形参);
 7 //尾置返回类型 
 8 auto func(形参) -> string(&)[10];
 9 //decltype关键字 
10 string ss[10];
11 decltype(ss) &func(形参);

运用：返回一个数组的引用怎么用？

 1 #include <iostream>
 2 #include <vector>
 3 #include <cctype>
 4 #include <string>
 5 #include <iterator>
 6 #include <initializer_list>
 7 
 8 using namespace std; 
 9 
10 int odd[] = {1, 3, 5, 7, 9};
11 int even[] = {0, 2, 4, 6, 8};
12 
13 //int (&func(int i))[5]
14 //auto func(int i) -> int(&)[5]
15 decltype(odd) &func(int i)
16 {
17     return (i % 2) ? odd : even;
18 } 
19   
20 int main()
21 { 
22     cout << func(3)[1] << endl;            //输出3 
23     return 0;  
24 }

助记：既然返回的数组的引用，而它又只是一个名字（不带维度），我们把它视为所引用的数组（在该函数内返回的那个数组）的别名即可。

补充：返回的是数组的引用，那么函数里也应该返回的是数组！

助记：

 1 int &func(int a, int b)
 2 {
 3     return a > b ? a : b;
 4 }  
 5 //函数调用结束后，返回b的引用，返回引用的优点在于不用拷贝一个值返回 
 6   
 7 int main()
 8 { 
 9     int x = 3, y = 4;
10     int ans = func(x, y);    //ans = 4 
11     return 0;  
12 }

参考：

1. 数组的引用——用作形参&返回类型时 - GGBeng - 博客园