C++ Primer:数组隐式转换成指针的5种例外。
1. 背景
在大多数包含数组的表达式中,数组自动转换成指向数组首元素的指针。
#include <iostream>
using namespace std;
int main()
{
int i[3] = {1, 2, 3};
int *p = i;
cout << i << " " << i[0] << endl;
cout << p << " " << *p << endl;
return 0;
}
2. 例外
2.1 decltype关键字
decltype是类型说明符,用于选择并返回操作数类型。当以数组作为decltype的参数时,它返回的是数组类型,而非指针。数组之间不可以初始化或赋值。
#include <iostream>
using namespace std;
int main()
{
int i1[3] = {1, 2, 3};
//decltype(i1)返回int [3], 而非int *
//此时, i2是含有3个元素的数组,而非指针。
decltype(i1) i2;
//不能把数组赋给另一数组
// i2 = i1;
int *p1 = i1;
//decltype(p1)返回int *
decltype(p1) p2;
//可以把数组赋值给指针,此时数组自动转换成指向首元素的指针
p1 = i1;
return 0;
}
2.2 取地址符(&)
取地址符(&)常用于获取变量的地址来给指针赋值。当对数组取地址时,它返回的是一个指向数组的指针,而非一个指向指针的指针。
#include <iostream>
using namespace std;
int main()
{
int i1[3] = {1, 2, 3};
int *p1;
// p2是一个数组,数组有3个元素,每个元素都是int *
int *p2[3];
//p3是一个指针,指向一个数组,数组中有3个元素
int(*p3)[3];
//p4是一个二重指针
int **p4;
// p1 = &i1;//错误,类型不匹配
// p2 = &i1;//错误,不能把指针赋给数组
p3 = &i1;
// p4 = &i1;//错误,类型不匹配
return 0;
}
2.3 sizeof关键字
sizeof用于返回一条表达式或一个类型名字所占的字节数。对数组执行sizeof运算得到整个数组所占大小,对指针执行sizeof运算得到指针本身的大小。
#include <iostream>
using namespace std;
int main()
{
int i[3] = {1, 2, 3};
int *p;
//sizeof i;返回整个数组所占大小,若int占4个字节,i占3*4=12个字节
size_t st1 = sizeof i;
//sizeof p;返回指针本身所占空间大小
size_t st2 = sizeof p;
cout << st1 << endl;
cout << st2 << endl;
return 0;
}
2.4 typeid关键字
typeid用于获取对象类型。对数组执行typeid运算时得到数组类型,而非指针类型。
#include <iostream>
using namespace std;
int main()
{
int i[3] = {1, 2, 3};
int *p = i;
cout << "int[3] type : " << typeid(int[3]).name() << endl;
cout << "i type : " << typeid(i).name() << endl;
cout << "-------------------------------------" << endl;
cout << "int* type : " << typeid(int *).name() << endl;
cout << "p type : " << typeid(p).name() << endl;
return 0;
}
2.5 数组的引用
数组本身是一个对象,可以定义对数组的引用。引用绑定的数组不会转换成指针,对引用操作即是对数组操作,而非对指针操作。
#include <iostream>
using namespace std;
int main()
{
int i1[3] = {1, 2, 3};
// i2是一个对数组的引用,用数组i1初始化引用。
int(&i2)[3] = i1;
// 不存在存放引用的数组,因为引用不是对象
// int &i3[3] = i1;
//错误,i4是对int的引用,而不是对数组的引用
// int &i4 = i1;
//数组之间不可以初始化或赋值
// i2 = i1;
return 0;
}