недопустимое использование неполного типа
Вопрос
Я пытаюсь использовать typedef из подкласса в своем проекте, я выделил свою проблему в следующем примере.
Кто-нибудь знает, где я иду не так?
template<typename Subclass>
class A {
public:
//Why doesn't it like this?
void action(typename Subclass::mytype var) {
(static_cast<Subclass*>(this))->do_action(var);
}
};
class B : public A<B> {
public:
typedef int mytype;
B() {}
void do_action(mytype var) {
// Do stuff
}
};
int main(int argc, char** argv) {
B myInstance;
return 0;
}
Это вывод, который я получаю:
sean@SEAN-PC:~/Documents/LucadeStudios/experiments$ g++ -o test test.cpp
test.cpp: In instantiation of ‘A<B>’:
test.cpp:10: instantiated from here
test.cpp:5: error: invalid use of incomplete type ‘class B’
test.cpp:10: error: forward declaration of ‘class B’
Решение
Причина в том, что при создании экземпляра шаблона класса также создаются все его объявления (не определения) его функций-членов. Шаблон класса создается именно тогда, когда требуется полное определение специализации. Это тот случай, когда он используется в качестве базового класса, например, как в вашем случае. Р>
Так что получается, что A<B>
создается в
class B : public A<B>
в этот момент B
еще не является полным типом (это после закрывающей скобки определения класса). Однако для объявления A<B>::action
требуется, чтобы action
было завершено, потому что оно сканируется в его пределах:
Subclass::mytype
Вам нужно отложить создание экземпляра до некоторого момента, когда var
завершится. Один из способов сделать это - изменить объявление do_action
, чтобы сделать его элементом шаблона.
template<typename T>
void action(T var) {
(static_cast<Subclass*>(this))->do_action(var);
}
Это по-прежнему безопасно для типов, потому что если <=> имеет неправильный тип, передача <=> в <=> завершится неудачно. Р>
Другие советы
Вы можете обойти это, используя класс черт:
Это требует, чтобы вы установили специальный класс черт для каждого используемого вами актуального класса.
template<typename SubClass>
class SubClass_traits
{};
template<typename Subclass>
class A {
public:
void action(typename SubClass_traits<Subclass>::mytype var)
{
(static_cast<Subclass*>(this))->do_action(var);
}
};
// Definitions for B
class B; // Forward declare
template<> // Define traits for B. So other classes can use it.
class SubClass_traits<B>
{
public:
typedef int mytype;
};
// Define B
class B : public A<B>
{
// Define mytype in terms of the traits type.
typedef SubClass_traits<B>::mytype mytype;
public:
B() {}
void do_action(mytype var) {
// Do stuff
}
};
int main(int argc, char** argv)
{
B myInstance;
return 0;
}
Вы получаете B
из A<B>
, поэтому первое, что делает компилятор, увидев определение класса B::mytype
, - это попытается создать экземпляр action
. Для этого ему нужно знать <=> параметр <=>. Но поскольку компилятор только выясняет фактическое определение <=>, он еще не знает этот тип, и вы получаете ошибку.
Одним из способов решения этой проблемы является объявление типа параметра в качестве другого параметра шаблона, а не внутри производного класса:
template<typename Subclass, typename Param>
class A {
public:
void action(Param var) {
(static_cast<Subclass*>(this))->do_action(var);
}
};
class B : public A<B, int> { ... };
Не совсем то, что вы просили, но вы можете сделать действие функцией-членом шаблона:
template<typename Subclass>
class A {
public:
//Why doesn't it like this?
template<class V> void action(V var) {
(static_cast<Subclass*>(this))->do_action();
}
};
class B : public A<B> {
public:
typedef int mytype;
B() {}
void do_action(mytype var) {
// Do stuff
}
};
int main(int argc, char** argv) {
B myInstance;
return 0;
}
Вам нужно использовать указатель или ссылку, так как правильный тип в данный момент неизвестен, компилятор не может его создать.
Вместо этого попробуйте:
void action(const typename Subclass::mytype &var) {
(static_cast<Subclass*>(this))->do_action();
}