dynamic_cast问题:typeid对象不相等,但名称相等

Question

我发现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";
}

如果我的向量包含a ReflectingBc*,那么a 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在另一个动态库中.Erik认为这是可能的问题,我同意.

Answer 1

typeid当您跨越库边界时，行为会很奇怪 - 请参阅例如何时 typeid 返回相同类型的不同 type_info 实例？对于某些情况。特别是，在 Linux 上，您需要-rdynamic确保库中的类型信息对象不会被删除，从而无法使用该库的可执行文件访问。

我对解释的最佳猜测：

在可执行文件中，您可以看到定义LoAnisoBc，存在一个type_info实例LoAnisoBc。在“属于”的图书馆里LoAnisoBc，存在着另一个type_info实例。type_info可能operator==是作为简单的指针比较来实现的。因此，当您获得静态LoAnisoBc表达式的 typeid 时，您将获得可执行实例，而引用会生成库实例 - 名称相同但实例不同。