задължителни условия
Силна типизиране включва следните условия:
- Всеки обект на данни (променлива, константен израз) на езика, винаги има строго определен тип. който е фиксиран на компилация програма (статичен типизиране), или определени по време на изпълнение (динамично типизиране).
- Разрешени са само променлива стойност задача като строго същия тип данни като променливата, същите ограничения се прилагат за параметрите на трансферни и връщане на резултатите от функции.
- Всяка операция параметри изисква строго определени видове.
- Не е разрешено подразбира превръщане (т.е. преводача получава всеки опит да се използва стойността не е от типа, който е описан за променлив параметър, функция, или операция като синтактична грешка).
С точно спазване на изискванията на силно типизиране дори идентичен по състав стойности и видове допустим данни операции са несъвместими. Ако една програма трябва да бъде зададен един и същ тип данни променлива от друг вид, това може да бъде направено, но само с изричното използването на специален вид операция преобразуване, което в такива случаи обикновено е част от един език за програмиране (въпреки че не може официално да бъде, и при условие, стандартни библиотеки) ,
Писането на програмни езици
Примери за езици за програмиране със силно статично типизиране са езици като Ада. или Java. По-специално, в спецификацията на езика Java 7 казва, че Java е силно типов език. [1] Доста голям брой общи програмни езици се използва не-строг статично пишете. Те включват езици, като Pascal. Modula-2. Fortran. Те непременно видове описание на променливи, параметри и функции, но позволи на имплицитна тип - ако стойността на един вид се възлага на друг, компилаторът автоматично генерира код, за да я превърне в стойността на желания тип, освен ако такова преобразуване не води до загуба на данни. Например, цяло число може да бъде назначен променлива обявен като число с плаваща точка и обратна задача без изрично тип пушене, тъй като води до грешки с висока степен на вероятност.
В теорията на програмирането силно типизиране е основен елемент за гарантиране на надеждността на разработен софтуер. Когато се използва правилно (ако приемем, че програмата за отделните типове данни са логически несъвместими ценности са обявени и се използва) той защитава програмист от проста, но е трудно да се грешки, свързани с обмена на логически несъвместими ценности, които се случват понякога се дължи на елементарни грешки.
Такива грешки се откриват на етапа на съставянето на програмата, като в възможността за мълчаливо почти всеки тип един до друг (като в класическия език на C), тези грешки се откриват само в тестването, а не всички, а не веднага.
Python език е един от примерите с строг динамично въвели [2].
Вижте какво "Силна напишете" в други речници:
Въвеждане на данни - Data напишете основната концепция на теорията на програмирането. Типът на данните определя набор от ценности, съвкупност от дейности, които могат да бъдат приложени към тези ценности, а може би начин да се приложат за съхранение на ценности и операции. Всяка ... ... Wikipedia
видове изход - (. английски тип извод) тип писане данни за безопасност извод Dynamic пише Статично пишете Soft Strong пишете пишете зависими видове патици пишете Вид извод Програмиране компилатор възможност ... ... Wikipedia
Зависим тип - безопасност тип Въвеждане на данни тип изход Dynamic писането Статично пишете Soft Strong пишете пишете зависими видове патици пишете тип зависим по компютърни науки и тип логика, която зависи от стойността. Зависим ... ... Wikipedia
Тип данни - (термин също намери вид данни) основната концепция на теорията на програмирането. Типът на данните определя набор от ценности, съвкупност от дейности, които могат да бъдат приложени към тези ценности, а може би начин за изпълнение на стойност съхранение и ... ... Wikipedia
Свързани статии