c – 为什么Visual Studio 20082010中需要typename _not_？

概述在 this question,提问者具有以下功能： template<typename ITER>bool nextPermutation(ITER start, ITER end){ return nextPermutation(start, end, std::iterator_traits<ITER>::iterator_category());} 为什么在std :: it 在 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的任何内容.

总结

以上是内存溢出为你收集整理的c – 为什么Visual Studio 2008/2010中需要typename _not_？全部内容，希望文章能够帮你解决c – 为什么Visual Studio 2008/2010中需要typename _not_？所遇到的程序开发问题。

如果觉得内存溢出网站内容还不错，欢迎将内存溢出网站推荐给程序员好友。