C++ 11刪除重寫的方法

Question

前言：

這是一個問題，當應用到子類關於與C++ 11引入了delete操作符的新的意義的最佳實踐覆蓋繼承父的虛擬方法。

背景：

每標準，第一使用情況中引用是明確禁止調用函數對於某些類型的，其中轉化率，否則將隱式如從最新C++11 standard draft§8.4.3的例子：

struct sometype { 
    sometype() = delete; // OK, but redundant 
    some_type(std::intmax_t) = delete; 
    some_type(double); 
}; 

上面的例子很清楚，有目的。但是，下面的示例中，新操作符被覆蓋並通過將其定義爲刪除而被阻止開始，我開始考慮後來在問題部分中指出的其他場景（以下示例來自C++11 standard draft的§8.4.3）：

struct sometype { 
    void *operator new(std::size_t) = delete; 
    void *operator new[](std::size_t) = delete; 
}; 
sometype *p = new sometype; // error, deleted class operator new 
sometype *q = new sometype[3]; // error, deleted class operator new[] 

問：

通過這種思想繼承的延伸，我很好奇，就以下使用示例是一個清晰而有效的用例其他的想法，或者如果它是不明確的濫用的新增功能。請提供您的答案的理由（提供最有說服力的推理的例子將被接受）。在下面的例子中，設計試圖通過讓庫的第二版本繼承第一版本來維護兩個版本的庫（該庫需要被實例化）。這個想法是允許對第一個庫版本的錯誤修復或更改自動傳播到第二個庫版本，同時允許第二個庫版本只關注與第一個版本的差異。棄用第二庫版本的函數，delete運算符是用來呼叫禁止，以重寫的功能：

class LibraryVersion1 { 
public: 
    virtual void doSomething1() { /* does something */ } 
    // many other library methods 
    virtual void doSomethingN() { /* does something else */ } 
}; 

class LibraryVersion2 : public LibraryVersion1 { 
public: 
    // Deprecate the doSomething1 method by disallowing it from being called 
    virtual void doSomething1() override = delete; 

    // Add new method definitions 
    virtual void doSomethingElse() { /* does something else */ } 
}; 

雖然我可以看到很多好處，這樣的做法，我覺得我傾向於更傾向於思想這是對該功能的濫用。我在上面的例子中看到的主要缺陷是經典的「is-a」繼承關係被打破。我讀過很多文章，強烈建議不要使用繼承來表達「一種是一種」關係，而是使用包含函數的組合來清楚地標識類的關係。儘管下面經常被忽視的例子需要更多的努力來實現和維護（關於爲這段代碼編寫的行數，由於每個繼承函數都必須公開可用，必須由繼承類明確地調用），使用如上所述的刪除在很多方面非常相似：

class LibraryVersion1 { 
public: 
    virtual void doSomething1() { /* does something */ } 
    virtual void doSomething2() { /* does something */ } 
    // many other library methods 
    virtual void doSomethingN() { /* does something */ } 
}; 

class LibraryVersion2 : private LibraryVersion1 { 
    // doSomething1 is inherited privately so other classes cannot call it 
public: 
    // Explicitly state which functions have not been deprecated 
    using LibraryVersion1::doSomething2(); 
    // ... using (many other library methods) 
    using LibraryVersion1::doSomethingN(); 

    // Add new method definitions 
    virtual void doSomethingElse() { /* does something else */ } 
}; 

非常感謝您的回答，並深入瞭解此潛在用例的刪除。

Answer 1

段落8.4.3/2不允許對刪除它覆蓋一個虛擬函數的函數：

「一種程序，是指到已刪除的功能隱含地或明確，除了申報它，是非法的構造。[注：此包括調用函數隱含或明確地並形成一指針或指針到構件的功能」

通過一個指向基類調用壓倒一切的虛擬函數是企圖隱含調用該函數。因此，按照8.4.3/2，允許這種設計是非法的。另請注意，沒有符合C++ 11的編譯器會讓您刪除重寫的虛擬函數。 。

更明確地說，同樣通過第10.3/16規定：

「與已刪除的定義（8.4）不得覆蓋不具有已刪除的定義的功能的功能同樣地，一個函數，它沒有刪除的定義不得凌駕於功能與已刪除的定義「

Answer 2

考慮的一些功能：

void f(LibraryVersion1* p) 
{ 
    p->doSomething1(); 
} 

這將編譯LibraryVersion2甚至寫入之前。

因此，現在您使用已刪除的虛擬實現LibraryVersion2。

f已被編譯。它直到運行時才知道哪個LibraryVersion1子類已被調用。

這就是爲什麼刪除的虛擬是不合法的，它沒有任何意義。

最好可以做的是：的C++標準間接

class LibraryVersion2 : public LibraryVersion1 
{ 
public: 
    virtual void doSomething1() override 
    { 
     throw DeletedFunctionException(); 
    } 
} 

Answer 3

10.3p16：

與已刪除的定義（8.4）的函數不得凌駕於不具有的功能削除特德的定義。同樣，一個沒有被刪除定義的函數也不能覆蓋具有被刪除定義的函數。

另一個答案解釋了爲什麼很好，但你有官方的你不應該。