C++Primer13.6.2节练习

练习13.49：

StrVec类的移动构造函数和移动赋值运算符

//移动构造函数
StrVec::StrVec(StrVec&& s)noexcept :elements(s.elements), first_free(s.first_free), cap(s.cap)
{
	//令移后源对象进入状态-----对其运行析构函数是安全的
	s.elements = s.first_free = s.cap = nullptr;
}

//移动赋值运算符
StrVec& StrVec::operator=(StrVec&& rhs)noexcept
{
	if (this != &rhs)
	{
		free();
		elements = rhs.elements;
		first_free = rhs.first_free;
		cap = rhs.cap;
		rhs.elements = rhs.first_free = rhs.cap = nullptr;
	}
	return *this;
}

String类的移动构造函数和移动赋值运算符

//移动构造函数
String::String(String&& s)noexcept:elements(s.elements),first_free(s.first_free),cap(s.cap)
{
	//令移后源对象进入状态-----对其运行析构函数是安全的
	s.elements = s.first_free = s.cap = nullptr;
}

//移动赋值运算符
String& String::operator=(String&& rhs)noexcept
{
	if (this != &rhs)
	{
		free();
		elements = rhs.elements;
		first_free = rhs.first_free;
		cap = rhs.cap;
		rhs.elements = rhs.first_free = rhs.cap = nullptr;
	}
	return *this;
}

Message类的移动构造函数和移动赋值运算符

void Message::move_Folders(Message* m)
{
	//使用set的移动赋值运算符
	folders = std::move(m->folders);
	//遍历每一个fFolder，从中删除旧的Message
	//将本Message添加到Folder中
	for (auto f : folders)
	{
		f->remMsg(m);
		f->addMsg(this);
	}
	//确保销毁m是无害的
	m->folders.clear();
}

//移动构造函数
Message::Message(Message&& m) :contents(std::move(m.contents))
{
	move_Folders(&m);
}

//移动赋值运算符
Message& Message::operator=(Message&& rhs)
{
	//检查自赋值情况
	if (this != &rhs)
	{
		//将本Message从所有的Folders中删除
		remove_from_Folders();
		//移动赋值
		contents = std::move(rhs.contents);
		//更新Folders
		move_Folders(&rhs);
	}

	return *this;
}

练习13.50：

向String类的移动构造函数和移动赋值运算符中添加打印语句

//移动构造函数
String::String(String&& s)noexcept:elements(s.elements),first_free(s.first_free),cap(s.cap)
{
	//令移后源对象进入状态-----对其运行析构函数是安全的
	s.elements = s.first_free = s.cap = nullptr;
	cout << "------String move constructor------" << endl;
}

//移动赋值运算符
String& String::operator=(String&& rhs)noexcept
{
	if (this != &rhs)
	{
		free();
		elements = rhs.elements;
		first_free = rhs.first_free;
		cap = rhs.cap;
		rhs.elements = rhs.first_free = rhs.cap = nullptr;
	}
	cout << "------String move assignment operator------" << endl;
	return *this;
}

测试代码

int main()
{
	//测试
	String s1("hello ");
	String s2("world!!!");
	String s3("C++");
	vector<String>vs;
	//移动构造
	String s4(std::move(s2));
	String s5(std::move(s1));

	//移动赋值运算符
	s2 = std::move(s3);
	system("pause");
	return 0;
}

结果

 练习13.51：

返回的是即将销毁的临时变量unique_ptr，是一个右值绑定的引用，所以这不是拷贝，而是移动，窃取资源而不是拷贝资源，所以是合法的

练习13.52：

在第一个赋值中，右侧运算对象是一个左值，因此移动构造函数是不可行的。rhs将使用拷贝构造函数来初始化。拷贝构造函数将分配一个新string，并拷贝 hp2指向的string
在第二个赋值中，我们调用std: : move 将一个右值引用绑定到hp2上。在此情况下，拷贝构造函数和移动构造函数都是可行的。但是，由于实参是一个右值引用，移动构造函数是精确匹配的。移动构造函数从hp2拷贝指针，而不会分配任何内存
不管使用的是拷贝构造函数还是移动构造函数，赋值运算符的函数体都swap两个运算对象的状态。交换HasPtr 会交换两个对象的指针(及int)成员。在swap 之后，rhs中的指针将指向原来左侧运算对象所拥有的 string。当rhs离开其作用域时，这个string将被销毁

练习13.53：

赋值运算符如下：

//赋值运算符既是移动赋值运算符，也是拷贝赋值运算符
HasPtr& HasPtr::operator=(HasPtr rhs)
{
	swap(*this, rhs);
	return *this;
}

对于拷贝赋值，首先要拷贝构造rhs（左值），然后swap

对于移动赋值，首先要移动构造rhs（右值），然后swap

都需要进行rhs的构造，性能不高

新的移动赋值运算符和移动构造函数如下

//拷贝赋值运算符
HasPtr& HasPtr::operator=(const HasPtr& rhs)
{
	if (this != &rhs)
	{
		delete ps;
		swap(*this, rhs);
	}
	return *this;
}


//移动赋值运算符
HasPtr& HasPtr::operator=(HasPtr&& rhs)noexcept
{
	if (this != &rhs)
	{
		delete ps;
		//移动元素
		ps = rhs.ps;
		i = rhs.i;
		rhs.ps = nullptr;
	}
	return *this;
}

练习13.54：

运行错误，产生二义性，传入的参数与两个函数都发生匹配