(C++) C++ template笔记 -- template关键字及typename关键字
在调用C++ template函数时，有时候语法会存在歧义。
- 调用函数时，使用 obj.template func<...>() 形式的语法，避免歧义；
- 调用类型时，使用嵌入子类型时，使用 a_type::typename sub_type形式的语法，避免歧义。
typename关键字
例如template代码中有定义：T::iterator，它只有等到模板实例化时才会知道是哪种类型，更不用说内部的iterator。T::iterator实际上可以是以下三种中的任何一种类型：
- 静态数据成员
- 静态成员函数
- 嵌套类型
template <class T>
void foo() {
typename T::iterator * iter;
// ...
}
这样编译器就可以确定T::iterator是一个类型，消除了前面提到的歧义。
template关键字
例如有如下代码，会引起歧义：
namespace boost { int function = 0; }
int main() {
int f = 0;
boost::function< int() > f;
}
语句中的"<"，">"可以被解释成大于、小于。
针对这些有歧义的自定义template(boost::function实际可以正常被编译期识别，但用户自定义template不行)，template的几种用法：
- t::template f
(); // call a function template - this->template f
(); // call a function template - obj.template f
(); // call a function template
引用
