计划1:
#include <iostream>
#include <cstdlib>
#include <vector>
int main(){
//compiles successfully
std::vector<int> vec{1,2,3,4,5};
return EXIT_SUCCESS;
}
计划2:
#include <iostream>
#include <cstdlib>
#include <queue>
int main(){
//compiler error
std::queue<int> que{1,2,3,4,5};
return EXIT_SUCCESS;
}
错误讯息:
main.cpp: In function ‘int main()’:
main.cpp:7:31: error: no matching function for call to ‘std::queue<int>::queue(<brace-enclosed initializer list>)’
main.cpp:7:31: note: candidates are:
/usr/include/c++/4.6/bits/stl_queue.h:141:7: note: std::queue<_Tp, _Sequence>::queue(_Sequence&&) [with _Tp = int, _Sequence = std::deque<int, std::allocator<int> >]
/usr/include/c++/4.6/bits/stl_queue.h:141:7: note: candidate expects 1 argument, 5 provided
/usr/include/c++/4.6/bits/stl_queue.h:137:7: note: std::queue<_Tp, _Sequence>::queue(const _Sequence&) [with _Tp = int, _Sequence = std::deque<int, std::allocator<int> >]
/usr/include/c++/4.6/bits/stl_queue.h:137:7: note: candidate expects 1 argument, 5 provided
/usr/include/c++/4.6/bits/stl_queue.h:92:11: note: std::queue<int>::queue(const std::queue<int>&)
/usr/include/c++/4.6/bits/stl_queue.h:92:11: note: candidate expects 1 argument, 5 provided
/usr/include/c++/4.6/bits/stl_queue.h:92:11: note: std::queue<int>::queue(std::queue<int>&&)
/usr/include/c++/4.6/bits/stl_queue.h:92:11: note: candidate expects 1 argument, 5 provided
问题:
为什么不能像向量一样初始化队列?
我想它们不是序列容器,但为什么会这么重要?
我确信有充分的理由,但我找不到任何解释。
gcc(Ubuntu / Linaro 4.6.1-9ubuntu3)4.6.1
答案 0 :(得分:23)
我不认为它与容器适配器而不是容器有任何关系(虽然我承认我不确定为什么省略了正确的构造函数。)
当您使用带有std::vector
的支撑初始化列表时,您正在使用此(C ++ 11中的新增功能)构造函数:
vector(initializer_list<T>, const Allocator& = Allocator());
查看std::queue
的定义,可用的构造函数是:
explicit queue(const Container&);
explicit queue(Container&& = Container());
template <class Alloc> explicit queue(const Alloc&);
template <class Alloc> queue(const Container&, const Alloc&);
template <class Alloc> queue(Container&&, const Alloc&);
template <class Alloc> queue(const queue&, const Alloc&);
template <class Alloc> queue(queue&&, const Alloc&);
显然没有使用initialization_list的构造函数。
我很确定,尽管是一个容器适配器,如果需要,这样的构造函数将是微不足道的。仅举例:
#include <deque>
#include <initializer_list>
#include <iostream>
template <class T, class container=std::deque<T> >
class myqueue {
container data;
public:
explicit myqueue(std::initializer_list<T> t) : data(t) {}
void pop() { data.pop_front(); }
T front() const { return data.front(); }
bool empty() const { return data.empty(); }
};
int main(){
myqueue<int> data {1, 2, 3, 4};
while (!data.empty()) {
std::cout << data.front() << "\n";
data.pop();
}
return 0;
}
g ++ 4.7毫无问题地接受了这个,并且产生了你期望的输出:
1
2
3
4
虽然我没有使用任何其他编译器进行测试,但我看不出任何其他编译器也无法正常工作(如果他们实现必要的功能,当然)。
编辑:我刚刚看了一些委员会文件,建议在C ++中添加initalizer_lists(例如,N1890,N1919,N2100,N2215,N2220),它看起来像是一个简单的疏忽。许多早期的论文更具概念性,但N2220对工作文件有相当多的建议语言。对于std::array
(例如),它特别指出不需要进行任何更改。然后它会经过deque
,vector
,[unordered_][multi_](set|map)
,并显示每个所需的更改 - 但在任何一个方向上都没有提到堆栈或队列。没有建议添加对std::initializer_list
的支持,也没有(例如std::array
)推理他们的遗漏。
我得出的结论是,这是一个简单的疏忽,可能有两个原因:1)适配器几乎,但不是完全容器,2)适配器类似乎没有被使用很多所以忘记它们可能相当容易(当然,这是一个无处不在的第三个原因:大多数活跃的委员会成员都非常过度劳累)。
Edit2:我应该添加一个细节:因为stack
和queue
都可以接受另一个容器进行初始化,所以你可以很容易地做到这样的事情:
std::stack<int> data(std::vector<int>{1,2,3,4});
这有点冗长,但不太可能导致任何效率损失(容器将作为右值引用传递,因此其表示将被“窃取”而不是复制)。但有一点需要注意:如果您使用的容器类型与容器适配器底层的容器不匹配,您将获得一个副本而不是一个移动(因此可能会失去一些效率)。
答案 1 :(得分:17)
queue<int> q({1, 2, 3});
答案 2 :(得分:7)
std::queue
和std::stack
实际上不是容器,它们是所谓的容器适配器,它使用容器(默认为std::deque
})。因此,您无法将其初始化为其他容器。
修改强>
对于能够使用初始化列表的容器,它必须具有以std::initializer_list
为参数的构造函数。容器适配器不这样做。如果是故意或对标准委员会的监督取决于任何人的解释。