在
this question,提问者具有以下功能：
template<typename ITER>
bool nextPermutation(ITER start,ITER end)
{
return nextPermutation(start,end,std::iterator_traits<ITER>::iterator_category());
}
为什么在std :: iterator_traits之前不需要typename？我认为模板的嵌套类型需要它,如果模板依赖于模板参数本身？ GCC似乎支持我的想法,因为它不能在4.3.4和4.5.1下编译,要求输入类型名称.即便如此,它仍然可以在Visual Studio 2008和2010下完成编译.
这只是我不知道的另一个Visual Studio扩展/错误吗？
或者实际上可以推断iterator_category是一个类型还是一个函数,因为它后跟一对括号()？ (参见@ DeadGM的消息starting here.)所以这可能实际上是GCC中的一个错误？
解决方法
MSVC不实现后期解析方案吗？在这种方案中,编译器不依赖于typename.它只是将所有令牌存储在模板定义的大括号之间,并且在实例化模板时,它会解析这些令牌.既然它知道什么是什么,什么不是什么类型,它将在没有typename的情况下工作.
但是,如果编译器在实例化模板时没有诊断缺少的类型名称,那么它就不符合要求.
Or is it actually possible to deduce that iterator_category is either a type or a function because it’s followed by a pair of parenthesis ()?
重要的是名称是否依赖和合格.模板是否可以推断出名称始终是类型并不重要.但是,对于缺少类型名称的错误消息的质量可能很重要.
FWIW,不可能在语言级别上推断出有关iterator_category的任何内容.
