は、私はそれを実行すると、例外はある例のコードは、Visual Studioでの下に2015年</p> <p>投稿を構築し、実行した結果、破損した仮想テーブルであることを私には思われるものが発生している仮想テーブルのVisual Studioのバグ

Question

が破損しましたm_stringが割り当てられたときにスローされます。

私は、gccとClangの両方のコンパイラを使用してコードが意図したとおりにビルドされて動作することを確認しました。

非常に大きなプロジェクトから合成されたので、私はこの例を可能な限り小さくしようとしました。

また、私はいくつかの関数からnullを返すことを認識しています。実際の戻り値は問題とは関係ありませんが、戻り値の型がある可能性があります。これはVisual Studioのバグですか？

#include <iostream> 
#include <memory> 
#include <string> 

struct A { virtual ~A(void) { } }; 
struct B { virtual ~B(void) { } }; 
struct C : public A, public B { virtual ~C(void) override { } }; 

struct D 
{ 
    virtual ~D(void) { } 
    virtual B *func(void) = 0; 
}; 

struct E : public D 
{ 
    virtual ~E(void) override { } 
    virtual C *func(void) override { return nullptr; } 
}; 

struct F : public A, public E 
{ 
    virtual ~F(void) override { } 
    C *func(void) override 
    { 
     m_string = "Why does the act of setting this field cause a crash?"; 

     return nullptr; 
    } 

    std::string m_string; 
}; 

int main(int argc, char **argv) 
{ 
    std::unique_ptr<F> pF(new F()); 
    (dynamic_cast<D *>(pF.get()))->func(); 
    pF->func(); 

    return 0; 
} 

Answer 1

解決策は、クラスA仮想からの継承を作成することです。

struct C : virtual public A, public B { virtual ~C(void) override { } }; 

または

struct F : virtual public A, public E { ... } 

問題はおそらく基底クラス内の仮想desctructorsに関連しています。たぶん、他の人がこれがなぜ機能するのか、もっと説明してくれます。

@JamesAdkisonが継承したクラスを交換することによって指摘されたように（struct C : public A, public B {...}からstruct C : public B, public A {...}に変更）、この問題も解決されます。 struct F : public A, public E { ... }からstruct F : public E, public A { ... }に変更されます。だから、@ Josh P.のように、MSVCのバグのようです。