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 相同的类型
|