View source for Inheritance (object-oriented programming)

In [[object-oriented programming]], '''inheritance''' is when an object or class is based on another object (prototypal inheritance) or class (class-based inheritance), using the same implementation (inheriting from an object or class) specifying implementation to maintain the same behavior (realizing an interface; inheriting behavior).

Such an inherited class is called a subclass of its parent class or super class.

== Description ==

Inheritance is a mechanism for [[code reuse]] and to allow independent extensions of the original software via public classes and interfaces.

The relationships of objects or classes through inheritance give rise to a hierarchy. Inheritance was invented in 1967 for Simula.

The term "inheritance" is loosely used for both class-based and prototype-based programming, but in narrow use is reserved for class-based programming (one class inherits from another), with the corresponding technique in prototype-based programming being instead called delegation (one object delegates to another).

== Compared with subtyping ==

Inheritance should not be confused with subtyping.

In some languages inheritance and subtyping agree, whereas in others they differ; in general, subtyping establishes an is-a relationship, whereas inheritance only reuses implementation and establishes a syntactic relationship, not necessarily a semantic relationship (inheritance does not ensure behavioral subtyping).

To distinguish these concepts, subtyping is also known as interface inheritance, whereas inheritance as defined here is known as implementation inheritance or code inheritance.

Still, inheritance is a commonly used mechanism for establishing subtype relationships.

== Compared with object composition ==

Inheritance is contrasted with object composition, where one object contains another object (or objects of one class contain objects of another class); see composition over inheritance. Composition implements a has-a relationship, in contrast to the is-a relationship of subtyping.

== See also ==

* [[Circle-ellipse problem]]
* [[Code reuse]]
* [[Defeasible reasoning]]
* [[Interface (computing)]]
* [[Method overriding]]
* [[Mixin]]
* [[Object-oriented programming]]
* [[Polymorphism (computer science)]]
* [[Protocol]]
* [[Role-oriented programming]]
* [[The Third Manifesto]]
* [[Trait (computer programming)]]
* [[Virtual inheritance]]

== External links ==

* [https://en.wikipedia.org/wiki/Inheritance_(object-oriented_programming) Inheritance (object-oriented programming)] @ Wikipedia


[[Category:Computer programming]]