为什么我不能创建自动变量数组？

Question

在 C++0x（哦！请阅读 C++11）中，我们有自动类型推断。让我好奇的一件事是我无法创建自动变量数组。例如：

auto A[] = {1, 2, 3, 4}; // Error!

有什么想法为什么这可能被禁止吗？

Answer 1

auto 将每个大括号括起来的初始值设定项列表推导为 std::initializer_list。 （参见第 7.1.6.4.6 节，包括示例）。
不幸的是，一旦获得数组，甚至无法从 std::initializer_list 初始化 std::array，但您可以使用 std::vector。

#include <vector>
#include <array>
#include <initializer_list>

int main()
{
  auto x = {1,2,3};
  std::array<int, 3> foo1 = x; // won't work for whatever reason
  std::vector<int> foo2 = x; // works as expected
  return 0;
}

当然，这违背了你想要做的事情的全部目的。

我尝试编写一个名为 make_array 的解决方案，但必须意识到这永远无法工作，因为 initializer_list 的大小不是其模板参数的一部分，因此您只能实例化每个 T 一个 make_array 模板。这太糟糕了。

template<typename T> 
auto make_array(const std::initializer_list<T>& x) 
     -> std::array<T, x.size()> { } // maaah

好吧，显然你可以使用这里提到的可变模板黑客 如何使用initializer_list初始化成员数组？

Answer 2

因为 {1, 2, 3, 4} 纯粹是一个语法结构 - 它不是一个表达式，也没有类型。因此，auto 无法从中推断出其类型。