Мой полный код слишком длинный, но вот фрагмент, который будет отражать суть моей проблемы:Специализация шаблона после создания экземпляра?
class BPCFGParser {
public:
...
...
class Edge {
...
...
};
class ActiveEquivClass {
...
...
};
class PassiveEquivClass {
...
...
};
struct EqActiveEquivClass {
...
...
};
struct EqPassiveEquivClass {
...
...
};
unordered_map<ActiveEquivClass, Edge *, hash<ActiveEquivClass>, EqActiveEquivClass> discovered_active_edges;
unordered_map<PassiveEquivClass, Edge *, hash<PassiveEquivClass>, EqPassiveEquivClass> discovered_passive_edges;
};
namespace std {
template <>
class hash<BPCFGParser::ActiveEquivClass>
{
public:
size_t operator()(const BPCFGParser::ActiveEquivClass & aec) const {
}
};
template <>
class hash<BPCFGParser::PassiveEquivClass>
{
public:
size_t operator()(const BPCFGParser::PassiveEquivClass & pec) const {
}
};
}
Когда я скомпилировать этот код, я получаю следующие ошибки:
In file included from BPCFGParser.cpp:3,
from experiments.cpp:2:
BPCFGParser.h:408: error: specialization of ‘std::hash<BPCFGParser::ActiveEquivClass>’ after instantiation
BPCFGParser.h:408: error: redefinition of ‘class std::hash<BPCFGParser::ActiveEquivClass>’
/usr/include/c++/4.3/tr1_impl/functional_hash.h:44: error: previous definition of ‘class std::hash<BPCFGParser::ActiveEquivClass>’
BPCFGParser.h:445: error: specialization of ‘std::hash<BPCFGParser::PassiveEquivClass>’ after instantiation
BPCFGParser.h:445: error: redefinition of ‘class std::hash<BPCFGParser::PassiveEquivClass>’
/usr/include/c++/4.3/tr1_impl/functional_hash.h:44: error: previous definition of ‘class std::hash<BPCFGParser::PassiveEquivClass>’
сейчас Мне нужно специализировать std :: hash для этих классов (поскольку стандартное определение std :: hash не включает определенные пользователем типы). Когда я перемещаю эти шаблонные специализации перед определением класса BPCFGParser, я получаю множество ошибок для различных вещей, которые я пытался, а где-то (http://www.parashift.com/c++-faq-lite/misc-technical-issues.html) Я читал это:
Всякий раз, когда вы используете класс в качестве параметра шаблона, декларация этот класс должен быть полным, а не просто объявленным вперед.
Так что я застрял. Я не могу специализировать шаблоны после определения BPCFGParser, я не могу специализировать их до определения BPCFGParser, как я могу заставить это работать?
Вы должны переместить специализацию во внутренний класс внутри BPCFGParser. Это соответствует обоим требованиям.
Большое спасибо за ответ :)
hash класс определен в пространстве имен std. Это не позволяет мне специализировать шаблоны для hash в области без пространства имен. Даже следующие:
template <>
class std::hash<ActiveEquivClass> {
...
не работал. Когда я заключаю специализаций с namespace std {}, однако, это дает странную ошибку:
In file included from BPCFGParser.cpp:3,
from experiments.cpp:2:
BPCFGParser.h:225: error: expected unqualified-id before ‘namespace’
experiments.cpp:7: error: expected `}' at end of input
BPCFGParser.h:222: error: expected unqualified-id at end of input
В ответе приведены в velocityreviews, кто-то утверждает, что пространство имен не может быть определена в пределах классов. Поэтому я все еще застрял.
Большое спасибо за ответ, но он не работает. Ниже приведено объяснение. –