4
#include <iostream>
#include <sstream>

class VeryBase {
protected:
    int a_;
public:
    VeryBase() : a_(1) {}
    virtual operator std::string() {
        return "0";
    }
};

class Base1 : public virtual VeryBase {
protected:
    int b_;
public:
    Base1() : b_(2) {}
    operator std::string() {
        return "1";
    }
};

class Base2 : public virtual VeryBase {
protected:
    int c_;
public:
    Base2() : c_(3) {}
    operator std::string() {
        return "2";
    }
};

class TargetClass : public Base1, public Base2 {
protected:
    int d_;
public:
    TargetClass() : d_(4) {}
    operator std::string() {
        std::ostringstream s;
        s << a_ << ' ' << b_ << ' ' <<  c_ << ' ' << d_ << std::endl;
        return s.str();
    }
};

int main()
{
    VeryBase* a = new TargetClass;
    Base1* b = dynamic_cast<Base1*>(a);
    Base2* c = dynamic_cast<Base2*>(a);

    std::cout << std::string(*a) //1 2 3 4
              << std::string(*b) //1 2 3 4
              << std::string(*c) //? ? ? ?
              << std::endl;
}

我有这样的代码。它可以在 Windows 8 下的 MSVC 2012 x64、g++ 4.7 和 Clang++ 3.2(x86 和 x64)下在 Ubuntu 12.10 和 13.04 下按预期工作。但是,带问号的行在使用 MinGW 4.7 x86 编译时显示未定义的行为或 MinGW 4.8 x64(对不起,我以为我做到了)。

调试器输出表明此时链接到 TargetClass 的 vtable 存在问题。放置断点表明 TargetClass::operator string() 加载了严重取消引用的对象。然而,明确的 dynamic_cast 会产生正确的输出。

我想知道什么可能导致这个问题。如果是MinGW的bug,估计一出现就解决了,因为它打破了C++的核心概念之一。

4

3 回答 3

4

这是 mingw gcc 的一个已知问题。

不要使用虚拟继承,问题就会消失。

错误跟踪器http://sourceforge.net/p/mingw/bugs/1679/

于 2013-07-02T19:19:25.393 回答
1

我刚刚测试过:

  • 32 位和 64 位 MinGW-w64 GCC 4.6/4.7/4.8 构建
  • MSVC 11.0 和 MSVC 11.0 十一月 CTP
  • 使用 GCC 4.6 libstdc++ 的 32 位 Clang 3.2

全部在 Windows 上,并且全部给出输出:

1 2 3 4
1 2 3 4
1 2 3 4

这与 Linux 上的 Clang 和 GCC 相同。

这是否是未定义的行为,我不确定。没用过dynamic_cast

于 2013-06-02T10:06:37.833 回答
1

这看起来像是编译器错误(或运行时支持中的错误dynamic_cast)。代码看起来是正确的,尽管我没有仔细挖掘它。当然,除非发布的代码不是产生问题的代码。

于 2013-05-31T23:03:04.460 回答