dynamic_cast中的模糊转换

Question

考虑将对象作为参数并打印其类型的问题:

#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

Answer 1

首先,这不是模板问题.如果您删除模板并且只是print_type取了一个D*,您将看到错误仍然存​​在.

发生的事情是你不使用虚拟继承,因此你得到这种情况:

A   A
|   | 
B   C
 \ /
  D

dynamic_cast不知道你在引用哪个 A.

要做到这一点:(我认为这是你想要的)

  A
 / \
B   C
 \ /
  D

...你应该使用虚拟继承,ergo:

class A
{
};

class B : virtual public A
{
};

class C : virtual public A
{
};

class D : public C,public B
{
};

...现在它编译没有问题:)(请记住,虚拟继承是邪恶的)

Answer 2

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

唉...使用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;
}