erős gépelés
Erős gépelés - az egyik a politikai lehetőségek, együttműködve az adattípusok használhatók programozási nyelvek.
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) .
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.
Javítani ezt a cikket, kívánatos? :