Dlaczego diament śmierci, a nie trójkąt śmierci

Question

Widziałem wiele przykładów, które ilustrują niebezpieczeństwa wielokrotnego dziedziczenia.

Przykładem jest jak zwykle klas B i C obejmuje Klasy A, D obejmuje zarówno B i C

B i C, jak zastąpić metodę z A, powiedzmy na przykład, równa();

następnie po wywołaniu D.equals(); nie wiemy, który z jego rodzic powinien być nazywany

pod warunkiem, że jest równy() nie jest uwzględniana w D.

Z tego co widzę, nie jest klasa A w tym przypadku zbędny? Jeśli usuniemy A z tej hierarchii i po prostu spojrzymy na B i C, jeśli oba B i C mają metodę zwaną equals(), to kiedy D rozszerzy B i C, to nadal będzie miał ten sam problem, więc czy tak naprawdę nie jest to trójkąt śmierci?

Nie jestem pewien, czy to, co zakładałem, spowoduje błąd czasu kompilacji w innym języku.

Mam nadzieję, że ktoś może to dla mnie wyjaśnić.

Answer 1

Jeśli D extends B and C nie zastępuje metodę equals(), który jest realizowany w części B i C, nie ma wątpliwości - D może wykorzystywać B.equals() lub C.equals().

o strukturze diamentu, z drugiej strony, jeśli D wzywa A.equals() i zarówno bic go zastąpić, nie wiem, która metoda powinna być wywoływana B.equals() lub C.equals().

Answer 2

Masz rację, nie ma potrzeby, aby w ogóle istniała A, aby pokazać problemy związane z dziedziczeniem wielokrotnym.

następujący kod ("V śmierci", jak Craig wymownie stawia go w komentarzu) wystarczy:

#include <iostream> 

class xyzzy { 
    public: virtual int get (void) { return 7; } 
}; 

class plugh { 
    public: virtual int get (void) { return 42; } 
}; 

class twisty: public xyzzy, public plugh { 
}; 

int main() { 
    twisty passages; 
    std::cout << passages.get() << '\n'; 
    return 0; 
} 

Przy próbie kompilacji tego dostaniesz:

testprog.cpp: In function ‘int main()’: 
testprog.cpp:16:24: error: request for member ‘get’ is ambiguous 
testprog.cpp:8:14: error: candidates are: virtual int plugh::get() 
testprog.cpp:4:14: error:     virtual int xyzzy::get() 

Pamiętaj jednak, że możesz jawnie wybrać, który chcesz, z czymś podobnym:

std::cout << passages.plugh::get() << '\n'; 

Więcej informacji na temat problemu z diamentem: here, w tym dlaczego tak naprawdę jest to inny problem.