Az absztrakt adattípust nevezik elvont adattípusnak is? És ezt ADT nek rövidítik?

Üdv!

Java-ban tengődöm egy ideje és valóban létezik olyan, hogy absztrakt osztály, vagy absztrakt metódus.

Valóban nem lehet példányosítani, és ezt egy talán furcsa, de jól szemléltető példával tudnám bemutatni.

Képzelj el egy osztályt, hogy Állatok. Ennek nagyon sok alosztálya lehet, amiket példányosítva miket kapnánk? Milyen "alakja" lenne? Szemben például egy tigrissel.

Tehát képzeld el ezt:

abstract class Animal{}

class Tiger{

public static void main(String[] argv){

Animal animal = new Animal();

}

}

Nem teheted meg, hiszen semmi értelme nem lenne. Ezeket az osztályokat mindig bővítik, hiszen önmagában nem lenne értelme. Hogy a jelenlegi példával éljek, beleírhatsz több olyan metódust, ami igaz több állatra. Például megírsz egy olyat, hogy járkálás. Ez igaz lehet a tigrisre, igaz lehet a tehénre, mindenféle állatra, ezeket pedig öröklik. Elnézést, hogy ilyen állatkerti példával jöttem, de jobb nem jutott hirtelen eszembe.

"Az absztrakt adattípust nevezik elvont adattípusnak is? És ezt ADT nek rövidítik?"

Igen.

"És egy ilyen osztályt tényleg nem lehet példányosítani?"

Az absztrakt adattípus a programozási elméletben olyan típus, amelyeknek az aktuális definíciója rejtett. A példányhasíthatósága prog nyelv függő. Java-ban nem lehet ahogy @22:14-es írta, a delphi nyelv megalkotói máshogy gondolták, ők úgy gondolták, hogyha egy osztálynak van absztrakt metódusa is akkor példányosítható és az ilyen osztálybeli nem absztrakt metódus hívás lehetséges, ha absztrakt metódusdát hívjuk akkor ez "abstract method exception" kivételt generál.