本文介绍了为什么我不能创建一个自动变量数组?的处理方法,对大家解决问题具有一定的参考价值,需要的朋友们下面随着小编来一起学习吧!
问题描述
在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?
这篇关于为什么我不能创建一个自动变量数组?的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持编程学习网!
本站部分内容来源互联网,如果有图片或者内容侵犯您的权益请联系我们删除!