Abstraktion, inkapsling, arv och polymorfi.
Abstraktion är ett sätt att hantera komplexitet. Man försöker identifiera vad som är viktigt i programmet det vill säga vilka objekt som behövs för implementationen av ett program och tänka på dess funktionalitet och beteende istället för själva implementationen. T ex kan abstraktionen av "Person" se olika ut i vilken kontext som begreppet används då det behövs olika funktionalitet och beteende i olika situationer.
Arv definierar en är-relation, en hyacint ÄR en blomma. Det visar också på hur arvshierarkin ser ut då man kan säga att en hyacint ÄR en blomma men inte att en blomma ÄR en hyacint på samma sätt då det inte är sant i samtliga fall, jag kan ju lika gärna peka på en tulpan. Arv möjliggör att samla gemensam funktionalitet i en klass (superklass) och sedan låta andra klasser ärva denna funktionalitet (subklass). En subklass ärver ALL funktionalitet (instansvariabler, egenskaper, metoder) av sin superklass och har tillgång till alla medlemmar som är deklarerade som public eller protected.
Polymorfi utgår från Liskovs substitution principle: ifall X är en subklass till Y så ska objekt av typen Y kunna bli ersatta av objekt av typen X. Alltså ifall hyacint är en subklass till Blomma så ska Blomma kunna ersättas av objekt av typen hyacint. Allt superklassen kan ska också subklassen kunna göra. När anrop med samma metodsignatur resulterar i att olika implementationer anropas kalls för polymorfi.

static void Main(){
Hyacint hyacint = new Hyacint();
ADayOfAFlower(hyacint)
} Vid parameter överföringen sker en implicit typomvandling därmed kan subklassen anta alla de beteenden som superklassen har. För att demonstrera detta så kan man skapa en lista av blommor:
Listflower = new List ()
{
new Hyacint(), new Tulip(), new Rose(), new Sunflower()
};

for (int i = 0; iADayOfAFlower(animal[i]);
}

För att sedan veta vilken metod som anropas börjar man med objektets typ och får sedan uppåt i arvshierarkin om metoden inte är override:ad.

Vid typomvandling förändras inte objekten utan är fortarande samma typ även om åtkomsten till objektet görs genom en variabel deklarerad av superklassen. Objekten vet själva bäst hur de ska utföra en viss uppgift. Polymorfi genom arv implementeras genom att metoder i superklasser deklareras som virtual eller abstract och sedan omdefinieras i barnklasser.

Vilken metod som anropas avgörs vid exekveringen och inte vid kompileringen.

Ett exempel är ToString-metoden som är en metod i Object-klassen vilket är den klassen som alla klasser ärver från, antingen direkt eller genom en arvskedja. Det gör att man kan anropa ToString metoden i alla klasser och om inte ToString metoden har omdefinierats i någon av subklasserna så anropas Objekt-klassens implemenation. Den går att omdefiniera då metoden är deklarerad som virtual i klassen Object.

	Created by Jenny Degling almost 11 years ago

2 C# Object Oriented Programming Note on Frågor och svar, created by Jenny Degling on 02/12/2013.