Erős gépelést - ez
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
Példák programozási nyelvek egy erős statikus gépelési vannak nyelvek, mint Ada. vagy a Java. Különösen a specifikáció a Java 7 nyelv azt mondja, hogy Java egy erősen típusos nyelv. [1] 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. Fortran. 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 hozzárendelés 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 a program az egyes adattípusok logikailag inkonzisztens értékeket bejelentett és használt) védi a programozó az egyszerű, de nehezen hibák megosztásával kapcsolatos egy logikailag nem egyeztethető értékek fordulnak elő időnként a elemi hibákat.
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.
Python nyelv egyik példák szigorú dinamikus típusú [2].
Nézze meg, mit „Erős gépelés” más szótárak:
Tipizálása adatokat - írja az alapkoncepciója az elmélet programozás. Az adatok típusa határozza meg egy értékrend, egy sor művelet, amelyet alkalmazni lehet, hogy ezeket az értékeket, és talán egy módja annak, hogy végre értékek tárolására szolgál és működését. Bármely ... ... Wikipedia
Nyomtató típus - típusú biztonsági adatok gépelési következtetés Dynamic gépelés statikus gépelési Soft Strong gépelés gépelés Függő típusú kacsa gépelés típusú következtetés (Angol Típus következtetés.) Programozási fordítóprogram a lehetőséget ... ... Wikipedia
Függő típus - gépelés Adat típus biztonsági kimenet típusa Dinamikus tipizálás Statikus gépelési Soft Strong gépelés gépelés függő típusú kacsa gépelési függő típus számítástechnika és logikai típusú, ami függ az értéket. Függő ... ... Wikipedia
Adat típus - (kifejezés előfordul ilyen jellegű adatok) alapkoncepciója az elmélet programozás. Az adatok típusa határozza meg egy értékrend, egy sor művelet, amelyet alkalmazni lehet, hogy ezeket az értékeket, és talán egy módja a tárolás érték és ... ... Wikipedia