Erős gépelés, a tudomány, a rajongók powered by Wikia
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ési feltételezi teljesítését két nélkülözhetetlen feltételei:
- Minden érték, egy változó paraméter és visszaadott a függvény értékét program lépésben tervezési bizonnyal kötődik egy adott típusú adatokat, amelyeket nem lehet megváltoztatni a program végrehajtása során (t. N. Statikus 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 típusú átalakítás nem megengedett.
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.