Lors de la phase d’analyse sémantique, ce type d’erreur apparaît. Ces types d'erreurs sont détectés au moment de la compilation.

La plupart des erreurs de compilation sont des erreurs de portée et de déclaration. Par exemple: identifiants non déclarés ou déclarés plusieurs. Le type incompatible est une autre erreur de compilation.

Diana Mary Blacker

L'erreur sémantique peut survenir en utilisant la mauvaise variable ou en utilisant un mauvais opérateur ou en effectuant une opération dans le mauvais ordre.

Une erreur sémantique peut être :

• Types d'opérandes incompatibles
• Variable non déclarée
• Ne correspond pas à l'argument réel avec l'argument formel

Exemple 1: Utilisation d'une variable non initialisée :

 int i; void f (int m) { m=t; } 

Dans ce code, t n'est pas déclaré, c'est pourquoi il affiche l'erreur sémantique.

Exemple 2 : Incompatibilité de type :

renvoyer un tableau java

 int a = 'hello'; // the types String and int are not compatible 

Exemple 3 : Erreurs dans les expressions :

 String s = '...'; int a = 5 - s; // the - operator does not support arguments of type String