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;
}