移动构造函数不会被解雇

Question

为什么在这个 class 中移动构造函数没有被触发？

#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

完全独立于复制和移动，这样的初始化允许完全省略。这意味着对象是就地构建的。这是一种标准允许的 "optimisation".

移动构造函数不会被解雇

Move constructor doesn't get fired

c++

move-semantics