Question

C ++ 98有front_inserter，back_inserter和inserter，但在C ++ 11或C ++草案中似乎没有这些版本的安装版本14。是否有任何技术原因我们无法front_emplacer，back_emplacer和emplacer？

Answer 1

有没有技术上的原因我们没有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=？如果是这样，则需要以超载分辨率中的通用引用的方式明确定义它们。

Answer 2

inserter，back_inserter和front_inserter已经涵盖了您的主要用例。已经有value_type &&的{{1}}重载将移入容器。 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

为什么在C ++ 11或C ++ 14中没有进驻迭代器？

2 个答案: