练习16.48:
多个重载版本的代码书上有,下面使其代码
#include <iostream>
#include <vector>
#include <list>
#include <type_traits>
#include <typeinfo>
#include <algorithm>
#include <utility>
using namespace std;
template<typename T> std::string debug_rep(const T& t)
{
std::cout << "debug_rep(const T& t)" << std::endl;
std::ostringstream ret;
ret << t;
return ret.str();
}
template<typename T> std::string debug_rep(T* p)
{
std::cout << "debug_rep(T* p)" << std::endl;
std::ostringstream ret;
ret << "pointer: " << p;
if (p)
ret << " " << debug_rep(*p);
else
ret << "null pointer";
return ret.str();
}
std::string debug_rep(const std::string& s)
{
std::cout << "debug_rep(const std::string& s)" << std::endl;
return '"' + s + '"';
}
std::string debug_rep(const std::string&);
std::string debug_rep(char* p)
{
std::cout << "debug_rep(char* p)" << std::endl;
return debug_rep(std::string(p));
}
std::string debug_rep(const char* p)
{
std::cout << "debug_rep(const char* p)" << std::endl;
return debug_rep(std::string(p));
}
int main()
{
system("pause");
return 0;
}
练习16.49:
g(42):与第3个模板精确匹配,T推断为int型
g(p): 与第4个模板精确匹配,T推断为int型
g(ci):与第3个模板精确匹配,T推断为int型
g(p2):与第4个模板精确匹配,T推断为const int型
f(42):与第1个模板精确匹配,T推断为int型
f(p):与第1个模板精确匹配,T推断为int*型
f(ci):与第1个模板精确匹配,T推断为int型
f(p2):与第2个模板精确匹配,T推断为int型
练习16.50:
代码如下:
#include <iostream>
#include <vector>
#include <list>
#include <type_traits>
#include <typeinfo>
#include <algorithm>
#include <utility>
using namespace std;
template<typename T> void f(T)
{
cout << "模板f(T),T被推断为:" << typeid(T).name() << endl;
}
template<typename T> void f(const T*)
{
cout << "模板f(const T*),T被推断为:" << typeid(T).name() << endl;
}
template<typename T> void g(T)
{
cout << "模板g(T),T被推断为:" << typeid(T).name() << endl;
}
template<typename T>void g(T*)
{
cout << "模板g(T*),T被推断为:" << typeid(T).name() << endl;
}
int main()
{
int i = 42, * p = &i;
const int ci = 0, *p2 = &ci;
g(42);
g(p);
g(ci);
g(p2);
f(42);
f(p);
f(ci);
f(p2);
system("pause");
return 0;
}
结果如下: