C++数组概述
基本概念
1. 数组是固定大小的一种复合类型
- 因为数组是固定大小，所以在编译期间就决定了基大小
- 数组的内存是连续(无论是一维数组还是多维数组)
2. 数组的特性
- 数组之间不允许拷贝和赋值
- 数组名是常指针
数组的操作
1. 数组的初始化
- 数组定义时不初始化，则会被初始化为未初始化值
int nArr[4]; // 当数组为全局变量时,未初始化值默认为0;当数组为局部变量时,则其值在Debug下为0xccccccc,Release下为随机值
- 大括号显式初始化
int nArr1[4] = {1, 2, 3, 4};
int nArr2[4] = {1, 2, 3}; // 第4值默认为0
int nArr3[] = {1, 2, 3, 4}; // 编译器在编译阶段推断数组维数为4
int nArr4[][4] = {1, 2, 3, 4, 5, 6, 7, 8}; // 数组最高维可以在编译阶段推导出为2
int nArr5[][4] = {{1, 2, 3, 4}, {5, 6, 7, 8}}; // 数组最高维可以在编译阶段推导出为2
int nArr6[][4] = {{1}, {5}}; // 数组最高维可以在编译阶段推导出为2，剩下的默认为0
int nArr7[2][4] = {{1, 2, 3, 4}, {5, 6, 7, 8}}; // 数组大小与赋值必须匹配
- 字符数组
char szArr[] = "abcd"; // 编译器在编译阶段推断数组维数为5
2. 数组的大小
int nArr1[4] = {0}; // sizeof(nArr1)为16，因为nArr1是int[4]类型
int nArr2[3][4] = {0}; // sizeof(nArr2)为48，因为nArr2是int[3][4]类型
3. 数组与引用
int nArr6[][4] = {{1}, {2}, {3}}; // 数组最高维可以在编译阶段推导出为2，剩下的默认为0
int (&nArr7)[4] = nArr6[1]; // nArr7即是nArr6[2]的引用
int nArr8[4] = {0};
int (&nArr9)[4] = nArr8; // nArr9即是nArr8的引用
4. 数组与指针
int nArr1[4] = {0};
int nArr2[3][4] = {0};
int *p1 = nArr1;
int *p2 = nArr2[1];
int *p3 = &nArr2[1][0]; // p2,p3是相等的
int (*p4)[4] = nArr2; // 此处的数组名nArr2退化为指针,p4是指针,指向int [4]类型数组首地址
int (*p5)[4] = &nArr2[0]; // p4,p5也是相等的
int *p6[4]; // p6是数组,存放4个int类型指针。sizeof(p6)=16
int* p7[4]; // 因为[]的优先级最高,所以p6,p7是相同的
5. 数组类型别名
typedef int intArray[4];
typedef int int2DArray[3][4];
intArray arr1 = {0};
int arr2[4] = {0};
// arr1,arr2是等价的
int2DArray arr3 = {0};
int arr4[3][4] = {0};
// arr3,arr4是等价的
6. 数组作为函数参数
-值与数组 因为数组不能拷贝,所以数组理论上不能作为值传递的形参。但事实上，我们有看到直接用数组作为参数值传递的，这明显违背数组拷贝的原理。如下段代码，其实是特殊情况，arr其实并不是数组类型，arr在作为形参时已经自动退化成指针了。
void Test(int arr[4])
{
*arr = 4;
int nSize = sizeof(arr); // 因为arr退化成指针,所以nSize=4
}
void Test1(int arr[])
{
int nSize = sizeof(arr); // 因为arr退化成指针,所以arr[]的维数写不写无影响
}
void Test2(int arr[][4])
{
int nSize = sizeof(arr); // 因为arr退化成指针,所以arr[]的维数写不写无影响,nSize=4
}
void Test3(int (*arr)[4])
{
int nSize = sizeof(arr); // Test3和Test4是等价的
}
-
引用与数组
数组类型的引用是合法的，引用类型的数组是非法的。
void Test(int (&arr)[4])
{
int nSize = sizeof(arr); // 因为arr是int [4]类型,所以nSize=20,此处维数不能省
}
void Test1(int &arr[4]) // Error,arrays of references are illegal
{
}
- 指针与数组
void Test(int (*arr)[4])
{
int nSize = sizeof(arr); // arr是指针，指向int [4]首地址
}
void Test1(int* arr[4])
{
int nSize = sizeof(arr); // arr看起来是int* [4]类型，是数组,但是数组不能拷贝，所以退化成指针
}
void Test2(int* arr[])
{
int nSize = sizeof(arr); // arr[]退化成指针，Test2和Test1造价,nSize=4
}
7. 数组作为函数返回值
- 返回值 因为返回值也会生成拷贝，所以与数组不能拷贝相违背，所以数组值不能作为函数返回。
-
返回引用
引用的数组是非法的，所以只能返回数组的引用
int (&Test)() [4] // 返回的值优先引用,然后因为数组的引用,所以数组在引用后
{
int nArr[4] = {1, 2, 3, 4};
return nArr;
}
int (&nTemp)[4] = Test();
// 上面返回引用的方式难理解,我们可以换一种方式
typedef int intArray[4];
intArray& Test() // 利用typdef简单数组类型
{
int nArr[4] = {1, 2, 3, 4};
return nArr;
}
intArray& nTemp = Test();
// C++11引用了类型推导,可以用下面形式
int nArr[4] = {0, 1, 2, 3};
decltype(nArr)& Test23()
{
return nArr;
}
-
返回指针
因为数组不能拷贝，所以不能返回指针类型的数组(int* [4])，但可以返回指向数组的指针。
int nArr[3][4] = {{4}, {1, 5}, {2}};
int (*Test())[4]
{
int (*pArr)[4] = nArr;
return pArr;
}
int (*pArr)[4] = Test();
// 用typedef,C++11也可以用decltype(代码略)
typedef int intArray[4];
int nArr[3][4] = {{4}, {1, 5}, {2}};
intArray* Test()
{
int (*pArr)[4] = nArr;
return pArr;
}
intArray* pArr = Test();
8. 数组与vector
- 异同
- 相同点，数组与vector的内存都是连续的。
- 不同点，数组是固定大小，而vector是动态大小。
-
相互转化
数组可以看作是特殊的vector，所以一些适用于vector的算法，如sort，unique都是可以用于数组的。
int nArr[5] = {4, 3, 2, 1, 5};
sort(nArr, nArr+_countfof(nArr));
vector<int> vInt(nArr, nArr+_countfof(nArr));
// 因为vector内存是连续的，所以可以直接拷贝内存。
memcpy(nArr, &vInt[0], vInt.size()*sizeof(int));