Силна писане - е един от вариантите на политика, работа с типовете данни, които се използват в езиците за програмиране.
Силна типизиране включва следните условия:
- Всеки обект на данни (променлива, константен израз) на езика, винаги има строго определен тип. който е фиксиран на компилация програма (статичен типизиране), или определени по време на изпълнение (динамично типизиране).
- Разрешени са само променлива стойност задача като строго същия тип данни като променливата, същите ограничения се прилагат за параметрите на трансферни и връщане на резултатите от функции.
- Всяка операция параметри изисква строго определени видове.
- Не е разрешено подразбира превръщане (т.е. преводача получава всеки опит да се използва стойността не е от типа, който е описан за променлив параметър, функция, или операция като синтактична грешка).
С точно спазване на изискванията на силно типизиране дори идентичен по състав стойности и видове допустим данни операции са несъвместими. Ако една програма трябва да бъде зададен един и същ тип данни променлива от друг вид, това може да бъде направено, но само с изричното използването на специален вид операция преобразуване, което в такива случаи обикновено е част от един език за програмиране (въпреки че не може официално да бъде, и при условие, стандартни библиотеки) ,
В теорията на програмирането силно типизиране е основен елемент за гарантиране на надеждността на разработен софтуер. Когато се използва правилно (ако приемем, че вие декларирате и някои видове данни се използват за логически непоследователни стойности) той защитава програмист от прости, но е трудно да се грешки, свързани с обмена на логически несъвместими ценности, които възникват понякога, защото елементарни фишове. Такива грешки се откриват на етапа на съставянето на програмата, като в възможността за мълчаливо почти всеки тип един до друг (като в класическия език на C), тези грешки се откриват само в тестването, а не всички, а не веднага. От друга страна, много професионални програмисти не обичат силно типизиране, защото на неудобство - тя увеличава обема на програмата и нейното момента на писане, изисква по-внимателно проучване на кода, който изглежда като касапница на мнозина.
За да се подобри тази статия, че е желателно? :
Свързани статии