Синтезируемый конструктор перемещения

struct A
{
    std::string s = "";
 
    A() = default;
    A(const A&) {puts(__PRETTY_FUNCTION__);}
};
 
struct B
{
    std::string s = "";
 
    B() = default;
    B(const B&) {puts(__PRETTY_FUNCTION__);}
    B(B&&) = default;
};
 
int main()
{
   std::cout << std::boolalpha;
   std::cout << "A is_move_constructible: " << std::is_move_constructible<A>::value << "\n"; // true
 
   A a;
   A a2(std::move(a)); // A::A(const A&)
 
   std::cout << "B is_move_constructible: " << std::is_move_constructible<B>::value << "\n"; // true
 
   B b;
   B b2(std::move(b)); // nothing
}

struct Y
{
   int val = 42;
   Y() = default;
   Y(Y const& rhs) : val(rhs.val) {}
};
 
struct hasY
{
   Y mem;
   hasY() = default;
   hasY(hasY &&) = default;
};
 
int main()
{
   hasY hy;
   hasY hy2 = std::move(hy);
}

struct NotMoveByDefault
{
   std::string moveable = "Hello";
 
   NotMoveByDefault() = default;
   NotMoveByDefault(NotMoveByDefault const& rhs) : moveable(rhs.moveable)
   {puts(__PRETTY_FUNCTION__);}
};
 
struct HasNotMoveByDefault
{
   NotMoveByDefault mem;
 
   HasNotMoveByDefault() = default;
   HasNotMoveByDefault(HasNotMoveByDefault &&) = default;
};
 
/////////////////////////////////////////////////////////////////////////
 
struct MoveByDefault
{
   std::string moveable = "Hello";
 
   MoveByDefault() = default;
   MoveByDefault(NotMoveByDefault const& rhs) : moveable(rhs.moveable)
   {puts(__PRETTY_FUNCTION__);}
 
   MoveByDefault(MoveByDefault &&) = default;
};
 
struct HasMoveByDefault
{
   MoveByDefault mem;
 
   HasMoveByDefault() = default;
   HasMoveByDefault(HasMoveByDefault &&) = default;
};
 
 
int main()
{
   HasNotMoveByDefault h;
   HasNotMoveByDefault h2 = std::move(h); // copy constructor
 
 
   HasMoveByDefault h3;
   HasMoveByDefault h4 = std::move(h3); // move constructor
}