問題描述

這就是我要說的

// some guy wrote this, used as a Policy with templates
struct MyWriter {
  void write(std::vector<char> const& data) {
    // ...
  }
};

在現(xiàn)有的一些代碼中，人們沒有使用模板，而是使用接口+類型擦除

In some existing code, the people did not use templates, but interfaces+type-erasure

class IWriter {
public:
  virtual ~IWriter() {}

public:
  virtual void write(std::vector<char> const& data) = 0;
};

其他人想要同時(shí)使用方法和寫入

Someone else wanted to be usable with both approaches and writes

class MyOwnClass: private MyWriter, public IWriter {
  // other stuff
};

MyOwnClass 是根據(jù) MyWriter 實(shí)現(xiàn)的.為什么MyOwnClass的繼承成員函數(shù)沒有自動(dòng)實(shí)現(xiàn)IWriter的接口?相反，用戶必須編寫只調(diào)用基類版本的轉(zhuǎn)發(fā)函數(shù)，如

MyOwnClass is implemented-in-terms-of MyWriter. Why doesn't MyOwnClass' inherited member functions implement the interface of IWriter automatically? Instead the user has to write forwarding functions that do nothing but call the base class versions, as in

class MyOwnClass: private MyWriter, public IWriter {
public:
  void write(std::vector<char> const& data) {
    MyWriter::write(data);
  }
};

我知道在 Java 中，當(dāng)您有一個(gè)實(shí)現(xiàn)接口并從恰好具有合適方法的類派生的類時(shí)，該基類會(huì)自動(dòng)實(shí)現(xiàn)派生類的接口.

I know that in Java when you have a class that implements an interface and derives from a class that happens to have suitable methods, that base class automatically implements the interface for the derived class.

為什么 C++ 不這樣做?擁有這似乎是一件很自然的事情.

Why doesn't C++ do that? It seems like a natural thing to have.

推薦答案

這是多重繼承，有兩個(gè)繼承的函數(shù)，簽名相同，都有實(shí)現(xiàn).這就是 C++ 與 Java 不同的地方.

This is multiple inheritance, and there are two inherited functions with the same signature, both of which have implementation. That's where C++ is different from Java.

在靜態(tài)類型為 MyBigClass 的表達(dá)式上調(diào)用 write 因此對于需要哪個(gè)繼承函數(shù)是不明確的.

Calling write on an expression whose static type is MyBigClass would therefore be ambiguous as to which of the inherited functions was desired.

如果 write 僅通過基類指針調(diào)用，則不需要在派生類中定義 write，這與問題中的聲明相反. 既然問題已更改為包含純說明符，那么在派生類中實(shí)現(xiàn)該函數(shù)對于使類具體化和可實(shí)例化是必要的.

If write is only called through base class pointers, then defining write in the derived class is NOT necessary, contrary to the claim in the question. Now that the question changed to include a pure specifier, implementing that function in the derived class is necessary to make the class concrete and instantiable.

MyWriter::write 不能用于 MyBigClass 的虛調(diào)用機(jī)制，因?yàn)樘撜{(diào)用機(jī)制需要一個(gè)接受隱式 IWriter* const 的函數(shù)this 和 MyWriter::write 接受一個(gè)隱式的 MyWriter* const this.需要一個(gè)新函數(shù)，必須考慮到IWriter子對象和MyWriter子對象的地址差異.

MyWriter::write cannot be used for the virtual call mechanism of MyBigClass, because the virtual call mechanism requires a function that accepts an implicit IWriter* const this, and MyWriter::write accepts an implicit MyWriter* const this. A new function is required, which must take into account the address difference between the IWriter subobject and the MyWriter subobject.

編譯器自動(dòng)創(chuàng)建這個(gè)新函數(shù)在理論上是可能的，但它很脆弱，因?yàn)榛惖淖兓赡軙?huì)突然導(dǎo)致選擇一個(gè)新函數(shù)進(jìn)行轉(zhuǎn)發(fā).它在 Java 中不那么脆弱，只有單繼承是可能的(對于要轉(zhuǎn)發(fā)到哪個(gè)函數(shù)只有一種選擇)，但是在支持完全多重繼承的 C++ 中，選擇是不明確的，我們甚至還沒有開始鉆石繼承或虛擬繼承.

It would be theoretically possible for the compiler to create this new function automatically, but it would be fragile, since a change in a base class could suddenly cause a new function to be chosen for forwarding. It's less fragile in Java, where only single inheritance is possible (there's only one choice for what function to forward to), but in C++, which supports full multiple inheritance, the choice is ambiguous, and we haven't even started on diamond inheritance or virtual inheritance yet.

其實(shí)這個(gè)問題(子對象地址之間的差異)是通過虛擬繼承解決的.但它需要額外的開銷，這在大多數(shù)情況下是不必要的，而 C++ 的指導(dǎo)原則是不用為不使用的東西付費(fèi)".

Actually, this problem (difference between subobject addresses) is solved for virtual inheritance. But it requires additional overhead that's not necessary most of the time, and a C++ guiding principle is "you don't pay for what you don't use".

這篇關(guān)于為什么 C++ 不讓基類實(shí)現(xiàn)派生類的繼承接口?的文章就介紹到這了，希望我們推薦的答案對大家有所幫助，也希望大家多多支持html5模板網(wǎng)！