La sécurité de type est une partie de la programmation informatique qui permet d'éviter la création de bugs qui apparaissent quand un programme s'exécute. Si la sécurité de type est laxiste, alors il ya une forte probabilité qu'il y ait quelques bugs, qui peuvent causer une variété d'erreurs. La façon la plus courante de s'assurer que ces erreurs ne se produisent est d'utiliser le codage forts. Alors que de nombreux langages de programmation ont par nature des fonctions à assurer une programmation fidélité et d'éviter les erreurs, codage pauvres peuvent rendre ces fonctions impuissant. Il ya deux façons pour un langage de programmation peut vérifier ces erreurs - statique ou dynamique - et à la fois peut être efficace.
Les erreurs sont fréquentes dans les programmes et le codage et, avec la sécurité de type, l'erreur se produit précisément à partir de différents types de données qui ne sont pas correctement réglées. Les erreurs qui peuvent se produire gamme de la valeur nominale de grave, mais la plupart ont tendance à être sérieux. Cela peut arrêter le programme ou les mauvais codage peut causer des problèmes plus graves qui peuvent rendre inutile le codage et fragmenté.
Il existe de nombreuses façons d'assurer la sécurité de type, mais l'un des moyens les plus faciles et plus commun est d'utiliser de fortes codage de type. Contrairement aux méthodes de codage plus doux, ce qui peut permettre au langage de programmation afin de définir correctement le codage maladroits, fort codage de type est très directe. Forte type de codage utilise également des règles et règlements pour assurer le codage est pas mal définie et s'assurer qu'il ya peu d'erreurs.
Une brèche dans la sécurité de type peut entraîner des problèmes majeurs, tant de langages de programmation ont adopté des fonctionnalités à tester et éliminer - ou les programmeurs d'alerte à - ces problèmes. Avant la programmation passe à l'exécution, la langue va vérifier les erreurs les plus fréquentes et généralement annulerait le lancement de l'exécution si des erreurs sont détectées. Dans le même temps, ces caractéristiques peuvent être inutiles si le programmeur crée codage très pauvres. La langue sera pas en mesure de reconnaître les signes communs de sécurité de type, de sorte que le programme fonctionnera même si il y a une erreur.
Deux méthodes existent pour attraper les questions de sécurité de type potentiels, et ceux-ci s'appliquent uniquement aux langages de programmation qui vérifient automatiquement les erreurs. Les méthodes statiques suffit de chercher les signes communs d'un problème lorsque le programme est en cours d'exécution. L'autre méthode, dynamique, vérifie soigneusement le code et recherche le rôle de chaque élément de codage dans le programme de particules. Il cherche alors à travers l'ensemble du programme pour voir si il ya une exception pour le codage qui pourrait être une erreur, puis il vous permet soit passer ou arrête le lancement du programme.
