Discussion :

[Franck.H]

Bonjour !


Je me pose la question suivante car c'est un peu flou pour le moment: comment bien différencier une erreur syntaxique et une erreur sémantique ?

Un exemple:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

var int;

serait-ce une erreur de syntaxe (je pense que oui) ou sémantique ?


En gros, si quelqu'un peut me donner des précision et comment bien distinguer par moment les deux types d'erreurs ... merci d'avance

[Jean-Marc.Bourguet]

Je vais supposer qu'on parle des erreurs détectées par le compilateur.

La différence entre les deux n'est pas fondamentale et est liée à l'organisation du compilateur. Une erreur syntaxique est détectée par la phase d'analyse syntaxique et une erreur sémantique est détectée par la phase d'analyse sémantique. Il est des choses qui sont clairement du ressort de l'une ou de l'autre, et d'autre qu'on peut mettre dans l'une ou dans l'autre comme on veut.

Pour ton exemple, il faudrait se fixer d'abord un langage. Parce que ça pourrait être un appel tout à fait valide à une procédure var en lui passant comme paramètre la valeur de la variable int. Dans ce cas, si int n'a pas le type attendu par var, c'est une erreur de sémantique.

[Franck.H]

Comme type de langage je prend comme exemple C et Java
Ici c'est une erreur bien volontaire d'une tentative de déclaration de variable

[Jean-Marc.Bourguet]

En C ce serait une erreur de syntaxe.

[Franck.H]

En C ce serait une erreur de syntaxe.

Ok c'était ma première idée. Donc en somme une erreur de sémantique c'est en quelques sorte une erreur de typage c'est ca ?

[Graffito]

Bonjour,

On peut considérer comme erreur syntaxique une erreur qui peut être détectée en dehors de tout contexte (reste à définir la notion de contexte : autres instructions du même bloc ou de la même procédure, autres procédures, autre unités, autres objets, ...)

En appliquant cette définition, il est clair que, "var int;" étant erroné (pour le langage utilisé) en dehors de toute autre instruction, il s'agit d'une erreur syntaxique.

[Jean-Marc.Bourguet]

Ok c'était ma première idée. Donc en somme une erreur de sémantique c'est en quelques sorte une erreur de typage c'est ca ?

Une erreur de typage est une erreur sémantique. Mais il peut y en avoir d'autres. Déclarer un identificateur après une utilisation n'est pas particulièrement une erreur de typage, mais c'est une erreur sémantique dans les langages qui exigent une déclaration avant l'utilisation en question.

[zooro]

En C ce serait une erreur de syntaxe.

J'aurais dit l'inverse.
Une erreur de syntaxe, c'est un peu une erreur d'orthographe (le mot est inconnu, la ponctuation est placée n'importe comment, etc.);
alors qu'une erreur sémantique, c'est un peu une erreur de grammaire (la phrase n'a pas de sens, le mot est mal employé, etc.).
Non ?

[Jean-Marc.Bourguet]

J'aurais dit l'inverse.
Une erreur de syntaxe, c'est un peu une erreur d'orthographe (le mot est inconnu, la ponctuation est placée n'importe comment, etc.);
alors qu'une erreur sémantique, c'est un peu une erreur de grammaire (la phrase n'a pas de sens, le mot est mal employé, etc.).
Non ?

Non. La syntaxe est une partie de la grammaire.
La sémantique s'occupe du sens.

[Franck.H]

Ok j'y vois déjà un peu plus clair, merci pour ces quelques précisions