проблемы dynamic_cast: объект typeid не равен, но имя равно - PullRequest
Новая
       25

проблемы dynamic_cast: объект typeid не равен, но имя равно

6 голосов
/ 13 апреля 2011

Я обнаружил, что dynamic_cast не работал в ситуации, когда я ожидал этого, и просмотр typeid объектов во время выполнения сделал ситуацию еще менее ясной.Я просто хочу приведение от базового к производному, и я не могу понять, почему это не работает.

У меня есть структура класса примерно такая: 

class BoundaryCondition {
public:
    virtual void DoSomething() = 0;

    virtual ~BoundaryCondition() { /* * */ }
}

class ReflectingBc : BoundaryCondition {
public:
    virtual void DoSomething();
}

class MarshakBc : BoundaryCondition {
public:
    virtual void DoSomething();

    MarshakBc(double value);

    void changeValueLaterOn(double value);
private:
    double value_;
}

У меня есть (по существу,) std::vector<BoundaryCondition*>, который представляет граничные условия в частях проблемы.Я хочу иметь возможность взять это vector и, для всех MarshakBc объектов внутри него, вызвать changeValueLaterOn.Итак, у меня есть цикл, который выглядит как 

for (std::vector<BoundaryCondition*>::iterator bc = bcPtrs_.begin();
        bc != bcPtrs_.end(); ++bc)
{
    if (std::string(typeid(MarshakBc).name()) == std::string(typeid(**bc).name()) )
    {
        std::cerr << "SAME! ";
    }

    if (typeid(MarshakBc) != typeid(**bc))
    {
        std::cerr << "NOT SAME ";
    }
    MarshakBc* thisBc = dynamic_cast<MarshakBc*>( &( **bc ) );
    if (thisBc == NULL) {
        std::cerr << "...nothing\n";
        continue;
    }
    thisBc->changeValueLaterOn( 1.23);
    std::cerr << "...set!\n";
}

Если мой вектор содержит ReflectingBc*, а затем MarshakBc*, мой вывод будет выглядеть так: 

NOT SAME ...nothing
SAME! NOT SAME ...nothing

Я что-то неправильно понимаюо dynamic_cast и typeid?

[Фактическая ситуация более сложна, чем эта, потому что определение BoundaryCondition находится в другой единице перевода, чем приведенный выше код, и шаблоны и тому подобное участвуют, ноПриведенный выше код очень хорошо отражает то, что я делаю, и результат, который я получаю.]

Подробнее

Вот моя фактическая процедура, которая используется внутри функтораи LoAnisoBc является производным классом, а BoundaryConditionT является базовым классом: 

template<class SnTraits_T, class LoTraits_T>
void FillLoAnisoBcs<SnTraits_T, LoTraits_T>::operator() (
        const BoundaryFaceT& bf,
        BoundaryConditionT& bc)
{
    std::cerr << "Want " << typeid(LoAnisoBc).name() << "\n";
    std::cerr << "Chkg " << typeid(bc).name() << "\n";

    if (std::string(typeid(LoAnisoBc).name()) == std::string(typeid(bc).name()) )
    {
        std::cerr << " SAME!";
    }

    if (!(typeid(LoAnisoBc) == typeid(bc))) {
        std::cerr << "...nothing\n";
    }

    // if we're not an "anisotropic BC", don't do anything
    LoAnisoBc* anisoBc = dynamic_cast<LoAnisoBc*>( &bc );
    if (anisoBc == NULL) {
        std::cerr << "...nothing\n";
        return;
    }

    anisoBc->setFCoeff( fCoeff_ );
    std::cerr << "; set fCoeff = " << fCoeff_ << "\n";
}

А вот вывод 

Want N6detLib17cellDiffusionOned28AnisotropicBoundaryConditionE
Chkg N6detLib17cellDiffusionOned27ReflectingBoundaryConditionE
NOT SAME...nothing
Want N6detLib17cellDiffusionOned28AnisotropicBoundaryConditionE
Chkg N6detLib17cellDiffusionOned28AnisotropicBoundaryConditionE
SAME! NOT SAME...nothing

Итак, структура bcPtrs_ играничные условия находятся в одной динамической библиотеке (так что это один модуль в Python), а экземпляр FillLoAnisoBcs находится в другой динамической библиотеке.Эрик предлагает это как вероятную проблему, и я согласен.

1 Ответ

1 голос
/ 13 апреля 2011

typeid ведет себя странно, когда вы пересекаете границы библиотеки - смотрите, например, Когда typeid может возвращать разные экземпляры type_info для одного и того же типа? для некоторых случаевВ частности, в linux вам потребуется -rdynamic, чтобы гарантировать, что информационные объекты типа из библиотеки не будут удалены и, следовательно, недоступны для исполняемого файла, использующего библиотеку.*

В исполняемом файле, где вы видите определение LoAnisoBc, существует экземпляр type_info для LoAnisoBc.В библиотеке, к которой принадлежит LoAnisoBc, существует еще один экземпляр type_info.type_info operator==, вероятно, реализован как простое сравнение указателей.Таким образом, когда вы получаете typeid статического выражения LoAnisoBc, вы получаете исполняемый экземпляр, тогда как ссылка создает экземпляр библиотеки - то же имя, но не тот же экземпляр.

...