Az Eiffel programozási nyelv - 9. előadás

Tematika

• A többszörös öröklődés egy felhasználási területe: többféle viselkedés kombinálása. Példa: INTEGER_32, melyben benne van a NUMERIC, a COMPARABLE és a HASHABLE. Interfészeket öröklünk, és azokat megvalósítjuk.

  deferred class NUMERIC
  feature
      infix "+"( other: like Current ): like Current
      infix "-"( other: like Current ): like Current
      ...
  end -- class NUMERIC
  
  deferred class COMPARABLE
  feature
      infix "<"( other: like Current ): like Current
      infix "<="( other: like Current ): like Current
      ...
  end -- class COMPARABLE
  
  deferred class HASHABLE
  feature
      hash_code: INTEGER_32
  end -- class HASHABLE
  
  class INTEGER
      inherit NUMERIC redefine infix "+", infix "-", ... end; 
              COMPARABLE redefine ... end; 
              HASHABLE redefine hash_code end
  feature
      ...
  end -- class INTEGER
  

  Miért jó? Más OO nyelvek? Egy implementáció és több interfész öröklése? Hogyan lehet ilyet Ada95-ben (és Ada83-ban)?
• 25-tree: Ismét többszörös öröklődés, de most többszörös kódöröklés. Ezt máshol aggregációval csinálják. A többszörös öröklődés kiváltható mixin segítségével. Példa.
• Ismételt öröklődés: ugyanazt többször. (Az ANY miatt minden többszörös öröklődés ilyen.)

  class HOUSE
  feature
  	address: STRING
  	insured_value: INTEGER
  ...
  end -- class HOUSE
  
  class RESIDENCE
  inherit
  	HOUSE
  		rename
  			insured_value as residence_value
  		end
  ...
  end -- class RESIDENCE
  
  class BUSINESS
  inherit
  	HOUSE
  		rename
  			insured_value as business_value
  		end
  ...
  end -- class BUSINESS
  
  class HOME_BUSINESS
  inherit
  	RESIDENCE;
  	BUSINESS
  ...
  end -- class HOME_BUSINESS
  

  Szabály: azonos néven ugyanattól örökölt dolgok összefésülődnek, a különböző néven örökölt dolgok többszöröződnek. (Esetleges probléma?)
• 26-account: Örökölt kód meghívásához ismételt öröklődés kell (a szabvány szerint, de nem a SmartEiffelben, ahol insert-et kell használni). Több változat esetében a dinamikus kötésről gondoskodni kell.
• Problémák, amikre a többszörös öröklődés nem ad választ: chevron-shaped inheritence (strukturális/nominális altípusok), family polymorphism