Как узнать о типе, до выполнения dynamic_cast?

[Eten]

В С# у меня с этим проблем не было, т.к. делал все через интерфейсы и у них была возможность сделать проверку перед преобразованием в производный. Точнее я делал преобразование базового типа в интерфейс, а уже потом интерфейсом проверял, могу ли я преобразовать. А также я мог с помощью такой проверки сделать разветвление для преобразования в тот тип, который содержит базовый. Например в Qt я могу использовать QVariant и у него canConvert<NNumeric> (например для проверки на тип NNumeric).

Т.е. NDataTypes является базовым по отношению к производным NNumeric, NString, NLogical.

Код:

void NEngine::Writeln(qint32 ID)
{
    NDataTypes* dt = new NDataTypes();
    QString str;
    
    if (ID == 0)
    {
        dt = this->StackValue.pop();
    }
    else
    {
        dt = this->Variables[ID-1];
    }

    if (variant.canConvert<NNumeric>()) {
        NNumeric* numeric = dynamic_cast<NNumeric*>(dt);
        str = QString(numeric);
    }

    if (variant.canConvert<NString>()) {
        NString string = dynamic_cast<NString*>(dt);
        str = string.Value();
    }

    if (variant.canConvert<NLogical>()) {
        NLogical logical = dynamic_cast<NLogical*>(dt);
        QString string;
        if (logical.Value())
        {
            string = "true";
        }
        else
        {
            string = "false";
        }
        str = string;
    }

    this->Screen.setText(this->Screen.Text()+str+"<br\>");
}

В условии с ID, dt передаются указатели, т.е. NDataTypes*. У меня вопрос такой, что нужно написать вместо variant.canConvert<NNumeric>() для проверки на тип, чтобы в случае истины выполнить преобразование в NNumeric и выполнить дальнейшие действия?

[Пантер]

Советую срочно почитать литературу по с++. Вижу непонимание базовых классов и принципов наследования.

[_govorilka]

Посмотрите исходник, как там реализована функция FwMLNode::cast<>(). Возможно, это вам поможет:
http://code.google.com/p/fireworks/source/browse/src/fwcore/fwml.h

Хотя Бьярн Страустрап, наверное поможет больше ...

[Igors]

Код:

    if (variant.canConvert<NNumeric>()) {
        NNumeric* numeric = dynamic_cast<NNumeric*>(dt);
...

В условии с ID, dt передаются указатели, т.е. NDataTypes*. У меня вопрос такой, что нужно написать вместо variant.canConvert<NNumeric>() для проверки на тип, чтобы в случае истины выполнить преобразование в NNumeric и выполнить дальнейшие действия?

Ну намудрили, просто так

Код

C++ (Qt)
NNumeric* numeric = dynamic_cast<NNumeric*>(dt);
if (numeric != NULL)     // Ok, приведен
  ...
else      // это не NNumeric
 ... 
 

Заметим что возвращаемый указатель numeric может быть и не равен dt, более того, тип указателя dt может и не наследовать NNumeric

[Пантер]

Чрезмерное применение понижающего приведения может служить признаком слишком бедного интерфейса базового класса

(А. Александреску, Г.Саттер)

[Igors]

Чрезмерное применение понижающего приведения может служить признаком слишком бедного интерфейса базового класса

(А. Александреску, Г.Саттер)

А что такое "понижающее приведение"? Судя по (тщательно заучиваемой) сентенции теоретиков это приведение базового типа к наследуемому, и вернее было бы назвать "повышающее". Ну так в данном примере об этом речи нет. Да и "может служить" не вызывает доверия. Ведь может и "не служить"

[Eten]

Советую срочно почитать литературу по с++. Вижу непонимание базовых классов и принципов наследования.

В том то вся и проблема, что я еще вчера это сделал. Но вот про dynamic_cast ничего не нашел путного, тем более у Бьерна, что очень странно. Но видать не до конца разобрал или что-то упустил из внимания. 

[Пантер]

Igors, хватит спорить только ради того, чтобы спорить. Я просто процитировал двух человек, которые в с++ разбираются намного лучше нас с тобой вместе взятых. Если с чем-то не согласен, обращайся к ним.

[m_ax]

Так, к слову:
Возможности RTTI на dynamic_cast не заканчиваются)
Есть ещё такая штука, как typeid

[Авварон]

двух человек, которые в с++ разбираются намного лучше нас с тобой вместе взятых.

Блин, сколько раз тебе говорил - не верь слепо прочитаному. Половина их мыслей неверна (причем незвисимо от того как они шарят - человеку просто надо было написать еще 1 предложение, вот он а бацнул что в голову пришло)

[Пантер]

Ну вот еще один спорщик. Я не слепо верю, а обдумываю и соглашаюсь или не соглашаюсь.

Закончим офтоп в этой ветке.

[pastor]

А о чем вы спорите: о термине "понижающее приведение" или о самой сути высказывания?

[Пантер]

pastor, о сути, как я понял.

[m_ax]

Моментик... Я за пивом сбегаю))

[Пантер]

Попкорн не забудь.