Fonction Appel = expression-instruction ... même fonctions de type void?

Question

en C++, il n'existe pas d'instruction d'affectation ou d'instruction d'appel de fonction.

Une affectation est une expression; un appel de fonction est une expression; cela vient directement de Bjarne Stroustrup dans son livre "Le langage de programmation C++". Je connais une expression qui calcule une valeur, ce qui me demande si cela s'applique aux fonctions vides, puisqu'elles ne renvoient pas de valeur.

Je voudrais savoir si les fonctions avec un type de retour void comptent toujours comme expressions, et si oui, pourquoi?

Answer 1

Les fonctions Yes ne renvoyant aucune valeur (déclarées comme renvoyant void) sont toujours considérées comme des expressions lorsque vous les appelez. Cela limite cependant leur utilisation dans d'autres expressions, par exemple de tels appels ne peuvent pas être de chaque côté d'une affectation.

Comme pour "pourquoi"? Eh bien, un appel de fonction est un appel de fonction est un appel de fonction. L'ajout de règles spéciales pour les fonctions qui ne renvoient pas de valeur rendrait la conception du langage beaucoup plus compliquée. C++ a déjà assez de règles spéciales et d'exceptions.

Answer 2

C++14 standard:

§5 expressions:

1 Une expression est une séquence d'opérateurs et d'opérandes spécifiant un calcul. Une expression peut résultat une valeur et peut causer des effets secondaires

Ainsi, le but/la portée d'une expression « principale » est de spécifier un calcul, ne pas calculer une valeur. Certains calculs peuvent entraîner une valeur et certains peuvent avoir des effets secondaires. En plus de cela (ou en fait tout d'abord), "expressions" et "instructions" sont utilisées pour définir la grammaire de C et C++. Il serait syntaxiquement impossible de faire des fonctions qui ne renvoient pas une valeur et non une "expression". Et ajouter cette distinction à un niveau sémantique serait une complication inutile.

Answer 3

Oui, void l'appel de fonction est également une expression. La définition dans la norme C++ dit:

Une expression est une séquence d'opérateurs et opérandes qui spécifie un calcul . Une expression peut entraîner dans une valeur et peut provoquer côté effets.

Un appel de fonction est une expression postfixe suivie entre parenthèses contenant un éventuellement vide, séparant par des virgules d'expressions qui constituent les arguments de la fonction.

également dans MSDN C++ Langage:

A postfix expression suivie par l'opérateur d'appel de fonction,(), spécifie un appel de fonction .

Answer 4

Fonction Appel = expression-instruction ... fonctions paires de type void?

pas. Mais c'est parce qu'un appel de fonction est la suivante:

do_stuff() 

et qui est un expression_opt. C'est une expression, pas une déclaration. Vous pouvez utiliser cette expression dans les expressions composées, mais ce n'est pas une déclaration par logique de langage.

Vous pouvez convertir rapidement que expression_opt à un expression-statement en lui donnant un point-virgule:

do_stuff(); 

est maintenant une déclaration complète.

La différence devient clair si vous pensez à quelque chose comme

if(good_thing() || do_stuff()) 
{ 
    .... 
} 

do_stuff() et good_thing() sont des expressions qui peuvent/seront évalués. Les points-virgules après () rompraient cette clause if.