Question

为什么在这个类中移动构造函数不会被解雇？

#include <iostream>
#include <algorithm>
using std::cout;
template<class T>
class Movable
{
    using value_type = T;
    using pointer_type = T*;
    const std::size_t init_size_{ 1 };
    std::size_t current_size_{ init_size_ };
    const value_type init_value_{ 0 };
    pointer_type data_ = new value_type[init_size_]{init_value_};
public:
    Movable();
    Movable(Movable&&);
    virtual ~Movable();

};

   template<class T>
Movable<T>::Movable(Movable&& dead_meat)
{
    data_ = dead_meat.data_;
    current_size_ = dead_meat.current_size_;
    dead_meat.data_ = nullptr;
    dead_meat.current_size_ = 0;
    cout << "Move ctor";
}
template<class T>
Movable<T>::Movable()
{
    cout << "dflt ctor\n";
}

并在主要：

#include "Movable.hpp"

int main()
{
    auto m_var{ Movable<int>{} };
    return 0;
}

发生的事情是，只触发默认构造函数。对于为什么以及如何实现它的解释会非常有用。

Answer 1

完全独立于副本和移动，像这样的初始化允许完全忽略。这意味着对象是在适当的位置构建的。它是一种标准允许的优化＆＃34;。

移动构造函数不会被解雇

1 个答案: