c++ - move 构造函数不会被解雇

为什么在此类中move构造函数不会被解雇？

#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;
}

发生的是，只有默认构造函数被解雇了。对于为什么以及如何实现它的一些解释将非常有用。

最佳答案

完全独立于复制和移动，这样的初始化也可以完全消除。这意味着该对象已就位构建。这是一种标准允许的“优化”。