為什么在C ++ 11或C ++ 14中沒有進駐迭代器？

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=隱藏隱式生成的復制/移動operator= ？ 如果是這樣，則需要以超載分辨率中的通用引用的方式明確定義它們。

Answer 2

您的主要用例已由inserter ， back_inserter和front_inserter涵蓋。 已經有一個value_type && operator= of 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參數的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; }
};