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

在C++0x中(哦！阅读C++11)，我们有自动类型推理。有一件事让我很好奇，那就是我不能创建一个自动变量数组。例如：

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

您知道这可能被禁止的原因吗？

---

解决方案

auto将每个大括号括起的初始值设定项列表演绎为std::initializer_list<T>。(参见第7.1.6.4.6节，包括示例)。 遗憾的是，一旦获得std::initializer_list，就无法从std::array初始化数组，甚至无法从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

嗯，显然您可以使用这里提到的可变模板攻击How do I initialize a member array with an initializer_list?