Какво е типова безопасност - Определение за типова безопасност

В компютърните наукибезопасността на типа на език за програмиране се отнася до безопасността на неговата типова система.

Типовата система се наричабезопасна илибезопасна, ако програмите, които преминават проверки за съгласуваност на типа, не съдържат грешки за съгласуваност на типа.

Типова грешка илитипова грешка е несъответствие на типа между компонентите на изразите в програма, като например опит за използване на цяло число като функция. Пропуснатите грешки при съвпадение на типове могат да доведат до грешки и дори до програми. Сигурността на един език е синоним на пълната липса на грешки, но най-малкото грешките стават изследвани в семантиката на езика.

Системите със силен тип също се наричат ​​strong, но този термин често се разхлабва и често се прилага към езици, които извършват динамична проверка на съгласуваност на типа (вижте силно и слабо въвеждане).

Понякога безопасността се разглежда като свойство на определена програма, а не като език, на който е написана, поради причината, че някои езици с безопасен тип позволяват системата от типове да бъде заобиколена или нарушена, ако програмистът практикува лоша безопасност на типа. Широко разпространено е мнението, че подобни възможности на практика се оказват необходимост, но това е измислица. Концепцията за "безопасност на програмата" е важна в смисъл, че внедряването на безопасен език може само по себе си да бъде опасно. Развитието на компилатора решава този проблем, като прави езика безопасен не само на теория, но и на практика.

Транслитерация: Tipobezopasnost' Чете се назад като: tsonsaposebopit Типът безопасност се състои от 16 букви

---