为了避免潜在的语法解析二义性，你需要在从属于形式类型参数的类型名前面使用typename，这样的类型被称为从属类型(dependent type) (摘自effective STL)