C++ Primer(第五版) 16.4--16.4.3节练习

最新推荐文章于 2023-07-10 17:55:06 发布

原创最新推荐文章于 2023-07-10 17:55:06 发布 · 379 阅读

0 ·

本内容遵循CC 4.0 BY-SA版权协议

C++ Primer(第5版) 习题解答专栏收录该内容

103 篇文章

订阅专栏

这篇博客详细解答了C++ Primer第五版第16章关于练习的问题，包括16.51至16.61的各种情况分析。涉及的内容包括函数参数、模板匹配、可变参数模板、类型转换、对象构造以及shared_ptr的使用等。通过对这些练习的讨论，深入理解C++的特性及其在实际编程中的应用。

16.51 分别返回： 3 3，2 2，1 1，0 0

16.52 测试代码：

#include <iostream>

using namespace std;

template <typename T, typename... Args>
void foo(const T &t, const Args& ... rest)
{
	cout << sizeof...(Args) << " ";
	cout << sizeof...(rest) << endl; 
}

int main()
{
	int i = 0; double d = 3.14; string s = "how now brown cow";
	foo(i, s, 42, d);
	foo(s, 42, "hi");
	foo(d, s);
	foo("hi");
	
	return 0;
}

16.53

#include <iostream>
#include <string>

using namespace std;

template <typename T>
ostream &print(ostream &os, const T &t)
{
	return os << t;
}

template <typename T, typename... Args>
ostream &print(ostream &os, const T &t, const Args&... rest)
{
	os << t << ", ";
	return print(os, rest...);
}


int main()
{
	print(cout, "hello", 42, 3.14) << endl;
	
	return 0;
}

16.54 不支持<<运算符则无法通过编译。

16.55 将非可变参数版本声明放在可变参数版本之后，在执行可变参数版本时会递归调用可变参数版本，最后一步扩展为print(cout)，无法与任何模板匹配，发生错误。

16.56 使用了先前练习中的debug_rep函数

#include <iostream>
#include "debug_rep.h"

using namespace std;

template <typename T>
ostream &print(ostream &os, const T &t)
{
	
	return os << t;
}

template <typename T, typename... Args>
ostream &print(ostream &os, const T &t, const Args&... rest)
{
	os << t << ", ";
	return print(os, rest...);
}

template <typename... Args>
ostream &errorMsg(ostream &os, const Args&... rest)
{
	return print(os, debug_rep(rest)...);
}

int main()
{
	cout << errorMsg(cout, "functionX", 42, "okay") << endl;
	return 0;
}

16.57 使用参数列表的版本要求所有实参都是相同的类型，而使用可变参数版本则无此限制。

16.58 在StrVec类中添加如下成员：

template <class... Args> void emplace_back(Args&&... args)
	{
		chk_n_alloc();
		alloc.construct(first_free++, std::forward<Args>(args)...);
	}

16.59 s传递给construct的形式：std::forward<stirng>(s)，s是左值，该形式的结果类型是stirng&，construct得到一个左值引用实参，将其传递给string的拷贝构造函数创建新元素。

16.60 make_shared工作方式也是接受参数包，经扩展后转发给new，作为其他容器的初始化参数。

16.61 可以在先前练习的自定义版本的shared_ptr(SP)模板中增加make_shared成员：

template <typename T, class... Args>
SP<T> make_SP(Args&&... args)
{
    return SP<T>(new T(std::forward<Args>(args)...));
}