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

Posted 2021-10-12 thefist11

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) 模 板

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

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

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

/ / 为了使用模板参数的成员， 必须用 typename
template <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 相同的类型