dynamic_cast中的模棱两可的转换

Ambiguous conversion in dynamic_cast

本文关键字：模棱两可 转换 cast dynamic      更新时间：2023-10-16

考虑获取对象作为参数并打印其类型的问题： 

#include <iostream>
class A { };
class B : public A { };
class C : public A { };
class D : public C, public B { };
using namespace std;
template<class T>
void print_type(T* info)
{
    if(dynamic_cast<D*>(info))
        cout << "D" << endl;
    else if(dynamic_cast<C*> (info))
        cout << "C" << endl;
    else if(dynamic_cast<B*>(info))
        cout << "B" << endl;
    else if(dynamic_cast<A*> (info))
        cout << "A" << endl;
}
int main(int argc, char** argv)
{
    D d;
    print_type(&d);
    return 0;
}

它给了我以下错误："从派生类'D'到基类的转换不明确。
但是我看不出歧义在哪里：如果在 main （d） 中声明的对象是 D 类型，为什么不能直接转换为类型 A？

另外，如果我传递字符串类型的参数，当然会出现其他错误：
'std::basic_string<char>' is not polymorphic

在Java中，泛型有语法：<T extends A>;在这种情况下，它会很有用。如何使用模板在C++中制作类似的东西？

我以这种方式修改了代码：

#include <iostream>
#include <vector>
class A { };
class B : virtual public A { };
class C : virtual public A { };
class D : public C, public B { };
using namespace std;
template<class T>
void print_type(T* info)
{
    if(dynamic_cast<D*>(info))
        cout << "D" << endl;
    else if(dynamic_cast<C*> (info))
        cout << "C" << endl;
    else if(dynamic_cast<B*>(info))
        cout << "B" << endl;
    else if(dynamic_cast<A*> (info))
        cout << "A" << endl;
}
int main(int argc, char** argv)
{
    string str;
    print_type(&str);
    return 0;
}

但我仍然收到错误： 'std::basic_string<char>' is not polymorphic

首先，这不是模板问题。如果您删除模板并只print_type D*，您将看到错误仍然存在。

正在发生的事情是您不使用虚拟继承，因此您会遇到这种情况：

A   A
|   | 
B   C
  /
  D

dynamic_cast不知道你指的是哪A。

要实现这一点：（我假设这是你想要的）

  A
 / 
B   C
  /
  D

。您应该使用虚拟继承，因此：

class A
{
};
class B : virtual public A
{
};
class C : virtual public A
{
};
class D : public C,public B
{
};

。现在它可以毫无问题地编译:)（请记住，虚拟继承是邪恶的）

这被称为致命的死亡钻石，或者简单地说，钻石问题。通往 A 的"路径"可以经过 B 或 C，因此存在潜在的矛盾。

此外，模板的想法是使其通用，而不是类型感知。模板本身不是编译的代码，它是根据其使用进行编译的。这很像一个大宏。

考虑获取对象作为参数并打印其类型的问题：

叹息。。。使用 RTTI。

#include <iostream>
#include <string>
#include <typeinfo>
template<class T> void print_type(const T& info){
    std::cout << typeid(info).name() << std::endl;
}
int main(int argc, char** argv){
    D d;
    int a = 3;
    std::string test("test");
    print_type(d);
    print_type(a);
    print_type(test);
    return 0;
}

为了使类多态，你应该定义虚拟析构函数

在您的情况下，发生错误是因为您尝试将dyamic_cast应用于没有虚拟析构函数的std::string。

尚未发现的错误是，您情况下的类A也不是多态的，因此整个层次结构不适合dynamic_cast。

相关文章：