Vous devez avoir un compte Developpez.com et être connecté pour pouvoir participer aux discussions.

Identifiez-vous
Identifiant
Mot de passe
Mot de passe oublié ?
Créer un compte

Vous n'avez pas encore de compte Developpez.com ? L'inscription est gratuite et ne vous prendra que quelques instants !

Je m'inscris !

Developpez.com

Accueil

Choisissez la catégorie, puis la rubrique :

logo

Accueil :
- éditorial
- charte d'utilisation
- aide
- diaporama
- contributeurs
Rechercher :
 
recherche avancée...
Naviguer :
- par tri alphabéthique :
0-* A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
- par thèmes :
  . Business Intelligence
  . Conception
  . Culture
  . Économie
  . Généralités
  . Gestion de projet
  . Infographie
  . Internet
  . Langages
  . Sécurité
  . Systèmes
  . Télécom
  . Théorie
Contribuer :
- nouvelle définition
- commenter une définition
Partenariat :
- faire un lien
- contact
Statistiques :
- 3079 définitions
- 329 ressources

Définition de sécurité de type

fr  n. loc. m.
Propriété d'un langage qui connaît et vérifie les types de valeur et les compatibilités entre types à la compilation. En cas d'incompatibilité, des erreurs sont habituellement reportées à la compilation, ou seulement des avertissements dans certains cas.

La sécurité de type est une propriété du langage, pas de programmes particuliers. Moyennant une programmation propre et structurée, il est parfaitement possible d'écrire un programme sûr du point de vue des types dans un langage qui n'applique pas la sécurité de type (qui n'est pas type-safe).

Un avantage très fort de cette propriété est que de nombreuses erreurs sont détectées dès la compilation : combinaisons invalides, appels de méthodes mal orthographiés, etc.

Un désavantage est que le type des variables doit être connu à la compilation. Elle ne peuvent donc pas changer de type en fonction de l'exécution. Certains auteurs voient cela comme un avantage, mais c'est parce qu'ils ont en tête l'avantage ci-dessus. Le fait que le type soit figé, en lui-même, est un désavantage.
 typage 
 TG -> terme 
sécurité de type
Auteur : Sébastien Doeraene (sjrd) - sjrd
Permalien : Définition de sécurité de type du dictionnaire Langages
Date d'ajout : 15/01/2009 Date de dernière mise à jour : 15/01/2009

Envoyer à un ami Imprimer Ajouter aux favoris Dénoncer un abus
Noter cette définition :
logo

Contacter le responsable de la rubrique Accueil

Partenaire : Hébergement Web