По време на фазата на семантичен анализ се появява този тип грешка. Тези видове грешки се откриват по време на компилиране.
Повечето от грешките по време на компилиране са грешка в обхвата и декларацията. Например: недекларирани или множество декларирани идентификатори. Несъответстващият тип е друга грешка по време на компилиране.
Семантичната грешка може да възникне при използване на грешна променлива или използване на грешен оператор или извършване на операция в грешен ред.
Някои семантични грешки могат да бъдат:
- Несъвместими типове операнди
- Недекларирана променлива
- Несъвпадение на действителния аргумент с официалния аргумент
Пример 1: Използване на неинициализирана променлива:
int i; void f (int m) { m=t; } В този код t е недеклариран, затова показва семантичната грешка.
Пример 2: Типова несъвместимост:
int a = 'hello'; // the types String and int are not compatible
Пример 3: Грешки в изразите:
String s = '...'; int a = 5 - s; // the - operator does not support arguments of type String