Perché tante parentesi nella macro SUCCEEDED?

Question

funzionalità SDK di Windows è riuscita macro:

#define SUCCEEDED(hr) (((HRESULT)(hr)) >= 0) 
-----------------------^-------------^----- 

chiaramente come con altre macro Ci sono le parentesi per garantire il diritto all'interpretazione del intenti da parte del compilatore.

Quello che non capisco è perché ci sono parentesi intorno a (HRESULT)(hr) (li ho contrassegnati con il carattere ^). hr è tra parentesi in modo che possa esistere qualche costrutto complesso, HRESULT è tra parentesi per formare un cast in stile C, quindi l'intero costrutto >= è tra parentesi, quindi perché la coppia di parentesi in più intorno a (HRESULT)(hr)?

Answer 1

Lo standard C mette il cast ad una priorità più alta rispetto al confronto, quindi le parentesi non sono richiesto per il compilatore.

Tuttavia, le persone leggono la definizione della macro e inserendole rende esplicita la precedenza, in modo che sia ovvio per le persone che la leggono che è il risultato del confronto (HRESULT) hr) con zero anziché il risultato del confronto senza dover pensare alla precedenza.

Answer 2

Le parentesi graffe si assicurano che gli elementi siano presi nell'ordine corretto. Se non si desidera che il compilatore da fare:

1. (hr) >= 0

2. risultato convertito del 1. di HRESULT.

Invece si desidera convertire solo l'espressione (hr) a HRESULT, quindi confrontare che con 0.

Answer 3

È necessario assicurarsi che hr venga convertito in HRESULT prima di essere confrontato, invece di HRESULT (hr> = 0).

Answer 4

Per assicurarsi che l'espressione che si espande da (h) è realizzata mediante fusione per HRESULT, e confrontati con 0.

Answer 5

Le parentesi aggiuntive non cambiano il significato, ma rendono esplicita la precedenza. Senza di loro, un lettore che non conoscesse tutte le regole di precedenza avrebbe dovuto capire cosa significasse l'espressione.

Per chiarire, mi riferisco solo alle parentesi intorno all'espressione cast, come indicato nella domanda. Gli altri sono necessari (a meno che la macro fosse intesa solo per C++ e non C, nel qual caso è possibile modificare lo (HRESULT)(hr) in HRESULT(hr)).

Answer 6

Risposta breve: chissà cosa stavano pensando gli sviluppatori di MS. Tuttavia, le parentesi intorno a hr sono ovviamente necessarie poiché hr potrebbe essere un'espressione composta da più di un singolo operando. Le parentesi intorno ((HRESULT) (hr)) non sono necessarie per quanto posso vedere. Questo probabilmente è stato fatto solo per abitudine cautelativa: quando si lavora con il preprocessore, è meglio avere troppe parentesi che troppe poche.

Answer 7

Questo è per far fronte alle carenze macro - sono solo una sostituzione di testo!

immaginare le seguenti macro

#define DOUBLE(x) x*2 

int v = DOUBLE(1+1); // == 1+1*2 == 3. Did you expect 4? 

Così le regole del pollice per le macro sono:

• li usano solo se non c'è altro modo per risolvere il tuo problema
• avvolgere tutti i parametri in parantheses (per evitare il problema precedente)
• avvolgere l'intera espressione in paranthes (per evitare altri problemi simili)
• fare ogni parametro si verificano solo una volta (per evitare problemi con effetti collaterali)

Quindi, una macro migliore sarebbe:

#define DOPPIA (x) ((x) * 2)

Sei quasi arrivato, le rimanenti parate in te sono dovute al cast.

---

Così possiamo criticare due punti:

D: perché è una macro, non è una funzione inline?
A: Compatibilità con le versioni precedenti. C non ha funzioni inline (o almeno non lo ha fatto), l'uso di funzioni per le migliaia di dichiarazioni di questo tipo avrebbe causato la maggior parte dei compilatori di quel tempo.

Q: Le paraste necessarie sono davvero necessarie per questa macro specifica? A: Non so. Probabilmente mi ci vorrà mezz'ora o più per dimostrare formalmente (o rifiutare) che non ci sia alcun parametro sensibile e un ambiente di "chiamata" dove ciò abbia effetti indesiderati. Preferirei seguire le linee guida ragionevoli come menzionato sopra, e continuare a scrivere codice.

Answer 8

L'autore era semplicemente stupido. Tutte le parentesi extra (attorno al cast) sono più difficili da analizzare visivamente. Chiunque pensi che il paragone possa avere una precedenza più alta rispetto al casting, deve imparare le basi della lingua prima della codifica ... per non parlare del buon senso.