スマートポインタと継承されたコンストラクタによる前方宣言

Question

このquestionによれば、すべてのコンストラクタとデストラクタがインラインでない場合（完全定義された型が必要な場合）スマートポインタを宣言することができます。デストラクタが提供されていない場合、コンパイラは宣言し、インライン定義を提供し、スマートポインタの型をヘッダ内で完全に知る必要があります。既定のコンストラクターにも同じことが適用されます。

しかし、これは継承されたコンストラクタにも適用されることがわかりました。私にとってはちょっと混乱します。考えてみましょう：

class Base 
{ 
public: 
    Base(); //defined in cpp 
}; 

class SomeClass; 

class Derived : public Base 
{ 
    using Base::Base; 
    ~Derived(); //defined in cpp 

    std::unique_ptr<SomeClass> ptr; 
}; 

Derivedコンストラクタが明示的に宣言し、唯一のソースファイルで定義されていない限り、これはコンパイルされません。どうして？ Baseコンストラクタはインラインではなく、私が知っている限り、usingディレクティブは他のメンバと同様にコンストラクタの "継承"を引き起こすはずです。あるいは、コンパイラはそれを "私にはBaseと同じコンストラクタを宣言し、インラインで定義する"と解釈しますか？

Answer 1

最後の文があなたの答えです。コンパイラはusing Base::Base;を

と解釈します。Derivedには、Baseと同じシグネチャセットを持つコンストラクタが必要です。

Answer 2

Derivatedの場合、コンストラクタを宣言していないため、デフォルトのものがインラインで作成されます。

デフォルトのコンストラクタまたは他のコンストラクタが基本コンストラクタを呼び出すということは、インラインではないBaseコンストラクタとは関係のない別のトピックです。

基本クラスのコンストラクタとベースクラスのコンストラクタの間には、ベースクラスのコンストラクタが派生クラスのコンストラクタの前に実行されていることを除いて、C++では接続がありません。明示的に述べると、基本クラスのデフォルトのものが呼び出されます。

Answer 3

まず者がコードの最小量で問題を再現してみましょう：

#include <memory> 

class SomeClass; 

int main() 
{ 
    std::unique_ptr<SomeClass> ptr; 
} 

エラー：

In file included from /opt/gcc-explorer/gcc-6.2.0/include/c++/6.2.0/memory:81:0, 
from <source>:1: 
/opt/gcc-explorer/gcc-6.2.0/include/c++/6.2.0/bits/unique_ptr.h: In instantiation of 'void std::default_delete<_Tp>::operator()(_Tp*) const [with _Tp = SomeClass]': 
/opt/gcc-explorer/gcc-6.2.0/include/c++/6.2.0/bits/unique_ptr.h:236:17: required from 'std::unique_ptr<_Tp, _Dp>::~unique_ptr() [with _Tp = SomeClass; _Dp = std::default_delete<SomeClass>]' 
<source>:7:30: required from here 
/opt/gcc-explorer/gcc-6.2.0/include/c++/6.2.0/bits/unique_ptr.h:74:22: error: invalid application of 'sizeof' to incomplete type 'SomeClass' 
static_assert(sizeof(_Tp)>0, 
^ 
Compiler exited with result code 1 

ここに同じ問題（それは、継承を行うには何もないことを証明するために）：

#include <memory> 

class SomeClass; 

class NotDerived 
{ 
// ~NotDerived(); //defined in cpp 

    std::unique_ptr<SomeClass> ptr; 
}; 

int main(){ 
    NotDerived d; 
} 

エラー：

In file included from /opt/gcc-explorer/gcc-6.2.0/include/c++/6.2.0/memory:81:0, 
from <source>:1: 
/opt/gcc-explorer/gcc-6.2.0/include/c++/6.2.0/bits/unique_ptr.h: In instantiation of 'void std::default_delete<_Tp>::operator()(_Tp*) const [with _Tp = SomeClass]': 
/opt/gcc-explorer/gcc-6.2.0/include/c++/6.2.0/bits/unique_ptr.h:236:17: required from 'std::unique_ptr<_Tp, _Dp>::~unique_ptr() [with _Tp = SomeClass; _Dp = std::default_delete<SomeClass>]' 
<source>:5:7: required from here 
/opt/gcc-explorer/gcc-6.2.0/include/c++/6.2.0/bits/unique_ptr.h:74:22: error: invalid application of 'sizeof' to incomplete type 'SomeClass' 
static_assert(sizeof(_Tp)>0, 
^ 
Compiler exited with result code 1 

は、今度は、unique_ptrを本当に何であるかを覚えてみましょう：ポインタの

template< 
    class T, 
    class Deleter = std::default_delete<T> 
> class unique_ptr; 

そしてdefault_delete ...

Calls delete on ptr

とdelete（SomeClassに）Someclassを破壊したいので、それだろうあなたがまだ宣言していないものをSomeClass::~SomeClass

に電話する必要があります。したがって、エラー。

これはなぜ関連していますか？

コードでは、Derivedのデストラクタを宣言しないと、デストラクタをptrと呼ぶデフォルトのものが生成されます。

この時点で、コンパイラは完全な定義をSomeClassにする必要があります。そのため、コンパイラは破壊方法を知っています。

Derivedでデストラクタを宣言すると、この問題はDerived::~Derivedのimlementationに引き継がれます。