嵌套在模板类中的模板类在 MSVC++ 中给出错误

Question

我在 MSVC++ 2008 速成版中遇到了我无法理解的错误。首先，我将展示我的代码的精简版本（必要的包括被忽略）：

template <class Key,class Value>
class BinaryTree
{
public:
 typedef std::pair<Key&,Value&> Element;

...

protected:
 template <bool _Reverse>
 class Iterator : public std::iterator<std::bidirectional_iterator_tag,Element>
 {
 public:
  Iterator(const Iterator<_Reverse>& other);

  Iterator& operator++();

 ...

 protected:
  typedef BinaryTree<Key,Value> Parent;

  Iterator(Parent* parent,bool isEnd = false);
 }
}

...

//Definition bodies (in the same file)

...

template <class Key,class Value,bool _Reverse> //line 118
inline BinaryTree<Key,Value>::Iterator<_Reverse>::Iterator(Parent* parent,bool isEnd = false)
 //has an initialisation list (removing it didn't make a difference to the errors)
{
 ...
} //line 126

...

template <class Key,class Value,bool _Reverse>
inline BinaryTree<Key,Value>::Iterator<_Reverse>::Iterator(const Iterator<_Reverse>& other)
 : _stack(other._stack), _parent(other._parent), _null(other._null)
{
} //line 132

...

//the next two are specialisations
template <class Key,class Value>
typename BinaryTree<Key,Value>::Iterator<false>& BinaryTree<Key,Value>::Iterator<false>::operator++()
{
 ...
} //line 196


template <class Key,class Value>
typename BinaryTree<Key,Value>::Iterator<true>& BinaryTree<Key,Value>::Iterator<false>::operator++()
{
 ...
} //line 211

我得到的错误是：

//normal constructor
binarytree.h(126) : error C3860: template argument list following class template name must list parameters in the order used in template parameter list
binarytree.h(126) : error C3855: 'BinaryTree<Key,Value>::Iterator<_Reverse>': template parameter '_Reverse' is incompatible with the declaration
binarytree.h(126) : error C2977: 'BinaryTree<Key,Value>::Iterator<_Reverse>' : too many template arguments
binarytree.h(118) : error C2952: 'BinaryTree<Key,Value>::Iterator<_Reverse>::Iterator' : template declaration missing template parameter list

//copy constructor
binarytree.h(132) : error C2244: 'BinaryTree<Key,Value>::Iterator<_Reverse>::{ctor}' : unable to match function definition to an existing declaration
        definition
        'BinaryTree<Key,Value>::Iterator<_Reverse>::Iterator(const BinaryTree<Key,Value>::Iterator<_Reverse> &)'
        existing declarations
        'BinaryTree<Key,Value>::Iterator<_Reverse>::Iterator(BinaryTree<Key,Value> *,bool)'
        'BinaryTree<Key,Value>::Iterator<_Reverse>::Iterator(const BinaryTree<Key,Value>::Iterator<_Reverse> &)'        //isn't this one clearly identical?

//operator++ - template specialisations
binarytree.h(196) : error C2244: 'BinaryTree<Key,Value>::Iterator<_Reverse>::operator ++' : unable to match function definition to an existing declaration
        definition
        'BinaryTree<Key,Value>::?$Iterator@$0A@ &BinaryTree<Key,Value>::Iterator<false>::operator ++(void)'
        existing declarations
        'BinaryTree<Key,Value>::Iterator<_Reverse> BinaryTree<Key,Value>::Iterator<_Reverse>::operator ++(int)'
        'BinaryTree<Key,Value>::Iterator<_Reverse> &BinaryTree<Key,Value>::Iterator<_Reverse>::operator ++(void)'

binarytree.h(211) : error C2244: 'BinaryTree<Key,Value>::Iterator<_Reverse>::operator ++' : unable to match function definition to an existing declaration
        definition
        'BinaryTree<Key,Value>::?$Iterator@$00 &BinaryTree<Key,Value>::Iterator<true>::operator ++(void)'
        existing declarations
        'BinaryTree<Key,Value>::Iterator<_Reverse> BinaryTree<Key,Value>::Iterator<_Reverse>::operator ++(int)'
        'BinaryTree<Key,Value>::Iterator<_Reverse> &BinaryTree<Key,Value>::Iterator<_Reverse>::operator ++(void)'

据我所知，每个成员函数都有这三个错误组之一。

我可以通过删除 Iterator 的模板化参数来潜在地解决所有这些问题，创建第二个类 ReverseIterator，它派生并覆盖必要的函数。但我更愿意以这种方式修复它，以帮助我了解出了什么问题。

编辑：有人可以修复代码标签吗？似乎没有像我预期的那样工作。

EDIT2：好的，第二个模板指令完美无缺。但是，模板专业化错误似乎正在发生，因为如果您不专门化外部类，则不允许您专门化内部类。我可以解决这个问题，但这意味着我依赖编译器优化某些东西。例如，不要写：

template <class Key,class Value>
inline bool BinaryTree<Key,Value>::Iterator<false>::DoStuff()
{
    return FalseCode();
}

template <class Key,class Value>
inline bool BinaryTree<Key,Value>::Iterator<true>::DoStuff()
{
    return TrueCode();
}

我用过：

template <class Key,class Value>
template <bool Reverse>
inline bool BinaryTree<Key,Value>::Iterator<Reverse>::DoStuff()
{
    if(Reverse) //hopefully is optimised out; at compile time is either true or false
    {
        return TrueCode();
    }
    return FalseCode();
}

我不禁想到，更复杂的情况可能会导致编译器不会省略不必要的分支。我想这取决于编译器。

Answer 1

由于这是两个独立的模板类，例如应该是这样的：

template <class Key,class Value>
template <bool _Reverse>
inline BinaryTree<Key,Value>::Iterator<_Reverse>::Iterator(const Iterator<_Reverse>& other)
 : _stack(other._stack), _parent(other._parent), _null(other._null)
{
} //line 132

但请注意，以下划线开头的变量通常是为编译器的实现保留的。