我发现 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 认为这是可能的问题,我同意。
最佳答案
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 时,您将获得可执行实例,而引用会生成库实例 - 名称相同但实例不同。
关于c++ - dynamic_cast 发出 : typeid object is not equal, 但名称相同,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/5652209/