A Java és a C++ összehasonlítása - aszt.inf.elte.huaszt.inf.elte.hu/~kto/teaching/java/material/javacpp.pdf · 4 Generikus programozás Kozsik Tamás (ELTE) A Java és a C++ összehasonlítása

A Java és a C++ összehasonlítása

Kozsik Tamás

[email protected]://kto.web.elte.hu/

Eötvös Loránd TudományegyetemProgramozási Nyelvek és Fordítóprogramok Tanszék

2008.

Kozsik Tamás (ELTE) A Java és a C++ összehasonlítása 2008. 1 / 31

Tartalom

1 Imperatív programozásTípusokVezérlési szerkezetekKifejezések

2 Programszerkezet

3 Objektumelvu programozás

4 Generikus programozás


Tartalom


2 Programszerkezet




Tartalom


2 Programszerkezet




Tartalom


2 Programszerkezet




Áttekintés

Olcsó programfejlesztésBiztonságra való törekvés

SafetySecurity

MemóriakezelésStatikus szabályokDinamikus szemantikai szabályokhttp://java.sun.com/


Imperatív programozás Típusok

Típusok

Primitív típusokReferencia típusok

Osztályok (konkrét és absztrakt)Tömb típusokFelsorolási típusok

InterfészekAnnotációk



Primitív típusok

8 db beépített típusbooleancharbyte, short, int, longfloat, double

Rögzített ábrázolásNincs elojel nélküli egész típusA char típus 2 bájtos UnicodeA logikai típus önálló (vezérlési szerk., relációk)Altípusosság; konverzió: automatikusan csak bovíto (!)Osztályosítás: csomagoló osztályokkal

Auto-(un)boxing



Referenciák

A vermen csak primitív típusú adatok és referenciákAz összetett adatok mindig dinamikusakFelszabadító utasítás nincsAutomatikus szemétgyujtésDestruktor – finalize



Tömbök

ReferenciákNem lehet deklarációval létrehozniMinden tömb a heap-en van

Speciális osztályok, öröklodésBiztonságos használat

length attribútumFutási ideju indexellenorzés

Használatint[] t = new int[100];for( int i = 0; i<t.length; ++i ){ t[i] = i; }



Szövegek

Nincs char*Elsodlegesen a String osztály

Pl. idézojelekKonkatenáció: túlterhelt +

Emellett StringBuffer és StringBuilderRitkán char[]



Felsorolási típusok

A legegyszerubb esetenum Color { RED, GREEN, BLUE, YELLOW }

Nem int

Speciális osztályokDefiniálhatók hozzájuk mezok és muveletek


Imperatív programozás Vezérlési szerkezetek

Vezérlési szerkezetek

Elágazás: if és switch–caseCiklus: for, while és do–while

Iterálás adatszerkezeten: enhanced for-loop

Blokk utasításNem strukturált

Címkézheto break és continueNincs goto

Iterálás tömbönint[] t = new int[100]; ...int sum = 0;for( int elem: t ){ sum += elem; }



Választás

if és while esetén: logikai típusú feltételswitch esetén diszkrét vagy felsorolási típusú diszkrimináns



Deklaráció utasítások

Típus-, alprogram- és változódeklarációkKonvenció: azonosítók neveA léptetos ciklusnak lehet lokális változója, de a többi utasításnaknem!Konvenció: használjuk a kapcsos zárójeleket, tördelésTípuskifejezésekhez nem deklarálható név (nincs typedef)



Blokkok

Egyszerusített hatóköri/láthatósági szabályokEgymásba ágyazott blokkok lokális változóiElfedés: csak tagok esetébenLokális változók inicializálása



Megjegyzések

Egysoros és többsorosDokumentációs megjegyzés

/** és */ közöttKódegység elé írhatójavadocTipikusan HTML, de programozható (doclet)Kiegészíto információk (@return, @param, @see stb.)


Imperatív programozás Kifejezések

Kifejezések

A kiértékelési sorrend pontosan definiáltOperátorokat nem terhelhet túl a programozóLusta és mohó logikai operátorokNincsenek explicit mutatók (dereferencing, címképzés, aritmetika)

Hivatkozás tagokra: .Konstansok nincsenek

final vanÜres konstansFordítási ideju konstansFeltételes fordítás

Az operátorok picit másokNincs sizeof és typeidVan instanceof, valamint >>> és >>>=


