ユニオンはC++で、単純な型ではありません

Question

私は、結果とエラーのいずれかを運ぶことができる単純な構造体を持っています。 どちらも同じタイプですが、分かりやすくするために2人のメンバーが必要です。 cppreference.comから、次のコードスニペットが有効なC++であるようです。 non trivialクラス（このインスタンスではstd :: string）を整理するために、ユニオンデストラクタで配置を削除します。

struct Result { 
    union { 
    std::string resultText; 
    std::string errorText; 
    ~(){ resultText.~string();} 
    }; 
}; 

それはのように見えますが、これを使用することを含む構造体は、明示的/コピーresultTextを移動するルールの-5のメンバーを実装する必要があります。

Answer 1

ユニオンはコードの可読性を低下させるだけです。また、使用方法によってはメンテナンスも増えます。実際には、std::stringのメンバーを持っているにも関わらず、「5のルールを実装する」と述べたという事実は、あなたのクラスが維持する悪夢となることを示唆しています。

私は、これらのオプション（最高どのようになるかを決定するために問題のない十分な詳細）になります。

• は例外を使用してください。 std::exception

• Boost.Optionalを使用してカスタム例外を作成できます。

  boost::optional<std::string> do_something() { ... }; 
  
  std::string result = do_something().value_or("error!");