刪除複製構造函數break繼承構造函數

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。

這些操作發生「意外」的危險意味着您必須明確地將它們帶入，如果您想要它們。

---

複製/移動/默認ctors，默認情況下恰好調用父版本，加上成員變量的ctors。不需要（通常）涉及從父母繼承他們。

但是，一旦你=delete，=default或定義其中一個特殊ctors，其他一些停止生成的編譯器。所以你必須要=default其他的，如果你還想讓他們堅持下去的話。