不完全な型::マップ

Question

ここ
Can't allocate class with forward declared value in std::map member variable
私たちのコードベースに記載されているように私は同じ問題について来ました。私は、CPPにコン&デストラクタを定義するファイルをコンパイルすることを可能にすることを発見したコードと周りいじる後

Hoever私も
...私たちのコンパイラ（MSVC 2017）はこれをコンパイルすることができ、他の例を見つけました。

test.hで：

#ifndef TEST_H 
#define TEST_H 

#include <map> 
struct Incomplete; 

class Test { 
    std::map<int, Incomplete> member; 
public: 
    Test(); 
    ~Test(); 
    int foo() { return 0; } 
}; 

#endif 

test.cppにおいて：

#include "test.h" 
struct Incomplete {}; 
Test::Test() {} 
Test::~Test() {} 

main.cppにおいて：

#include "test.h" 

int main() 
{ 
    Test test; 
    return test.foo(); 
} 

なぜ部材-STDをCPPファイルにコン&デストラクタを定義することを可能ありません:: map-variables inで使用する完全な型？それは必ずしもマップの内容を破壊するIncompleteデストラクタを呼び出す必要があるので、

Answer 1

これは、クラスメンバーが完全であることをIncompleteを必要としない宣言されているので、しかしはstd::mapデストラクタを呼び出すには、を行います。 （デフォルトのstd::mapコンストラクタを呼び出すとはになりますが、実装によっては型が完全である必要がありますが、この仕様に仕様が必要かどうかはわかりません。 ）

暗黙のctors/dtorsを生成するためにコンパイラに依存する場合、コンパイラがctorとdtorを暗黙的に生成するため、型定義が完了する必要があります。あなたがクラス定義の直後にinline Test::Test() {} inline Test::~Test() {}を書いたかのようです。 dtorは暗黙のうちに地図を破壊しようとしています。それはIncompleteの定義なしではできない格納された値に対して~Incomplete()を呼び出して地図の内容を破壊します。そして、そこには、すべてが崩壊し、あなたは間違いを起こします。あなたが後でそれらを実装しますこと、それは、したがって、何のstd::map ctorのそれらを生成しませう（Test CTOR /デストラクタの宣言を介して）コンパイラに伝える場合

しかし、/デストラクタ呼び出しがでコンパイルされますその点。

次に、あなた自身をデストラクタ/前のctorを定義するにIncompleteタイプを完了し、そうIncompleteはCTOR /デストラクタ呼び出し正常にコンパイルすることができます。 Incompleteの定義を削除すると、同じエラーが発生します。他の人が言ってきたように、あなたの代わりにマップ内の不完全な型へのポインタ/参照を格納することによって、この問題をサイドステップすることができ、

---

注意。不完全な型へのポインタまたは参照は、実際には完全な型です。しかし、これはすべての場合に望ましいことではないかもしれませんので、私はマップがどのように使用されるかについての詳細を知らずにその解決策を押し出すことを躊躇しています。