Programszerkezet

Programegységek

TípusdefiníciókMetódusok és mezokDeklarációk sorrendje

Nincsenek globális alprogramokPéldány- vagy osztálymetódusokProcedurális programozás imitálása

Nincsenek globális változók sem!CsomagokTípusdefiníciók egymásba ágyazása


Programszerkezet

Alprogramok

ParaméterátadásNem adható formális paraméternek alapértelmezett értékTúlterhelésInline-osításFelüldefiniálásHívási lehetoség: invokevirtual, invokestatic, invokespecialVáltozó hosszúságú paraméterlista

printf


Programszerkezet

Kivételek

Sokkal intenzívebben használttry–catch–finally szerkezet

Nincs automatikus ábrázolású objektum

A Throwable leszármazottaiEllenorzött kivételek, throws kulcsszóAltípusosság, kovarianciaElofeltételek, assert


Programszerkezet

Forrásszöveg

ForrásfájlKarakterkódolás

Fordítási egységekCsomagokimport utasítás

Nincs elofordítóNincs szükség fejállományokra

Kompatíbilitási kérdések


Programszerkezet

Fordítás és futtatás

Fordítók jellemzoen JVM bájtkódot csinálnakEsetleg platformfüggo kódot: gcjNem csak Java forrás fordítható JVM-re

Dinamikus szerkesztésBájtkód interpretálásaJIT-compilationFuttatás

BetöltésProgramozhatóDinamikus/mobil kód

EllenorzésInicializációMegszunés

KódtranszformációFutási ideju információk

ÖnelemzésVisszafejtés


Programszerkezet

Programkönyvtárak

Szabványos könyvtárakVáltozatok

Standard EditionEnterprise EditionMicro Edition

Csomagok: java.*, javax.* stb.Legalapvetobb: java.lang

Saját könyvtárakCsomagolási konvenciók


Objektumelvu programozás

Referencia típusok definiálhatók

Osztályok (konkrét és absztrakt)Felsorolási típusok

InterfészekAnnotációk

DefinícióEgy egység, nincs szétbontvaNincs pontosvesszoextends



Öröklodés

Osztályok: egyszeres kódöröklésMinden osztály ose: java.lang.ObjectFelüldefiniálásDinamikus kötésMegvalósítás

Interfészek: többszörösAbsztrakt osztályra hasonlítCsak absztrakt metódusok és végleges értéku osztálymezokMinden tagja publikus

Osztály megvalósíthat interfészeket



Objektumok élettartama

Dinamikus ábrázolásAllokációtól szemétgyujtésigInicializáció menete

AlapértékekInicializáló kifejezések és blokkokKonstruktorok végrehajtása

Megszunés meneteSzemétgyujtés, eroltetéseGyenge referenciákfinalize



Metódusok túlterhelése

Ugyanolyan névvel, különbözo szignatúrávalÖrökölt metódus is túlterhelhetoTúlterhelés és altípusosságStatikus és dinamikus kötés, pl. equals

Példaclass A { void m(){} }class B extends A { void m(int i){} }



Láthatósági kategóriák

Publikus (public)protected

Félnyilvános (package-private)private



Beágyazott típusdefiníciók

Nem csak statikus tagosztályokBelso osztályok is vannak

Példányszintu tagosztályokLokális osztályokNévtelen osztályok



Objektumok összehasonlítása és másolása

Az == referenciát hasonlítpublic boolean Object.equals(Object)

Nem copy-konstruktorral és értékadó operátorral másolunkprotected Object Object.clone()throws CloneNotSupportedException



Funktorok

Alprogramok átadása paraméterkéntNincs függvényre mutató pointerObjektumosítás

Interfész és megvalósításaNincs függvényhívás operátorPl. apply vagy execute nevu metódus


Generikus programozás


Típussal való paraméterezés, sablonokParametrikus polimorfizmusMegkötések a típusparaméterrolAdatszerkezetek

java.utilCollection Framework



Generatív programozás?

Nincs template metaprogrammingÖnelemzésAspektus-elvu programozás, AspectJAnnotációk


Documents

A Java és a C++ összehasonlítása - aszt.inf.elte.huaszt.inf.elte.hu/~kto/teaching/java/material/javacpp.pdf · 4 Generikus programozás Kozsik Tamás (ELTE) A Java és a C++ összehasonlítása