C'è un modo per inserire un static_assert in un'espressione in ISO C++ 11?

Question

In C++ 11 è legale di scrivere, per esempio:

int b = (some_function_returning_void(), 1020); 

e si otterrà indietro 1020. Ma non vi permetterà di scrivere:

int b = (static_assert(2 > 1, "all is lost"), 304); 

Il documentation spiega i punti legali dove può verificarsi static_assert (a keyword, apparentemente):

una dichiarazione asserzione statico può apparire a perimetro blocco (come dichiarazione blocco) e all'interno di un corpo di una classe (come una dichiarazione di membro)

Solo per il gusto di farlo ho provato un paio di cose fino a quando questo ha funzionato:

int b = ({static_assert(2 > 1, "all is lost"); 304;}); 

Ma con -Wpedantic ottengo "warning: ISO C++ forbids braced-groups within expressions". È interessante notare che questi sono chiamati "espressioni di dichiarazione" e used in the Linux kernel.

Ma immaginiamo di voler rimanere -Wpedantic. Esistono soluzioni alternative?

Answer 1

Come @dyp accennato nei commenti, si può abusare l'operatore virgola e un lambda-espressione:

([]{static_assert(true,"");}, 42) 

Live on Coliru

Answer 2

static_assert è non un espressione (a differenza sizeof), quindi non è possibile utilizzarlo in cui sarebbe necessaria un'espressione.

Non è nemmeno un'espressione con tipo void (è interessante notare che throw è un'espressione di tipo void) in modo che non si possa nemmeno usarlo in ternario.

Le espressioni di dichiarazione non sono C++ standard, quindi sconsiglio di utilizzarle.

Un lambda

int b = []{ 
    static_assert(2 > 1, "all is lost"); return 304; 
}(); 

o

int b = ([]{static_assert(2 > 1, "all is lost");}, 304); 

è difficilmente pulito. (Il secondo lambda appare come un capello lontano dall'essere indefinito).

Answer 3

Che dire di un modello di funzione:

template<int T> void my_static_assert() 
{ 
    static_assert(T, "asserted"); 
} 

Poi è possibile utilizzare l'operatore virgola, non è nemmeno necessario chiamare la funzione:

int x = (my_static_assert<(2 > 1)>, 2001); 

Forse avete bisogno di alcune parentesi qua e là per rendere felice il parser. E perdi il messaggio statico, ma funziona.