(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

引用

• 知无涯之C++ typename的起源与用法