Interested Article - Ромбовидное наследование

????????? ???????????? ??????? ? ???? ?????.

??????????? ???????????? ( ????. diamond inheritance ) — ???????? ? ????????-??????????????? ?????? ???????????????? ? ?????????? ?????????????? ???????????? , ????? ??? ?????? B ? C ????????? ?? A , ? ????? D ????????? ?? ????? ??????? B ? C . ??? ???? ????? ???????????? ????? ?????????? ???????????????: ???? ?????? ?????? D ???????? ?????, ???????????? ? ?????? A (? ???? ????? ?? ??? ????????????? ? ?????? D ), ? ?????? B ? C ??-?????? ?????????????? ???? ?????, ?? ?? ?????? ?????? ??? ???????????: B ??? C ?

????????, ? ??????? ?????????? ??????????? ??????????? ????? Button («??????») ????? ???????????? ??????????? ?? ?????? Rectangle («?????????????», ??? ???????? ????) ? ?? ?????? Clickable («???????? ??? ???????? ??????», ??? ?????????? ????????????????/????????? ?????), ? Rectangle ? Clickable ????????? ?? ?????? Object («??????»). ???? ??????? ????? equals («?????») ??? ??????? Button , ? ? ?????? Button ?? ???????? ?????? ??????, ?? ? ?????? Object ????? ?????????????? ????? equals ??-?????? ???????????????? ??? ? ?????? Rectangle , ??? ? ? Clickable , ?? ????? ?? ??????? ?????? ???? ???????

???????? ????? ( ????. diamond problem ) ???????? ???? ???????? ????????? ?????????? ????????? ???????????? ??????? ? ???? ????????. ? ?????? ??????, ????? A ???????????? ? ???? ???????, ?????? B ? C ?? ??????????? ??????????? ????, ? D ??????????? ? ?????? ? ????? ????, ??????? ???? .

???????

????????? ????? ???????????????? ?????? ???????? ???????????? ???????????? ?????????? ?????????:

