Erfðir (forritun)

Í hlutbundinni forritun eru erfðir notaðir til þess að láta nýskilgreinda klasa erfa eiginleika frá öðrum klösum sem hafa verið skilgreindir. Klasar sem erfa frá öðrum klösum eru kallaðir afleiddir klasar og taka yfir eða erfa eiginleika og hegðun klasa sem yfirleitt er kallað grunnklasi.

Erfðir er oft kallaðar alhæfing (e. generalization), því til verður samband á milli klasanna sem kallað er "is-a" á ensku. Sem dæmi, "ávöxtur" er líka "epli" og "appelsína". Við segjum að ávöxtur sé óhlutstætt hugtak af epli, appelsínu o.s.frv. Þannig að við getum sagt, úr því að "epli sé ávöxtur", að epli erfi alla eiginleika sem eru sameiginlegir öllum ávöxtum. Þannig eru "ávöxtur" einnig "matvæli", og þannig má fara fram og til baka.

Dæmi um erfðir í Java kóða:

class Mammal extends Animal {
  Hair m_h;
  Breasts m_b;
  
  Mammal reproduce() {
    Mammal offspring;
    
    super.reproduce();
    if (is_female()) {
      offspring = super.give_birth();
      offspring.breastfeed(m_b);
    }
    care_for_young(offspring);
    return offspring;
  }
}

Fjölerfðir

Sum forritunarmál, til dæmis Perl, styðja fjölerfðir. Þar er hægt að búa til klasa sem erfa eiginleika frá mörgum grunnklösum. Þannig gæti klasi sem kallaðist "hundur" verið afleiddur frá klösunum "spendýr" og frá "gæludýr".