C++ Primer 5th笔记（chap 16 模板和泛型编程）重载模板和类型转换

1. C 风格字符串指针和字符串字面常量

cout « debug_rep ("hi world!" ) << endl; / / 调用 debug_rep (T* )

三个 debug_rep 版本都可行
• debug_rep (const T&)// T 被绑定到char [10 ]。
• debug_rep (T*) // T 被绑定到 const char。//T更加实例化，编译器会选择它。
• debug_rep (const string&)//要求从 const char到string的类型转换。

对给定实参来说，两个模板都提供精确匹配一第二个模板需要进行一次（许可的）数组到指针的转换，而对于函数匹配来说，这种转换被认为是精确匹配。非模板版本是可行的，但需要进行一次用户定义的类型转换，因此它没有精确匹配那么好，所以两个模板成为可能调用的函数。

1.1 如果我们希望将字符指针按 string 处理，可以定义另外两个非模板重载版本:

//将字符指针转换为 string, 并调用 string 版本的 debug
string debug_rep (char *p)
{return debug_rep (string (p) );
}string debug_rep (const char * p )
{return debug_rep (string (p) ) ;
}

1.2 缺少声明可能导致程序行为异常

debug_rep (const string&) 的声明必须在作用域中。否则，就可能调用错误的debug_rep 版本：
( 代码不会编译失败）


template <typename T> string debug_rep (const T &t );
template <typename T> string debug_rep (T *p);//为了使 debug_rep (char* ) 的定义正确工作， 下面的声明必须在作用域中
string debug_rep (const string &);
string debug_rep (char *p)
{// 如果接受一个 const strings的版本的声明不在作用域中，// 返回语句将调用 debug_rep (const T & ) 的 T 实例化为 string 的版本return debug_rep (string (p) );
}

C++ Primer 5th笔记（chap 16 模板和泛型编程）重载模板和类型转换相关推荐

C++ Primer 5th笔记（6）chapter6 函数: 重载
1. const_cast和重载 const string sumLength(const string &s1, const string &s2) {return s1; } st ...
C++ Primer 5th笔记（chap 16 模板和泛型编程）模板特例化
1. 场景 //第一个版本:可以比较任意两个类型 template <typename T> int compare (const T &, const T & );//第 ...
C++ Primer 5th笔记（chap 16 模板和泛型编程）重载与模板
1. 定义函数模板可以被另一个模板或一个普通非模板函数重载: 名字相同的函数必须具有不同数量或类型的参数 1.1 函数模板匹配因素对于一个调用, 其候选函数包括所有模板实参推断成功的函数模板实例. ...
C++ Primer 5th笔记（chap 16 模板和泛型编程）转发
1. 转发某些函数需要将其一个或多个实参连同类型不变地转发给其他函数. 因此需要保持被转发实参的所有性质, 包括实参类型是否是 const 的以及实参是左值还是右值. //接受一个可调用对象和另外两 ...
C++ Primer 5th笔记（chap 16 模板和泛型编程）默认模板实参
1. 默认模板实参default template argument compare 有一个默认模板实参 less和一个默认函数实参 F () template <typename T, typ ...
C++ Primer 5th笔记（chap 16 模板和泛型编程）模板实参
1. 类型参数可以使用任何名字(通常命名为 T) template <typename Foo> Foo calc (const Foo& a, const Foo& b) ...
C++ Primer 5th笔记（chap 16 模板和泛型编程）类模板和友元
1. 定义如果一个类模板包含一个非模板友元,则友元被授权可以访问所有模板实例.如果友元自身是模板,类可以授权给所有友元模板实例,也可以只授权给特定实例. 1.1 一对一友好关系类模板与另一个(类或 ...
C++ Primer 5th笔记（chap 16 模板和泛型编程）类模板成员函数的实例化
1. 默认情况下,一个类模板的成员函数只有当程序用到它时才进行实例化. (即使某种类型不能完全符合模板操作的要求(参见9.2节,第294页),我们仍然能用该类型实例化类todo). eg. //实例化 ...
C++ Primer 5th笔记（chap 16 模板和泛型编程）类模板定义
1. 定义类似函数模板,类模板以关键字template开始,后跟模板参数列表.在类模板(及其成员)的定义中,我们将模板参数当作替身,代替使用模板时用户需要提供的类型或值: template < ...
C++ Primer 5th笔记（chap 16 模板和泛型编程）类型无关和模板编译
1. 编写类型无关的代码泛型代码的两个重要原则: 模板中的函数参数是const的引用. 函数体中的条件判断仅使用<比较运算. 大多数类型,包括内置类型和我们已经用过的标准库类型(除unique ...

C++ Primer 5th笔记（chap 16 模板和泛型编程）重载模板和类型转换

C++ Primer 5th笔记（chap 16 模板和泛型编程）重载模板和类型转换相关推荐

最新文章

热门文章