Я получаю ошибки, которые не могу понять в MSVC ++ 2008 Express Edition. Сначала я покажу урезанную версию своего кода (обязательно включает игнорируемую):
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();
}
Не могу не подумать, что более сложные ситуации могут привести к тому, что компилятор не пропустит ненужную ветвь. Полагаю, это зависит от компилятора.