Question

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

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)'

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

我可以通过删除迭代器的模板化参数来解决所有这些问题，制作第二类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

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

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

1 个答案: