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