#warning e #error come Macro

Question

C'è un modo per avere macro per forzare avvertimenti ed errori durante la compilazione?

Al momento ho qualcosa di simile:

#if defined(__clang__) 
# define PRAGMA(x)     _Pragma(#x) 
#elif defined(__GNUC__) 
# define PRAGMA(x)     _Pragma(#x) 
#elif defined(_MSC_VER) 
# define PRAGMA(x)     __pragma(x) 
#endif 

#define STRINGISIZE(str) #str 
#define STR(str)   STRINGISIZE(str) 

#define LINE     STR(__LINE__) 
#define FILE     __FILE__ 
#define FILE_LINE    __FILE__ "(" LINE ")" 

#define INFO(info , msg) \ 
    PRAGMA(message(FILE_LINE ": " #info ": " msg)) 

#define MESSAGE(m)   INFO(msg , m) 
#define WARNING(w)   INFO(warning , w) 
#define ERROR(e)   INFO(error , e) 
#define TODO(t)    INFO(TODO , t) 

int main() 
{ 
    MESSAGE("MSG") 
    TODO("TODO") 
    WARNING("WARN") 
    ERROR("ERROR") 
} 

Visual Studio 2013 sarà il trattamento di queste macro come avvertimenti/errori e questo esempio non verrà compilato. Esiste un equivalente per GCC e Clang?

---

#if defined(_MSC_VER) 
    #define INFO(info , msg) \ 
     PRAGMA(message(FILE_LINE ": " #info ": " msg)) 
    #define MESSAGE(m)   INFO(info , m) 
    #define WARNING(w)   INFO(warning , w) 
    #define ERROR(e)   INFO(error , e) 
    #define TODO(t)    INFO(todo t) 
#elif defined(__GNUC__) || defined(__clang__) 
    #define INFO(info , msg) \ 
     PRAGMA(#info " : " #msg)) 
    #define MESSAGE(m)   INFO(info , m) 
    #define WARNING(w)   INFO(GCC warning , w) 
    #define ERROR(e)   INFO(GCC error , e) 
    #define TODO(t)    INFO(, "todo" t) 
#endif 

Answer 1

Sì, c'è. Citando il GCC preprocessor documentation:

#pragma GCC warning 
#pragma GCC error 

#pragma GCC warning "message" fa sì che il preprocessore di emettere una diagnosi di avviso con il testo ‘message’. Il messaggio contenuto nel pragma deve essere un singolo stringa letterale. Allo stesso modo, #pragma GCC error "message" emette un messaggio di errore. A differenza delle direttive "#warning" e "#error", queste direttive possono essere incorporate nelle macro del preprocessore usando "_Pragma".

I test mostrano che questi funzionano anche con clang.

Nota che non è necessario incorporare il file e le informazioni sulla linea. La direttiva verrà emessa come una normale diagnostica e tutta la diagnostica include già le informazioni su file e linea.

A seconda della specifica macro in questione, un'altra opzione può essere quella di forzare una chiamata di funzione a una funzione contrassegnata dagli attributi warning o error. A differenza dei pragma, gli attributi non hanno alcun effetto se la chiamata alla funzione è conosciuta come irraggiungibile (ad esempio perché appare in un blocco if in cui la condizione è stata rilevata in fase di compilazione come sempre falsa), quindi se in quel caso si desidera l'avvertimento o l'errore da sopprimere, possono essere più appropriati.