C++98 有front_inserter
、back_inserter
和inserter
,但在 C++11 或草案 C++14 中似乎没有这些的任何安装版本。有什么技术原因我们不能有front_emplacer
,back_emplacer
和emplacer
吗?
问问题
6400 次
2 回答
34
是否有任何技术原因我们不能拥有 front_emplacer、back_emplacer 和 emplacer?
不,没有技术原因。作为证明,这是一个完整的实现,back_emplacer
带有您的用例 1 的演示......
#include <iterator>
#include <vector>
#include <iostream>
template<class Container>
class back_emplace_iterator : public std::iterator< std::output_iterator_tag,
void, void, void, void >
{
protected:
Container* container;
public:
typedef Container container_type;
explicit back_emplace_iterator(Container& x) : container(&x) {}
template<class T>
back_emplace_iterator<Container>&
operator=(T&& t)
{
container->emplace_back(std::forward<T>(t));
return *this;
}
back_emplace_iterator& operator*() { return *this; }
back_emplace_iterator& operator++() { return *this; }
back_emplace_iterator& operator++(int) { return *this; }
};
template< class Container >
inline back_emplace_iterator<Container>
back_emplacer( Container& c )
{
return back_emplace_iterator<Container>(c);
}
struct Demo
{
int i;
Demo(int i) : i(i) {}
};
int main()
{
std::vector<int> x = {1,2,3,4,5};
std::vector<Demo> y;
std::copy(x.begin(), x.end(), back_emplacer(y));
for (auto d : y)
std::cout << d.i << std::endl;
}
可能的已知问题:通用引用是否operator=
隐藏隐式生成的复制/移动operator=
?如果是这样,则需要以优于重载解决方案中的通用参考的方式明确定义这些。
于 2013-09-10T18:14:56.357 回答
7
您的主要用例已包含在和inserter
中。已经有一个过载将移动到容器中。唯一可以做的就是调用显式构造函数。back_inserter
front_inserter
value_type &&
operator=
emplacer
inserter
比较和的常见重载container::insert
和container::push_back
container::push_front
container::emplace
container::emplace_back
container::emplace_front
iterator insert( const_iterator pos, const value_type & value );
iterator insert( const_iterator pos, value_type && value );
template< class... Args >
iterator emplace( const_iterator pos, Args&&... args );
void push_back( const value_type & value );
void push_back( value_type && value );
template< class... Args >
void emplace_back( Args&&... args );
void push_front( const value_type & value );
void push_front( value_type && value );
template< class... Args >
void emplace_front( Args&&... args );
每个emplace
变体都采用一组参数来构造值。operator =
只接受一个论点。您可以编写一个emplacer
带有参数元组的函数。
template<class Container>
class back_emplace_iterator : public std::iterator< std::output_iterator_tag,
void, void, void, void >
{
protected:
Container* container;
public:
typedef Container container_type;
explicit back_emplace_iterator(Container& x) : container(&x) {}
template<typename ... Args>
back_emplace_iterator<Container>&
operator=(std::tuple<Args&&...> args)
{
std::apply(Container::emplace_back, std::tuple_cat(std::tie(*container), std::forward<std::tuple<Args&&...>>(args)));
return *this;
}
back_emplace_iterator& operator*() { return *this; }
back_emplace_iterator& operator++() { return *this; }
back_emplace_iterator& operator++(int) { return *this; }
};
于 2018-12-04T13:19:09.597 回答