为什么数组的类型推断优先于指向数组的指针而不是数组的引用？

Question

int v[1];
auto  p1 = v;
auto &p2 = v;
auto *p3 = v;

p1 是 int * 类型（p3 相同）。特别是在这个微不足道的示例中，我发现 p2 ( int (&)[1] ) 更有用，因为它具有数组语义，例如我可以在p2 上申请sizeof 以与v 上的sizeof 相同。

对此有标准报价吗？

为什么默认引用是一个坏主意？ （对于这种数组情况，我的意思是，这些天几乎没有 c++ 程序员关心它们......）

Answer 1

auto 推导出非引用类型。

auto& 推导出一个引用。

auto const& 推导出 const 引用。

auto&& 推导出引用、const 引用或右值引用。

这就像调用template 函数时的类型推导一样。

template<typename T>
void foo( T t );

T永远不会被推导出为引用类型——推导时它始终是值类型。

auto 遵循几乎相同的规则：

template<typename T>
void foo( T&& t );

是众所周知的“通用引用”，类似于auto&& 类型的变量。

Answer 2

我相信这是为了与非模板函数保持一致。数组在被访问的任何时候都会经历数组到指针的转换，除非绑定到引用。所以与现有的规则，以下是一致的：

int v[1];

void foo(int *);

int main()
{
  foo(v);
}

和

int v[1];

template <class T>
void foo(T);

int main()
{
  foo(v);
}