C++11·部分重要语法III

emplace

emplace和push区别

例：list的模拟实现部分代码

默认移动构造和移动赋值

默认函数的控制

小知识

emplace

C++11以后STL容器新增了emplace系列接口，均为模版可变参数，功能是插入，但总体而言比push和insert更高效，而且有更新的玩法，假设一个容器container<T>，emplace可以支持直接插入构造T对象的参数，可以直接在容器空间构造T对象。

emplace和push区别

对于非move的右值，emplace都是直接在容器中构造，push要先在容器外构造再移动构造。

例：list的模拟实现部分代码

template<class T>
struct list_node //对于
{
    list_node<T>* _prev = nullptr;
    list_node<T>* _next = nullptr;
    T _val;

    list_node(T&& val = T())
        :_val(move(val))
    { }

    template<class... Args>
    list_node(Args&&... args)
        :_val(std::forward<Args>(args)...) //使用完美转发，否则右值表达式变左值
    {}

};

list类中的insert和emplace

iterator insert(iterator pos, const T& val)
{
    Node* newnode = new Node(val);

    newnode->_prev = pos._node->_prev;
    newnode->_next = pos._node;
    pos._node->_prev->_next = newnode;
    pos._node->_prev = newnode;

    _size++;
    return iterator(newnode);
}

iterator insert(iterator pos, T&& val)
{
    Node* newnode = new Node(move(val));

    newnode->_prev = pos._node->_prev;
    newnode->_next = pos._node;
    pos._node->_prev->_next = newnode;
    pos._node->_prev = newnode;

    _size++;
    return iterator(newnode);
}

template<class... Args>
void emplace_back(Args&&... args)
{
    emplace(end(),std::forward<Args>(args)...);//包扩展的第二种展开方式
}

template<class... Args>
iterator emplace(const iterator pos,Args&&... args)
{
    Node* newnode = new Node(std::forward<Args>(args)...);//包扩展的第二种展开方式，这里可以将参数直接在结点类中构造成新结点，只需一次构造即可。

    newnode->_prev = pos._node->_prev;
    newnode->_next = pos._node;
    pos._node->_prev->_next = newnode;
    pos._node->_prev = newnode;

    _size++;
    return iterator(newnode);
}

默认移动构造和移动赋值

C++类中原本有6个默认成员函数：构造函数/析构函数/拷贝构造函数/拷贝赋值重载/取地址重载/const取地址重载。

C++11中新增了两个默认成员函数，移动构造函数和移动赋值运算符重载。

规则：1.如果未实现移动构造函数，且未实现析构函数、拷贝构造、拷贝赋值重载中的任意一个，编译器就会自动生成一个默认移动构造函数。对内置类型执行浅拷贝，对自定义类型调移动构造，如果未实现移动构造，那会调拷贝构造。

2.如果未实现移动赋值重载函数，且未实现析构函数、拷贝构造、拷贝赋值重载中的任意一个，编译器会自动生成一个默认移动赋值函数。对内置类型执行浅拷贝，对自定义类型调移动赋值，如果未实现移动赋值，调拷贝赋值。（默认移动赋值和默认移动构造相似）

注：如果写了移动构造 or 移动赋值，编译器就不会自动生成拷贝构造和拷贝赋值。

默认函数的控制

1.如果想要使用某个默认函数，但这个函数未默认生成。例：写了拷贝构造，就不会生成移动构造了。那么可以使用default关键字显示指定移动构造生成。

类名(右值引用参数列表) {} = default 就是函数声明+ = default

2.如果想要限制某些默认函数的生成，C++11中可以在函数声明后加 = delete，该语法指示编译器不生成对应函数的默认版本，称=delete修饰的函数为删除函数。