c++ - dynamic_cast 发出 : typeid object is not equal, 但名称相同

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";
}

如果我的 vector 包含一个 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 的实例化在另一个动态库中。 Erik 认为这是可能的问题，我同意。

Answer 1

typeid 在您跨越库边界时表现异常 - 请参见例如When can typeid return different type_info instances for same type?对于某些情况。特别是，在 Linux 上，您将需要 -rdynamic 来确保库中的类型信息对象不会被删除，因此使用该库的可执行文件无法访问。

我对解释的最佳猜测:

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