Questa istruzione macro è legale in C++ o qualcos'altro? E se è legale come funziona

Question

WebKit ha un sacco di linee pre-processore come questo: #if MACRO1(MACRO2)

Ad esempio:

#if PLATFORM(MAC) || (PLATFORM(QT) && USE(QTKIT)) 
#include "MediaPlayerPrivateQTKit.h" 
#if USE(AVFOUNDATION) 
#include "MediaPlayerPrivateAVFoundationObjC.h" 
#endif 
... 

Così il mio primo pensiero è stato che erano funzione simile macro, ma non riesco a vedere come funzionerebbe, e non ho trovato nessun #define per queste macro ovunque nel codice sorgente.

Ho chiesto a un altro ingegnere cosa fosse e non ha mai visto più macro utilizzate in un #if prima di entrambi. Ho trovato questo wiki page che parla di loro, ma non era ancora chiaro per me da dove vengono,

Quindi la mia domanda, allora: È questo valido C++ o è esso che è sostituito nel codice da un altro strumento/lingua come CMake o qualcos'altro, e se è valido C++ c'è una specifica che qualcuno è a conoscenza di ciò che parla di questo?

Sono un tecnico di supporto per uno strumento di analisi statica C++ che non sta gestendo questa sintassi. Un cliente ci ha chiesto di gestirlo, ma se ho intenzione di portarlo all'ingegnere anziano non mi piacerebbe sembrare un idiota :) Quindi mi piacerebbe il nocciolo duro se qualcuno lo sa.

Answer 1

Come menzionato nella wiki, in root/trunk/Source/JavaScriptCore/wtf/Platform.h otteniamo una definizione per ciascuna di queste definizioni. Per esempio, la macro PLATFORM è definito come:

#define PLATFORM(WTF_FEATURE) \ 
     (defined WTF_PLATFORM_##WTF_FEATURE \ 
     && WTF_PLATFORM_##WTF_FEATURE) 

Il valore di WTF_FEATURE sarà sostituito dal nome della piattaforma per creare un po 'di macro denominata WTF_PLATFORM_WTF_FEATRE.Ad esempio, con WTF_FEATURE passato nella macro come MAC, si otterrebbe un'espansione di WTF_PLATFORM_MAC. La direttiva defined del preprocessore combinata con la logica AND sta essenzialmente chiedendo se il valore della macro è definito e, se è definito, se il suo valore è un valore "vero". Si potrebbe utilizzare questa macro da qualche altra parte nel pre-processor come:

Tu non utilizzare entro codice C++ se stesso come

if (PLATFORM(MAC)) 
{ 
    //...some code 
} 

che causerebbe un mucchio di errori dal compilatore dal defined non è una parola chiave C++ e la valutazione e la sostituzione della macro all'interno del codice C++ finiscono per scaricare la direttiva pre-processore defined in qualsiasi codice C++ che abbia chiamato direttamente la macro. C++ non valido.

Grazie a Johannes per aver segnalato alcuni di questi problemi.

Answer 2

Le definizioni potrebbero provenire dagli script di compilazione. La maggior parte dei compilatori C++ consente di definire macro sulla riga di comando.

Un modo che posso vedere per definire una macro UTILIZZO come nel tuo esempio potrebbe essere:

#define USE_QTKIT 1 
#define USE(x) USE_ ## x 

O forse come:

gcc -DUSE_QTKIT=1 '-DUSE(x)=USE_ ## x' 

Answer 3

La direttiva #if funziona grosso modo, sostituendo tutte le macro, e quindi sostituendo tutti gli identificatori e le parole chiave di ciò che è rimasto da 0 e successivamente elaborando ciò che è rimasto ha un'espressione costante in base alle regole del linguaggio C++ (il sottoinsieme di quelle regole applicabili a ciò che è rimasto da quella sostituzione - piuttosto poco :)).

Così PLATFORM(MAC) può produrre un 1 se MAC è definito come 1, e un MAC se non è definita, se PLATFORM è semplicemente definito come

#define PLATFORM(X) X 

Il risultante MAC è un identificatore e saranno successivamente sostituito da 0. È più probabile che concatenino lo X a qualcosa come PLATFORM, in modo da supportare più query con MAC come argomento, verificando l'esistenza di diverse macro. Come sviluppatore di uno strumento "Analisi statica C++" probabilmente hai accesso alle specifiche C++. Dai un'occhiata alla clausola 16.1.