100字范文,内容丰富有趣,生活中的好帮手!
100字范文 > C++ Primer 5th笔记(chap 16 模板和泛型编程)函数模板显式实参

C++ Primer 5th笔记(chap 16 模板和泛型编程)函数模板显式实参

时间:2023-08-01 20:53:59

相关推荐

C++ Primer 5th笔记(chap 16 模板和泛型编程)函数模板显式实参

1. 返回类型不清楚的时候,尾置返回允许我们在参数列表之后声明返回类型

template ctypename It> ??? & fcn (It beg, It end) {// 处理序列return *beg; / / 返回序列中一个元素的引用}template ctypename It> auto fen (It beg, It end) -> decltype (*beg){// 处理序列return *beg; / / 返回序列中一个元素的引用}vector<int> vi = {1,2,3,4,5 };Blob<string> ca = {"hi", "bye" };auto &i = fen (vi.begin ( ), vi.end ( ) ); / / fen 应该返回 int &auto & s = fen (ca.begin ( ) , ca.end ( ) ); / / fen 应该返回 strings

2. 标准库的类型转换( type transformation) 模 板

有时我们无法直接获得所需要的类型, 得借助“标准库的类型转换模板”获得元素类型。

给定一个迭代器 begremove_reference<decltype (*beg) >::type 将 获 得 beg 引 用 的 元 素 的 类 型 : decltype ( *beg) 返 回 元 素 类 型 的 引 用 类 型。remove_reference::type 除去引用,剩下元素类型本身。

组合使用 remove_reference、 尾置返冋及 decltype, 我们就可以在函数中返回元素值的拷贝:

/ / 为了使用模板参数的成员, 必须用 typenametemplate <typename It> auto fcn2 (It beg, It end) typename remove_reference<decltype (*beg) >::type {/ / 处理序列return *beg; / / 返回序列中一个元素的拷贝}

注意, type 是一个类的成员, 而该类依赖于一个模板参数。 因此, 我们必须在返回类型的声明中使用 typename 来告知编译器, type 表示一个类型

2.1

每个模板都有一个名为 type 的 public 成员, 表示一个类型。 此类型与模板自身的模板类型参数相关, 其关系如模板名所示。

如果不可能( 或者不必要) 转换模板参数, 则 type成 员 就 是 模 板 参 数 类 型 本 身 。 eg. 如 果T是 一 个指针类型,则remove pointer::type 是T指向的类型。 如果T不是一个指针,则无须进行任何转换,从而 type 具有与 T 相同的类型

本内容不代表本网观点和政治立场,如有侵犯你的权益请联系我们处理。
网友评论
网友评论仅供其表达个人看法,并不表明网站立场。