函数返回数组指针的几种方法

最直接的方法是用类型名：

typedef int arr[10];		// arr是一个类型名，表示含有10个int的数组
using arr = int[10];		// 与上等价声明

arr* fun(int i);			// fun返回一个含有10个int的数组指针（本质是一个指针）

如不使用类型名，则数组的维度必须跟在函数名字的后面，形式如下：
$$Type(\ast func(parameter\_list))[dimension]$$
$Type$表示元素的类型，$dimension$表示数组的大小，中间括号中的表示该函数返回的是一个指针。分析此式从括号中开始分析，有间接运算符号，则说明该函数返回值为一个指针，括号中括号的优先级比较高，再读后面的维度，说明该指针指向一个数组，数组的类型为$Type$类型。

即该函数返回一个指向含有$dimension$个$Type$类型的数组的指针。

$(\ast func(parameter\_list))$两端的括号必须有，不然则返回的是指针数组。

例子：

int (*func(int i))[10];

分析：

• func(int i)表示调用func函数时需要传递一个int类型的的实参。
• (*func(int i))对函数调用结果进行解引用，则说明其返回值是一个指针。
• (*func(int i))[10]表示解引用得到一个大小是10数组。
• int (*func(int i))[10]表示数组中的元素是int类型。

使用尾置返回类型。

在c++11新标准中可以使用尾置返回类型。尾置返回类型在形参列表后面以一个->符号开头。为了表示函数真正的返回类型跟在形参列表之后，在本应该出现返回类型的地方放置一个auto。

auto func(int i) -> int (*)[10];
// func接受一个int型实参，返回一个数组指针，数组包含10个int类型的值

使用decltype

int odd[] = {1,3,5,7,9};
int even[] = {0,2,4,6,8};
decltype(odd) *arrPtr(int i)
{
    return (i % 2) ? odd : even;
}

因为decltype关键字并不负责把数组类型转换成对应的指针，所以decltype的结果是个数组。

故本函数的返回值是一个指向含有5个int类型的数组的指针。

---

PS：如何分清数组指针与指针数组？

这是一个语文问题。分清这两者即看短语的最后是指针还是数组，如果短语最后是“指针”则说明该类型是一个指向数组的指针；若短语结尾是数组，则说明该类型是每个元素都是指针的数组。