Que nous disent réellement les tables de priorité des opérateurs et d’associativité sur l’évaluation des expressions dans les langages de programmation ?

Précédence et associativité des opérateurs : définition et relation avec l'ordre d'évaluation

Introduction

En programmation les langages, la priorité des opérateurs et l’associativité dictent l’ordre dans lequel les opérateurs sont évalués. Alors que de nombreux manuels de programmation proposent des tableaux listant ces propriétés, des questions se posent quant à leur interprétation et à la source de leur définition.

Questions

1. Si la notion selon laquelle les fonctions sont toujours évalué de gauche à droite est incorrect, qu'indique vraiment le tableau de préséance et d'associativité des opérateurs ?
2. Qui établit la préséance et l'associativité des opérateurs si ce n'est la norme ANSI ? Si l'ANSI le définit, pourquoi y a-t-il si peu de mention explicite dans la norme ? Ces informations sont-elles déduites de la norme ANSI C ou établies ailleurs ?

Réponse

Définition de la priorité et de l'associativité des opérateurs

La priorité et l'associativité des opérateurs sont définies dans le standard de langage lui-même. La grammaire standard spécifie les règles de construction des expressions. En examinant ces règles, la préséance et l'associativité des opérateurs peuvent être dérivées.

Par exemple, en C , la grammaire des expressions additives (addition et soustraction) est la suivante :

additive-expression:
  multiplicative-expression
  additive-expression + multiplicative-expression
  additive-expression - multiplicative-expression

De cette règle, nous pouvons déduire que les expressions multiplicatives (multiplication et division) ont une priorité plus élevée que les expressions additives car ce sont des sous-règles des expressions additives. De plus, l'associativité de gauche à droite des opérateurs et - peut être déduite de la règle, qui stipule qu'une expression additive peut être composée de manière récursive d'autres expressions additives.

Ordre d'évaluation

Il est essentiel de faire la distinction entre la priorité et l'associativité des opérateurs et l'ordre d'évaluation. Alors que la priorité et l'associativité déterminent la manière dont les opérateurs sont regroupés, l'ordre d'évaluation fait référence à la séquence dans laquelle les expressions individuelles sont évaluées. En C , il n'est pas garanti que les évaluations se produisent strictement selon la priorité et l'associativité.

Par exemple, dans l'expression f1() f2() * f3(), l'opérateur * a une priorité plus élevée que l'opérateur, ce qui entraîne dans le regroupement f1() (f2() * f3()). Cependant, l'ordre d'évaluation n'est pas défini, ce qui signifie que f3(), f1() ou f2() peuvent être évalués en premier.

Certains opérateurs, tels que l'opérateur logique OU (||), ne imposer une séquence sur leur évaluation d'opérande, permettant un court-circuit. En X || y, x est toujours évalué avant y pour déterminer si l'évaluation de y est nécessaire.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!