C++ ?? ????????? ?? ??????? ???????????? ????????????: ?????????? ???????????? ?????? ???? ???????????? ????????, ? ?????????? ???? ?????? D ????? ?? ????? ???? ????????? ??? ?????? ?????????? A , ? ??? ????????????? ?????? A ??????????? ??????? ???? ???????????? ( B::A ??? C::A ). ????? ????????????? ??????????? ????????? ????????????, ?????????? ??????????????? ??????????? ????????????? ?????? A ?? ?????????? ????? ????????????: ???? ??? ???????????? ?? A ? B ? ?? A ? C ?????????? ?????????????? virtual (????????, class B : virtual public A ), C++ ??????????? ??????? ????????? ?? ????????? ?????? ?????? ?????????? A , ? ????????????? ?????? A ????? ???????? ?????????. ???? ??????????? ? ????????????? ???????????? ???????????, ?? ?????????? ???? ??????????? ????????? A ? ?? ?????? ?????????????? ?????????? A ??? ??????? ???? ?????????????? ???????????? ? A . ??? ??????????? ?????? ?????? ???????????? ???????? ?????? ???????????? ??? ?????????? ??????? ?????????????: ?????????? ????????? ??????????? ????? ??????, ??????? ??? ?????????? ?? ?????????? ????? ????????????.
Common Lisp ???????? ??????????? ? ???????? ????????? ?? ?????????, ? ??????????? ???????? ???. ?? ????????? ?????????? ????? ? ???????? ???????????? ???????? ??????????; ?????, ?????? ?????????? ?? ???????, ? ??????? ???????????? ?????? ??????? ??? ??????????? ?????????. ?????? ??????????? ?????? ????? ???????? ??? ????????? ????? ???????? ???????????? ??????? ?????????? ??????? ??? ???????? ??????? ??? ??????????? ???????.
Eiffel ???????????? ???????? ???????? ??? ?????? ???????? select ? rename , ? ?????? ??????, ??????? ???????????? ? ????????, ??????????? ????. ??? ????????? ????????? ???????????? ?????? ????????????? ?????? ? ???????? ??? ????????????? ?? ????????? ????? ????????????? ??????.
Perl ? Io ???????????? ???????????? ????? ????? ? ??????? ? ??? ???????, ??????? ???????????? ? ??????????? ??????. ????? B ? ??? ?????? ????? ????????? ????? ??????? C ? ??? ????????, ??? ??? ????? ? A ????? ??????????? ?? B ; ?????? ?????????? — [ D , B , A , C ]. ??? ???? ? Perl ?????? ????????? ????? ???? ???????? ??? ?????? mro ??? ?????? ??????? ??? ?????????? C3-???????????? (??? ? Python) ??? ?????? ??????????.
? Python ???????? ????? ????? ?????? ? ?????? 2.3 ????? ???????? ??????? ? ????? ??????? object ; ??????? ? ???? ?????? ???? ?????? ????????? ?????? ?????????? ??? ?????? C3-???????????? . ? ?????? ????? ??? ???????? ????? ? ??????? , ??????? ????? ( D , B , A , C , A ), ? ????? ???????? ?? ?????? ????, ????? ?????????? ????????? ??????? ??????, ??????? ? ?????? ???????????. ?????????????, ???????? ??????? ?????????? ???????? ???: [ D , B , C , A ].
Scala ?????? ?????????? ????????? ?????????? Python, ?? ????? ????? ? ??????? ??????? ??????. ?????????????, ??????????????? ?????? ?????????? ????? — [ D , C , A , B , A ], ? ????? ???????? ?????????? — [ D , C , B , A ].
, ??????? ? ?????? 1.2, ????????? ????????????? ???????????? ?? ???? ?????????? ???????? . ? ?????? ?????????, ?????????? ????????? ?????? ????????????? ?????????????? ?????????? ??? ???????. ? ??????? ???????????? ????? ??-???????? ????? ???????? ?????? ?? ???? ?????????? ??????? ? ?????? ???????, ????????, (individual as Person).printInfo(); .

?????? ???????

?????, ??????????? ???? ??????? ???????????? (??? ????????, ??? , Objective-C , PHP , C# , Delphi / Free Pascal ? Java ), ??????????????? ????????????? ???????????? ??????????? (? Objective-C ?????????? ???????????). ?????????? ?? ???? ???????? ???????????? ???????? ????????, ??? ?????? ??????? ????? ??????????, ? ??? ??????????? ????. ????? ???????, ???????? ?? ?????????, ??? ??? ?????? ????? ?????? ???? ?????????? ????????????? ?????? ??? ????????, ?? ???????? ????????????? ????????????????.

???????? ????? ?? ?????????????? ???? ?????????????. ??? ????? ????????? ? ????? ??????, ??? ?? ? C++ , ????? ???????????? ????? A, B, C ? D, ? ????? ????????? ??????????????????? ????????? , ????????? ?? B ? C, ???????????? (??? ?????? ?????????? #include ) ???? ? ??????? ?? ??????????? ?????, ????????? ??????. ???? ??? ??? ??????????????????? ????????? ????????????, ?????????? ? A ???????????, ? ????????? ?????? ??????????? #ifndef ?????????? ?????????????. ????? ???????? ?????????????? ??? ??????????? ?????? ??????????????? ??????????? ; ????????, ???? A — ??? ???? ??????, ? B ? C — , ?? D ????? ????????? ??? B, ??? ? C ??????????? ( COMMIT ) ?????????? ??????????, ??????? ? ??????????? ??????? ????????????? A.

??????????

(????.) . ???? ?????????: 15 ??? 2010. 12 ?????? 2012 ????.

??????????

Eddy Truyen; Wouter Joosen, Bo Jørgensen, Petrus Verbaeten. A Generalization and Solution to the Common Ancestor Dilemma Problem in Delegation-Based Object Systems (????.) // Proceedings of the 2004 Dynamic Aspects Workshop : journal. — 2004. — No. 103—119 .