不完全な型で `std::unique_ptr` が失敗するのはなぜですか?それを修正するにはどうすればよいですか?

std::unique_ptr に対する不完全な型の障害

不完全な型で std::unique_ptr を使用すると、コンパイルの問題が発生します。 std::unique_ptr で pimpl イディオムを使用する場合、次のようなコードがこのような問題を引き起こす可能性があります:

class window {
  window(const rectangle& rect);

private:
  class window_impl; // defined elsewhere
  std::unique_ptr<window_impl> impl_; // compilation failure
};

std::unique_ptr は完全な型定義を期待しているため、不完全な型に関するコンパイル エラーが発生します。

根本原因の解明: 破壊欠陥

std::unique_ptr と不完全な型の間に期待される互換性があるにもかかわらず、問題はデストラクター宣言の欠如に起因します。コンパイラーによって生成されるデフォルトのコンストラクターには、実装されたクラスの完全な宣言が必要です。

この問題を修正するには、外部クラスでデストラクターを明示的に定義し、実装されたクラスが完成したときにデストラクターが使用できるようにします。

class foo
{ 
    class impl;
    std::unique_ptr<impl> impl_;

public:
    foo(); // May require a default constructor defined elsewhere

    ~foo(); // Implement with an empty body or use "= default;"
};

テンプレート コンストラクターに関する注意事項

テンプレートの定義実装されたメンバーが初期化されていない場合でも、コンストラクターは問題を複雑にします:

template <typename T>
foo::foo(T bar) 
{
    // Compiler requires knowledge of impl_ destruction in case of exceptions
}

名前空間レベルの制限

名前空間スコープでも不完全な型で std::unique_ptr を使用する課題を提起します:

class impl;
std::unique_ptr<impl> impl_;

コンパイラ静的期間オブジェクトを破棄する方法を知る必要があります。解決策は、定義されたデストラクターを使用してカスタム構造体内で std::unique_ptr をラップすることです:

class impl;
struct ptr_impl : std::unique_ptr<impl>
{
    ~ptr_impl(); // Implement with an empty body
} impl_;

以上が不完全な型で `std::unique_ptr` が失敗するのはなぜですか?それを修正するにはどうすればよいですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。