Risposta.

Storia della domanda

Le priorità degli operatori sono state introdotte in C per gestire l'ordine di valutazione nelle espressioni matematiche e logiche. Anche se gli operatori matematici hanno una priorità storicamente attesa (come in algebra), l'emergere di molti nuovi operatori (logici, bitwise, di assegnazione, ecc.) ha complicato la situazione. Per ridurre la probabilità di errori e migliorare la leggibilità, è stata introdotta una lista ufficiale di priorità e associatività degli operatori.

Problema

A causa del numero maggiore di operatori e della loro diversa natura (aritmetici, confronti, assegnazioni, logici, indicizzazione), sorgono ambiguità nella composizione di espressioni complesse. Una comprensione errata dell'ordine della loro applicazione porta a errori logici e bug non sempre immediatamente evidenti, soprattutto quando si combinano operatori bitwise e logici, puntatori, incrementi e l'operatore ternario.

Soluzione

Ogni operatore ha una priorità fissa (più alta significa che viene applicato prima nell'espressione).
Se due operatori hanno la stessa priorità, si applica l'associatività (di solito da sinistra a destra).
Per un codice sicuro e chiaro, si consiglia di usare le parentesi per indicare esplicitamente l'ordine di valutazione desiderato, anche se si è certi della priorità.
Non bisogna fare affidamento su priorità non ovvie tra operatori (per esempio, tra && e ||, tra == e =, tra & e ==).

Esempio di codice:

#include <stdio.h>
int main() {
    int a = 1, b = 2, c = 3, d;
    d = a + b * c; // b*c viene eseguito per primo: d = 1 + (2*3) = 7
    printf("%d\n", d);
    d = a + b << 1; // a + b = 3, poi 3 << 1 (6)
    printf("%d\n", d);
    d = a < b ? a++ : b++;
    printf("%d\n", d); // a < b è vero => d = a (1), a verrà incrementato dopo
}

Caratteristiche chiave:

La priorità influisce sull'ordine di valutazione all'interno dell'espressione
L'associatività è una regola di raggruppamento in caso di priorità uguali
La combinazione non ovvia di operatori può portare a bug se non si usano parentesi

Domande insidiose.

Quale risultato restituirà l'espressione x = y > z ? y : z; se si dimenticano le parentesi?

Risposta: L'operatore ternario ?: ha una priorità inferiore rispetto a >. Prima viene valutato (y > z), e poi si sceglie tra y e z. Ma se combinato con l'assegnazione, possono verificarsi effetti inattesi. È meglio usare sempre le parentesi x = (y > z) ? y : z;.

*Quale risultato restituirà l'espressione p++ e perché?

Risposta: L'operatore di post-incremento (++) ha una priorità più alta rispetto all'indirizzamento (*), quindi *p++ diventa *(p++): prima viene utilizzato p e incrementato, solo dopo viene dereferenziato, il che potrebbe differire da *++p (dereferenziamento dopo l'incremento).

Perché l'espressione a & b == c non funziona come ci si aspetta?

Risposta: L'operatore == ha una priorità più alta rispetto a &, quindi l'espressione viene analizzata come a & (b == c), e non (a & b) == c, il che produrrà un risultato inaspettato. Per la logica desiderata, è necessario usare le parentesi.

if ((a & b) == c) { ... }

Errori tipici e anti-pattern

Utilizzo di espressioni senza parentesi in situazioni con combinazioni di operatori non ovvie
Aspettativa di un certo ordine di valutazione, mentre in realtà a causa della priorità è tutto diverso
Confusione tra & (AND bitwise) e && (AND logico), e == (confronto) e = (assegnazione)

Esempio dalla vita reale

Caso negativo

Durante l'ottimizzazione del codice, il programmatore ha combinato diversi operatori senza parentesi: if( mask & flag == 0 ) ..., di conseguenza la logica di controllo non funzionava correttamente e ha portato a un malfunzionamento del sistema.

Vantaggi:

Codice più breve

Svantaggi:

Tranelli nelle priorità, errore logico difficile da rilevare

Caso positivo

Uso di raggruppamento esplicito: if( (mask & flag) == 0 ) ..., la logica è trasparente, facile modificare i flag.