在c++中使用指向数组的引用

今天在工作中需要在一个把一个class内部的某个数组成员expose（是的，有时候不这样做只是徒增麻烦）给外面使用，于是自然而然就想应该是返回一个指向这个数组的引用会好些。指向数组的引用这种用法虽然不是很多见，但我还是写过不少次了，为了方便我常常会用typedef数组类型来实现，不过今天我突然想到一个问题，typedef 只是为了缩短敲的代码长度和阅读方便（当然有时候反而造成麻烦，但这不是重点），也就是说必然会有不需要 typedef 的写法，那么如果要写一个函数让它返回一个指向数组的引用呢？究竟怎么写呢？这个问题我还真搞不定，还好google帮了我。

1. 声明一个指向数组的引用

刚开始接触这个问题的时候确实是有点懵，不过看了C++ Primer后发现这个其实很简单：

int n3[3] = {2, 4, 6};

int (&rn3)[3] = n3;     // A reference to an array of 3 ints

没错，确实是有那么点怪异！

那么，typedef 一下也许就好理解多了：

int n3[3] = {2, 4, 6};

typedef int Int3[3];

Int3& rn3 = n3;             // A reference to an array of 3 ints

2. 定义一个接受数组的引用作为其参数的函数

先看看指针是怎么写的：

void GetInt3_Example1(int* pn3)

{

pn3[2] = 1; // access the third element

}

不过，谁能保证 pn3 的大小就一定是3个int呢？再试试看：

void GetInt3_Example2(int n3[3])

{

n3[2] = 1;  // access the third element

}

当然这样只不过是让它看起来正确罢了， 实际上这种写法和第一种没啥区别！试试看：

int loc[2]; // local array of 2 integers

GetInt3_Example2(loc);  // no compile error, but access violation!

果然是不行的有木有！

这里还要注意的是，如果改用typedef，会出现一个需要注意的问题：

void GetInt3_Example3(Int3 n3)

{

Int3 loc    = {0};

int n3Size  = sizeof(n3);   // n3Size == 4

int locSize = sizeof(loc);  // locSize == 12, see?

}

所以说，最终还是要用引用才能达到限制大小的目的：

void GetInt3_Example4(int (&n3)[3])

 或者还是用 typedef 让它看起来舒服些？

void GetInt3_Example5(Int3& n3)

3. 返回一个指向数组的引用

好了，终于到重点，先来看看用typedef是怎么写的：

Int3& GetInt3_Example6()

{

static int n3[3] = {2, 3, 1};

return n3;

}

很好，那么如果说不用typedef呢？

好吧，我不得不google之，按照这个博客的解释，原来又是一个怪异的写法：

int (&GetInt3_Example7()) [3]

{

static int n3[3] = {2, 3, 1};

return n3;

}

真是会让人晕倒啊有木有！