コピーコンストラクタを削除すると、継承されたコンストラクタが破損する

Question

C++ 11のコンストラクタ継承機能を使用しようとしています。 （私はそこを覚えていないどこかからコピーされた）次のスニペットは、完全に正常に動作します：

コメントでマークされた行が追加されるまで、ある

#include <iostream> 

struct Base { 
    Base() : Base(0) {} 
    Base(int a) : Base(a, 0) {} 
    Base(int a, double b) { std::cout << "Base(" << a << "," << b << ")" << std::endl; } 
}; 

struct Derived : Base { 
    using Base::Base; 
    Derived(const Derived& that) = delete; // This line is the culprit 
}; 

int main(int argc, char* argv[]) { 
    Derived d1; 
    Derived d2(42); 
    Derived d3(42, 3.14); 
} 

。その後、すべての地獄の休憩が緩いので：

> g++ -std=c++11 -o test test.cpp 
test.cpp: In function ‘int main(int, char**)’: 
test.cpp:18:11: error: no matching function for call to ‘Derived::Derived()’ 
    Derived d1; 
     ^
test.cpp:18:11: note: candidates are: 
test.cpp:13:16: note: Derived::Derived(int) 
    using Base::Base; 
       ^
test.cpp:13:16: note: candidate expects 1 argument, 0 provided 
test.cpp:13:16: note: Derived::Derived(int, double) 
test.cpp:13:16: note: candidate expects 2 arguments, 0 provided 

コピーコンストラクタを削除するも何とかアクセスできないBaseからデフォルトコンストラクタを作ったかのように思われます。問題を調べても何も役に立たなかった。 SOはthis issueを提案しましたが、わかっている限り、私はこのスニペットでコピー初期化を使用しません。誰かがここで何が起こったのかについていくつかの光を当てることができましたか？

（上記のメッセージを生成し、コンパイラがGCC 4.8.2である。しかし、打ち鳴らすは、同様のエラーメッセージを返す）

Answer 1

問題は、deleteとコピーコンストラクタをマーキングすることユーザー宣言せることです実際にはそのクラスのデフォルトのコンストラクタが削除されます（あなたのケースではDerived）。動作は、この単純なコードで見ることができます：側の発言として

struct X 
{ 
    X(const X&) = delete; // now the default constructor is not defined anymore 
}; 

int main() 
{ 
    X x; // cannot construct X, default constructor is inaccessible 
} 

：Base::Base()が継承されることになる場合でも、コンパイラは Derived(): Base(){}のようにそれを見るだろう。しかし、Derivedが削除されているので、実際にはBase::Base()を呼び出すことはできません。一般に、using Base::Base文は、対応するコンパイラの文法的な砂糖です。Derived(params): Base(params){}です。

Answer 2

カスタムコンストラクタを定義するときは常に、デフォルトのコンストラクタを明示的に指定する必要があります。私。

Derived::Derived() = default; 

Answer 3

継承コンストラクタには、特別なコンストラクタ（空、コピー、移動）がありません。これは、文字通り何を求めているのかということは、ほとんど常に悪い考えです。

---

調べます

struct base { 
    std::vector<int> data; 
    base(base const&)=default; 
    base(base&&)=default; 
    base(size_t n):data(n) {} 
    base()=default; 
}; 

struct derived:base { 
    using base::base; 
    std::vector<char> more_data; 
}; 

は、あなたが本当に存在するderived(base const&)をしたいですか？またはbase(base&&)？どちらも絶望的にスライスしますderived。

「誤って」起こっている操作の危険性は、必要に応じて明示的に表示する必要があることを意味します。

---

copy/move/default ctorsは、デフォルトで親バージョンとメンバー変数のctorsを呼び出すだけです。あなたの親から継承する必要はありません（通常）。

ただし、=delete,=defaultのいずれかを定義するか、これらの特殊なctorsの1つを定義すると、もう1つはコンパイラによって生成されなくなります。あなたはまだそれらの周りに固執したい場合は=default他のものにする必要があります。