Multiple Inheritance Article Index for
Multiple
Website Links For
Multiple
 

Information About

Multiple Inheritance




Languages that mostly support multiple inheritance are: Eiffel , C++ , Python , Perl , and CLOS .

Multiple inheritance allows a class to take on functionality from multiple other classes, such as allowing a class named StudentMusician to inherit from a class named Person, a class named Musician, and a class named Worker. This can be abbreviated StudentMusician : Person, Musician, Worker.

Ambiguities arise in multiple inheritance, as in the example above, if for instance the class Musician inherited from Person and Worker and the class Worker inherited from Person. You would then have the following rules:

StudentMusician: Person, Musician, Worker
Musician : Person, Worker
Worker: Person

If a compiler is looking at the class StudentMusician it needs to know whether it should join identical features together, or whether they should be separate features. For instance, it would make sense to join the "Age" features of Person together for StudentMusician. A person's age doesn't change if you consider them a Person, a Worker, or a Musician. It would, however, make sense to separate the feature "Name" in Person and Musician if they use a different stage name than their given name. The options of joining and separating are both valid in their own context and only the programmer knows which option is correct for the class they are designing.

Languages have different ways of dealing with these problems of repeated inheritance.
  • Eiffel allows the programmer to explicitly join or separate features that are being inherited from superclasses. Eiffel will automatically join features together if they have the same name and implementation. The class writer has the option to rename the inherited features to separate them. Eiffel also allows explicit repeated inheritance such as A: B, B.

  • C++ requires that the programmer state which parent class the feature to use should come from i.e. "Worker::Person.Age". C++ does not support explicit repeated inheritance since there would be no way to qualify which superclass to use.

  • Perl uses the list of classes to inherit from as an ordered list. The compiler uses the first method it finds by Depth-first Search ing the superclass list.

  • CLOS allows full programmer control of method combination, and if that's not enough, the Metaobject Protocol gives the programmer a means to ''modify'' the inheritance, Method Dispatch , Class Instantiation , and other internal mechanisms without affecting the stability of the system.

  • Logtalk supports both interface and implementation multi-inheritance, allowing the declaration of method ''aliases'' that provide both renaming and access to methods that would be masked out by the default conflict resolution mechanism.


Java , Nemerle , C# , and Objective-C do not allow multiple inheritance; this results in no ambiguity. However, Java, Nemerle, C# and Objective-C allow classes to inherit from multiple Interfaces .


DEBATE

There is debate as to whether multiple inheritance can be implemented simply and without ambiguity. It is often criticized for increased changing class semantics. There are languages that address all technical issues of multiple inheritance, but the main debate remains whether implementing and using multiple inheritance is easier than using single inheritance and software design patterns.


SEE ALSO



REFERENCES



EXTERNAL LINKS