Gibt es eine Möglichkeit, eine static_assert in einen Ausdruck in ISO C++ 11 zu gleiten?

Question

In C++ 11 es legal ist zum Beispiel zu schreiben,:

int b = (some_function_returning_void(), 1020); 

Und Sie werden wieder 1020. bekommen, aber es wird nicht zulassen, schreiben:

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

Die documentation erklärt die Stellen, an denen Recht static_assert (a keyword, scheinbar) können auftreten: bei Block Umfang

eine statische assert Deklaration (als Block Anmeldung) und innerhalb einer Klasse Körper auftreten kann (wie Mitglied Erklärung)

nur für das Heck von ihm habe ich versucht, ein paar Dinge, bis das funktionierte:

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

Aber mit -Wpedantic ich "warning: ISO C++ forbids braced-groups within expressions" bekommen. Interessanterweise werden diese als "Anweisungsausdrücke" und used in the Linux kernel bezeichnet.

Aber lassen Sie uns vorstellen, ich möchte -Wpedantic bleiben. Gibt es saubere Workarounds?

Answer 1

Wie @dyp in den Kommentaren erwähnt, können Sie die Komma-Operator missbrauchen und einen Lambda-Ausdruck:

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

Live on Coliru

Answer 2

static_assert ist nicht ein Ausdruck (im Gegensatz zu sizeof), so dass Sie nicht verwenden können, wo ein Ausdruck erforderlich wäre.

Es ist nicht einmal ein Ausdruck mit Typ void (Interessanterweise ist throw ein Ausdruck des Typs void), so können Sie es nicht einmal in einem ternären verwenden.

Anweisung Ausdrücke sind nicht Standard C++, so würde ich davon abraten, sie zu verwenden.

Ein Lambda

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

oder

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

kaum sauber ist. (Das zweite Lambda sieht aus wie eine Haaresbreite davon entfernt, undefiniert zu sein).

Answer 3

Was ist mit einer Funktionsvorlage:

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

Dann Sie können den Komma-Operator verwenden, Sie müssen nicht einmal die Funktion aufrufen:

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

Vielleicht brauchen Sie hier und da ein paar Klammern, um den Parser glücklich zu machen. Und Sie verlieren die statische Assert-Nachricht, aber es funktioniert.