Значение объекта

Question

У меня возникла проблема с литьем экземпляра объекта значением его члена. Тестовый пример:

class base { 
    public: 
     virtual int type() const = 0; 
}; 
class derived : public base { 
    public: 
     virtual int type() const { return 1; } 
     virtual void derivedspecific() {} 
}; 

int main() { 
    base* test = new derived; 
    (test->type()==1?((derived*)test):NULL)->derivedspecific(); 
} 

Представьте себе, что у нас есть сотни дочерних классов и сотни случаев в тройном оператора все написанные в макросе. Как мне решить эту проблему? Если я поставил больше случаев в тернарный оператор, я получил условное выражение ошибки между различными типами указателей. И да, тестовая переменная должна быть указателем базового класса. Это всего лишь короткий пример.

Answer 1

Прежде всего, ваш derivedspecific не нужно быть Virual, как это выглядит, как вы не называть его указателем на базовый класс. Я предполагаю, что имя будет всегда отличаться в производных классах. В противном случае, если derivedspecific всегда то же самое имя и подпись, вы на самом деле не нужно type():

class base 
{ 
public: 
    virtual int doWork() const = 0; 
}; 
class derived : public base 
{ 
public: 
    virtual void doWork() { /* do your work here*/ } 
}; 
int main() 
{ 
    base* test = new derived; 
    test->doWork(); 
} 

Answer 2

1. NULL->derivedspecific() не компилировать
2. ((derived*)NULL)->derivedspecific() не определено поведение (ошибка сегментации на большинстве платформ

есть механизм, который специально разработан для поддержки такого поведения, т.е. dynamic_cast, который идет как :

#include <typeinfo> 

class base 
{ 
    public: 
     virtual ~base(){}; 
}; 
class derived1 : public base 
{ 
    public: 
     void derived1specific() const {} 
}; 
class derived2 : public base 
{ 
    public: 
     void derived2specific() const {} 
}; 
int main() 
{ 
    // use pointers 
    base* test = new derived1; 
    derived2* d2 = dynamic_cast<derived2*>(test); 
    if(d2) 
     d2->derived2specific(); 
    derived1* d1 = dynamic_cast<derived1*>(test); 
    if(d1) 
     d1->derived1specific(); 

    // or simply 
    if(derived1* d1 = dynamic_cast<derived1*>(test)) 
     d1->derived1specific(); 
    else if(derived2* d2 = dynamic_cast<derived2*>(test)) 
     d2->derived2specific(); 


    // use references 
    const base& testr = derived1(); 
    try{ 
     const derived1& d1 = dynamic_cast<const derived1&>(testr); 
     d1.derived1specific(); 
    } 
    catch(std::bad_cast&){} 
    try{ 
     const derived2& d2 = dynamic_cast<const derived2&>(testr); 
     d2.derived2specific(); 
    } 
    catch(std::bad_cast&){} 
} 

Что вы хотели бы сделать, что бы я не рекомендовал вам, это примерно так:

auto doNothing = [](){return;}; 
(test->type()==1?(((derived1*)test)->derived1specific()):doNothing()); 

Вы можете попробовать весь код here.

Что касается Вашего комментария: Вы можете заменить макрос с свободной функцией (что рекомендуется в любом случае)

void derived1specific(base* b){ 
    if(derived1* d1 = dynamic_cast<derived1*>(b)) 
     d1->derived1specific(); 
} 

, который делает именно то, что ваш код хочет сделать: выполнить производную определенную функцию, если и только если это уместно; вы просто называем это нравится:

derived1specific(test); 

Answer 3

Для этого используйте переключатель:

Base * test = //something returning a Base * 
switch(test) 
{ 
    case 0 : 
     static_cast<Derived0*>(test)/*[...]*/; 
     break; 
    case 1 : 
     static_cast<Derived1*>(test)/*[...]*/; 
     break; 
//... 
} 

Если Существует только возвращение которым один класс тот же тип(), поэтому вы можете использовать static_cast, потому что вы уверены.