Comment l'inférence de type C affecte-t-elle le comportement Lvalue/Rvalue des expressions conditionnelles ?

Inférence de type dans les expressions conditionnelles

L'opérateur conditionnel (?:) est un outil puissant en C , permettant un code concis et expressif. Cependant, comprendre le type de résultat de cet opérateur peut être crucial pour une utilisation correcte.

Considérez l'exemple de code suivant :

int x = 1;
int y = 2;
(x > y ? x : y) = 100;

Dans ce cas, le premier opérateur conditionnel est évalué à une rvalue de tapez int, car les deux opérandes sont de type int. Par conséquent, l'affectation est valide.

Cependant, dans l'exemple suivant :

int x = 1;
long y = 2;
(x > y ? x : y) = 100;

L'opérateur conditionnel ne peut pas être évalué à une lvalue car les deuxième et troisième opérandes sont de types différents. Par conséquent, une affectation à cette expression n'est pas valide :

error: lvalue required as left operand of assignment
      |     (x > y ? x : y) = 100;
      |     ~~~~~~~^~~~~~~~

Pour comprendre ce comportement, nous devons approfondir le concept de catégories de valeurs en C .

Une expression conditionnelle hérite de son type et catégorie de valeur à partir de ses opérandes. Si les deux opérandes sont des lvalues, l’expression conditionnelle est également une lvalue. Si l'un des opérandes est une rvalue, l'expression conditionnelle est une rvalue.

Dans le premier exemple, x et y sont tous deux des lvalues ​​du même type, donc l'expression conditionnelle est évaluée à une lvalue de type int. Dans le deuxième exemple, x est une lvalue mais y est une rvalue, donc l'expression conditionnelle ne peut pas être évaluée en lvalue.

Il est important de se rappeler que la catégorie de valeur de l'opérateur conditionnel est déterminée au moment de la compilation. Même si la condition est évaluée comme fausse, le type et la catégorie de valeur de l’expression conditionnelle doivent rester cohérents. Ceci est conforme à la règle selon laquelle le côté gauche d'un opérateur d'affectation doit être une lvalue.

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!