Арабски Български Китайски Хърватски Чешки Датски Холандски Английски Естонски Фински Френски Немски Гръцки Иврит Хинди Унгарски Исландски Индонезийски Италиански Японски Корейски Латвийски Литовски Мадагаскарски Норвежки Персийски Лак Португалски Румънски Руски Сръбски Словашки Словенски Испански Шведски Тайландски Турски
Арабски Български Китайски Хърватски Чешки Датски Холандски Английски Естонски Фински Френски Немски Гръцки Иврит Хинди Унгарски Исландски Индонезийски Италиански Японски Корейски Латвийски Литовски Мадагаскарски Норвежки Персийски Лак Португалски Румънски Руски Сръбски Словашки Словенски Испански Шведски Тайландски Турски
определение - Силно типизиране
- Уикипедия, свободната енциклопедия
Силна писане - е един от вариантите на политиката, за да се справят с типове данни. който се използва в езиците за програмиране.
задължителни условия
Силна типизиране включва следните условия:
- Всеки обект на данни (променлива, константен израз) на езика, винаги има строго определен тип. който е фиксиран на компилация програма (статичен типизиране), или определени по време на изпълнение (динамично типизиране).
- Разрешени са само променлива стойност задача като строго същия тип данни като променливата, същите ограничения се прилагат за параметрите на трансферни и връщане на резултатите от функции.
- Всяка операция параметри изисква строго определени видове.
- Не е разрешено подразбира превръщане (т.е. преводача получава всеки опит да се използва стойността не е от типа, който е описан за променлив параметър, функция, или операция като синтактична грешка).
С точно спазване на изискванията на силно типизиране дори идентичен по състав стойности и видове допустим данни операции са несъвместими. Ако една програма трябва да бъде зададен един и същ тип данни променлива от друг вид, това може да бъде направено, но само с изричното използването на специален вид операция преобразуване, което в такива случаи обикновено е част от един език за програмиране (въпреки че не може официално да бъде, и при условие, стандартни библиотеки) ,
Писането на програмни езици
само малко използваният език за програмиране на силно написали - това е Ада. Доста голям брой общи програмни езици се използва не-строг статично пишете. Те включват езици, като Pascal. Modula-2. Java. Те непременно видове описание на променливи, параметри и функции, но позволи на имплицитна тип - ако стойността на един вид се възлага на друг, компилаторът автоматично генерира код, за да я превърне в стойността на желания тип, освен ако такова преобразуване не води до загуба на данни. Например, цяло число може да се причисли към променлива декларирана като число с плаваща точка, както и обратния prisvaivaenie без изрично тип тютюнопушенето, тъй като водят до грешки с висока степен на вероятност.
В теорията на програмирането силно типизиране е основен елемент за гарантиране на надеждността на разработен софтуер. Когато се използва правилно (ако приемем, че вие декларирате и някои видове данни се използват за логически непоследователни стойности) той защитава програмист от прости, но е трудно да се грешки, свързани с обмена на логически несъвместими ценности, които възникват понякога, защото елементарни фишове.
Такива грешки се откриват на етапа на съставянето на програмата, като в възможността за мълчаливо почти всеки тип един до друг (като в класическия език на C), тези грешки се откриват само в тестването, а не всички, а не веднага. От друга страна, много професионални програмисти не обичат силно типизиране, защото на неудобство - тя увеличава обема на програмата и нейното момента на писане, изисква по-внимателно проучване на кода, който изглежда като касапница на мнозина.
Файл: Не iwiki template.gif
Свързани статии