Quel est le but de l'opérateur unaire plus (+) en C ?

Question

En C, il est légal d'écrire quelque chose comme :

int foo = +4;

Cependant, pour autant que je sache, le plus unaire ( + ) en +4 n'est pas une option. C'est le cas ?

Answer 1

Vous pouvez l'utiliser comme une sorte d'assertion qu'une expression a un type arithmétique :

#define CHECK_ARITHMETIC(x) (+(x))

Cela générera une erreur de compilation si x est évalué à (disons) un pointeur.

C'est à peu près la seule utilisation pratique à laquelle je peux penser.

Answer 2

Conformément à la norme C90, au point 6.3.3.3 :

Le résultat de l'opérateur unaire + est la valeur la valeur de son opérande . La promotion intégrale est effectuée sur l'opérande. et le résultat a le type promu.

et

L'opérande de l'opérateur unaire + ou - doit avoir type arithmétique ..

Answer 3

Il y a une utilisation très pratique de l'opérateur unaire plus que je connais : dans les macros. Supposons que vous vouliez faire quelque chose comme

#if FOO > 0

Si FOO est indéfini, le langage C exige qu'il soit remplacé par 0 dans ce cas. Mais si FOO a été défini avec une définition vide, la directive ci-dessus entraînera une erreur. A la place, vous pouvez utiliser :

#if FOO+0 > 0

Et maintenant, la directive sera syntaxiquement correcte si FOO est indéfini, défini comme vide, ou défini comme une valeur entière.

Bien sûr, la question de savoir si cela produira la sémantique souhaitée est totalement différente, mais dans certains cas utiles, ce sera le cas.

Edit : Notez que vous pouvez même l'utiliser pour distinguer les cas de FOO étant défini comme zéro contre défini comme blanc, comme dans :

#if 2*FOO+1 == 1
/* FOO is 0 */
#else
/* FOO is blank */
#endif

Answer 4

A peu près. Il est surtout présent pour l'exhaustivité, et pour rendre les constructions comme celle-ci un peu plus propres :

int arr[] = {
    +4,
    -1,
    +1,
    -4,
};

Answer 5

Ce n'est pas exactement un "no-op".

L'unaire + L'opérateur ne fait qu'une seule chose : il applique les promotions entières . Puisque ces derniers se produiraient de toute façon si l'opérande était utilisé dans une expression, on peut imaginer qu'unary + est dans C simplement par symétrie avec l'unaire. - .

Il est difficile de voir cela en action car les promotions sont appliquées de manière très générale.

J'ai trouvé ça :

printf("%zd\n", sizeof( (char) 'x'));
printf("%zd\n", sizeof(+(char) 'x'));

qui (sur mon Mac) imprime

1
4