C++：それが属するクラスを含む共用体

Question

このコードはエラーなしでコンパイルされますが、期待どおりに動作するかどうかは疑問です。そのようなネスティングは許可されていますか？私はboostとC++を使うことはできません。

class Node; 

typedef struct Value {  
    ValueTag type; 

    union {   
     std::int32_t       integerValue; 
     std::float_t       floatValue; 
     bool         boolValue; 
     std::vector<Node>      arrayValue; 
     std::unordered_map<std::string, Node> dictionaryValue; 
    };   
} Value; 

class Node {     
private:   
    Value m_value;   
public:     
    virtual ~Node();  
}; 

Answer 1

編集 私のオリジナルの答えは、plzはそれを無視し、誤解を招く/間違っていました。理由は以下のコメントを参照してください。とにかくstd :: variantまたはboost :: variantを受け入れます。

Non PlainOldData（POD）は、c-unionでは安全ではありません。

特にこのproplem std :: variantは、C++ 17標準になりました。以前のバージョンのC++にboost :: variantを使用することができます。

問題は、その組合がコンストラクタとデストラクタについて何も知らないことです。したがって、必要となるよりユニオンの要素でより一般的なことを行うことはできません（動的メモリ割り当てなど）

Answer 2

予想通りに動作するかどうかは疑問です。

あなたは正しいです。それはできません。まず、Nodeを構築しようとすると実際にはコンパイルされません。 unionで、任意の非自明な操作が暗黙のうちに削除されるためです

prog.cc:26:10: error: call to implicitly-deleted default constructor of 'Node' 
    Node n; 
     ^

：あなたのような何かを得るでしょう。正しいことをするには、~Value()を定義する必要があります。これは、typeが、実際にはどのユニオンの要素のインデックスであると仮定し、それをオンにして適切なデストラクタを呼び出します。そして、コピーしたり動かすのと同じことをしてください。

しかし、不完全なタイプのネストもOKではありません。 vectorは、最初に使用する前に完了している限り、不完全なタイプを持つことができます。しかし、unordered_mapにはこの手当はありません。値のタイプは、unique_ptr<Node>やshared_ptr<Node>のようなもので囲む必要があります。

Valueには、区別された和集合、合計型、またはおそらく最も一般的にはvariantという百万の異なる名前を持つ共通のパターンがあります。ホイールを再発明する代わりに、代わりにstd::variant（それをサポートするには最近のコンパイラを使用している場合）またはboost::variant（それ以外の場合）を使用することをお勧めします。それで、あなたは持っています：

using Value = variant<int32_t, float, bool, 
    std::vector<Node>, std::unordered_map<std::string, Node>>; 

このタイプはすでに破壊可能、コピー可能、移動可能、訪問可能です。