Erős gépelési meghatározása erős gépelés és szinonimái erős tipizálás (orosz)
Angol arab bolgár kínai horvát cseh dán holland angol észt finn francia görög héber hindi magyar izlandi indonéz olasz japán koreai lett litván madagaszkári Norvég Perzsa Lengyel Portugál Román Orosz Szerb Szlovák Szlovén Spanyol Svéd Thai Török Vietnami
Angol arab bolgár kínai horvát cseh dán holland angol észt finn francia görög héber hindi magyar izlandi indonéz olasz japán koreai lett litván madagaszkári Norvég Perzsa Lengyel Portugál Román Orosz Szerb Szlovák Szlovén Spanyol Svéd Thai Török Vietnami
meghatározása - Erős gépelés
- Wikipédia, a szabad enciklopédia
Erős gépelés - az egyik politikai lehetőségek foglalkozni adattípusok. amelyet a programozási nyelvek.
kötelező feltételek
Erős gépelés során előfeltételei a következők:
- Bármely objektum (változó, konstans kifejezés) a nyelv mindig szigorúan meghatározott típusát. amely rögzített fordítási programot (statikus tipizálás), vagy határozza meg futásidejű (dinamikus tipizálás).
- Csak akkor engedélyezett értékadás érték, amelynek szigorúan azonos adattípusok, mint a változó, az azonos korlátozások vonatkoznak az átviteli paramétereket, és visszatér az eredményeket a funkciók.
- Minden művelet paraméterei igényel szigorúan meghatározott típusokat.
- Implicit konverzió nem engedélyezett (azaz, a fordító kap minden olyan kísérletet, hogy használja az érték nem az a típus, amely már le egy változó paraméter, funkció vagy művelet szintaktikai hibát).
A pontos betartása követelményeinek erős gépelés akár azonos összetételű értékeket és a megengedett műveletek adattípusok nem kompatibilisek egymással. Ha egy program kell állítani az azonos típusú adatok egy változó egy másik típus lehet ezt tenni, de csak az explicit használata egy speciális működési típusú átalakítás, amely ilyen esetekben általában része egy programozási nyelv (bár hivatalosan nem lehet, és amennyiben szabványos könyvtárak) .
Gépelési programozási nyelvek
Az egyetlen keveset használt programozási nyelv erősen típusos - ez a pokol. Elég sok közös programozási nyelvek használata nem szigorú statikus gépelést. Ezek közé tartoznak a nyelvek, mint a Pascal. Modula-2. Java. Ezek feltétlenül leírás típusú változók, paraméterek és funkciók, de hagyjuk implicit típus - ha az érték az egyik típus van rendelve egy másik, a fordító automatikusan generálja a kódot átalakítani az értéket a kívánt típust, kivéve ha az ilyen átalakítás nem eredményez adatvesztést. Például, egy egész szám lehet rendelni egy változót bejelentett egy lebegőpontos szám, és az inverz prisvaivaenie nélkül explicit típus dohányzás, hiszen hibákhoz vezetnek nagy valószínűséggel.
Az elmélet a programozás erős gépelés alapvető eleme annak biztosítása, a megbízhatóság a kifejlesztett szoftver. Ha helyesen használják (feltételezve, hogy állapítsa meg, és bizonyos típusú adatokat használnak logikailag következetlen értékek) megvédi a programozó az egyszerű, de nehezen hibák megosztásával kapcsolatos egy logikailag nem egyeztethető értékek adódnak néha azért, mert elemi csúszik.
Ezek a hibák észlelése szakaszában A program fordítása, míg a lehetőségét implicit gyakorlatilag bármilyen egymáshoz (például a klasszikus C nyelven), ezek a hibák észlelése csak a tesztelés, és nem minden, és nem azonnal. Másrészt, sok profi programozók nem szeretik az erős gépelés miatt kényelmetlenséget - növeli a hangerőt a programot és annak megírásakor arra van szükség, gondos tanulmányozása a kódot, hogy úgy tűnik túlzásnak, hogy sok.
Fájl: Nem iwiki template.gif