最直接的方法是用类型名:
typedef int arr[10]; // arr是一个类型名,表示含有10个int的数组
using arr = int[10]; // 与上等价声明
arr* fun(int i); // fun返回一个含有10个int的数组指针(本质是一个指针)
如不使用类型名,则数组的维度必须跟在函数名字的后面,形式如下:
T
y
p
e
(
∗
f
u
n
c
(
p
a
r
a
m
e
t
e
r
_
l
i
s
t
)
)
[
d
i
m
e
n
s
i
o
n
]
Type\space\space(*func(parameter\_list))\space\space[dimension]
Type (∗func(parameter_list)) [dimension]
T
y
p
e
Type
Type表示元素的类型,
d
i
m
e
n
s
i
o
n
dimension
dimension表示数组的大小,中间括号中的表示该函数返回的是一个指针。分析此式从括号中开始分析,有间接运算符号,则说明该函数返回值为一个指针,括号中括号的优先级比较高,再读后面的维度,说明该指针指向一个数组,数组的类型为
T
y
p
e
Type
Type类型。
即该函数返回一个指向含有 d i m e n s i o n dimension dimension个 T y p e Type Type类型的数组的指针。
( ∗ f u n c ( p a r a m e t e r _ l i s t ) ) (*func(parameter\_list)) (∗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:如何分清数组指针与指针数组?
这是一个语文问题。分清这两者即看短语的最后是指针还是数组,如果短语最后是“指针”则说明该类型是一个指向数组的指针;若短语结尾是数组,则说明该类型是每个元素都是指针的数组。