1.error:reference to "xxx" is ambiguous
原因:与std空间中的某些变量名相同
解决方法:将xxx重起个名字。
2.error: need 'typename' before 'std::set<T>::iterator' because 'std::set<T>' is a dependent scope|
错误代码:
<span style="font-size:18px;color:#333333;">template<class T>
</span>
<span style="font-size:18px;"><span style="color:#333333;">class BST{
public:
set<T> s;
void print(){
</span><span style="color:#ff0000;">set<T>::iterator</span><span style="color:#333333;"> it = s.begin();
for(;it!=s.end();it++){
if(it==s.begin()) cout<<*it;
else cout<<" "<<*it;
}
cout<<endl;
}
};</span></span>
typename在模板编程中更重要的用法是:当一个模板代码中某个类型(在本例中,即iterator)被模板类型参数(本例中即set<T>,归根结底是T)限定时,必须使用typename关键字
什么意思呢?看下面的例子:(借用下 《C++编程思想2》中的例子)
template<class T>
class X{ public: void f(){ i.g(); }
private: typename T::id i;};
上面的例子就是:在模板中,类型T限定了类型id。(本例中,即类型T限定了类型iterator。(即T通过限定set<T>,间接限定set<T>中的iterator)) 也就是说id(iterator)取决于T。(也就是说类型iterator间接取决于类型T,直接取决于类型set<T>)这种情况下,编译器不知道 id(iterator)是类型T(set<T>)中的静态成员变量,还是T(set<T>)的嵌套类。
在默认情况下,编译器将id(iterator)当作静态成员变量或者是枚举来对待。在这个例子中,显然 id (iterator)是个类型(但是编译器不知道),这就需要我们通过typename 这个关键字来告诉编译器,将后面的这个 T::id (set<T>::iterator)当作类型,然后声明个变量 i(it)。也就是将被限定的关键字 id (iterator)解析成类型。
改正方法,应在"set<T>::iterator"前加上typename。