クラスがデフォルトで構築できないのはなぜですか？

私はそれらのクラスを持っています：

#include <type_traits>

template <typename T>
class A {
public:
    static_assert(std::is_default_constructible_v<T>);

};

struct B {
   struct C {
      int i = 0;
   };

    A<C> a_m;
};

int main() {
    A<B::C> a;
}

コンパイル時、a_mデフォルトでは構築できませんが可能aです。

に変更Cする場合：

struct C {
      int i;
   };

すべて順調。

Clang 9.0.0でテスト済み。

これは、標準のテキストと、コメントに記載されているいくつかの主要な実装の両方で許可されていませんが、完全に無関係な理由のためです。

まず、「本による」理由：のインスタンス化のポイントはA<C>、標準によると、 の定義の直前Bであり、のインスタンス化のポイントstd::is_default_constructible<C>はその直前です。

クラステンプレートの特殊化の場合、[...]特殊化が別のテンプレート特殊化内から参照されるために暗黙的にインスタンス化される場合、特殊化の参照元のコンテキストがテンプレートパラメータに依存し、特殊化がインスタンス化されていない場合囲んでいるテンプレートのインスタンス化に対して、インスタンス化のポイントは、囲んでいるテンプレートのインスタンス化のポイントの直前です。それ以外の場合、そのような特殊化のインスタンス化のポイントは、その特殊化を参照する名前空間スコープ宣言または定義の直前になります。

Cその時点では明らかに不完全であるため、インスタンス化の動作std::is_default_constructible<C>は定義されていません。ただし、このルールを変更するコア問題287を参照してください。

実際には、これはNSDMIに関係しています。

• NSDMIは、構文解析が遅れるので奇妙です。標準の用語では、「完全なクラスのコンテキスト」です。
• したがって、それ= 0は原則としてBまだ宣言されていないものを参照する可能性があるため、実装はで終了するまで実際に解析を試みることはできませんB。
• クラスを完了するにCは、コンストラクターが宣言されていないため、特別なメンバー関数、特にデフォルトのコンストラクターの暗黙的な宣言が必要です。
• その宣言の一部（constexpr-ness、noexcept-ness）は、NSDMIのプロパティに依存します。
• したがって、コンパイラがNSDMIを解析できない場合は、クラスを完成できません。
• その結果、インスタンス化した時点A<C>でCは不完全だと思います。

遅延解析された領域を処理するこの領域全体は、実装の相違を伴い、ひどく過小評価されています。クリーンアップされるまでに時間がかかる場合があります。

未定義の動作：

上記のテンプレートのインスタンス化が不完全または不完全なタイプに直接または間接的に依存しており、そのインスタンス化が仮説的に完了した場合に別の結果が生じる可能性がある場合、動作は未定義です。