Effective Modern C++（中文版）

型别推导

｜

21

数组实参

以上已经基本讨论完模板型别推导的主流情况，但还有一个边缘情况值得了解。这种

情况是：数组型别有别于指针型别，尽管有时它们看起来可以互换。形成这种假象的

主要原因是，在很多语境下，数组会退化成指涉到其首元素的指针。下面这段代码之

所以能够通过编译，就是因为这种退化机制在发挥作用：

const char name[] = "J. P. Briggs";

// name

的型别是

const char[13]

const char * ptrToName = name;

//

数组退化成指针

这里，型别为

const char *

的指针

ptrToName

是通过

name

来初始化的，而后者的型

别是

const char[13]

。这两个型别（

const char *

和

const char[13]

）并不统一，

但是因为数组到指针的退化规则地存在，上述代码能够通过编译。

但当一个数组传递给持有按值形参的模板时，又会怎样呢？

template<typename T>

void f(T param);

//

持有按值形参的模板

f(name);

// T

和

param

的型别会被推导成什么呢？

我们先是观察到，并没有任何的函数形参具有数组型别。没错，下面的语法是合法的：

void myFunc(int param

[]

);

但是既然数组声明可以按照指针声明方式加以处理，那就意味着

myFunc

可以等价地

声明如下：

void myFunc(int

*

param);

这种数组和指针形参的等价性，是作为 ...