Nein - außer ohne Argument übergeben

Question

Können Sie sagen, wie kann ich Assertion, ist Funktion noexcept (ohne Argument übergeben)? Vielen Dank.

Answer 1

Angenommen, Sie fragen:

Wie kann ich behaupten, dass eine Funktion ist noexcept ohne es zu nennen?

Die Antwort ist, dass Sie nicht können, weil der noexcept Spezifizierer zwischen den Überladungen unterschiedlich sein könnte. Beispiel:

int a(int) noexcept; 
int a(int, int); 

// What would `noexcept(a)` mean? 

Answer 2

Angenommen, Sie (dank @VittorioRomeo für die Annahme) fragen:

Wie kann ich behaupten, dass eine Funktion ohne nannte es noexcept ist?

Sie können den Operator noexcept verwenden, da seine Operanden nicht bewertete Operanden sind.
Mit anderen Worten: Sie können dies tun:

void f(int) noexcept { } 
void f(int, int) { } 

int main() { 
    static_assert(noexcept(f(0)), "!"); 
    static_assert(not noexcept(f(0, 0)), "!"); 
} 

f nicht in jedem Fall aufgerufen wird, das heißt die (lassen Sie mich sagen) Natur eines unevaluierten Operanden.

Der interessanteste Teil ist, dass Sie es mit std::declval kombinieren können, wenn Sie keine Variable haben, um als ein Argument verwendet zu werden, und Sie nicht wissen, wie man es konstruiert.
Als Beispiel:

#include<utility> 

struct S { S(int) {} }; 

void f(S) noexcept { } 

int main() { 
    static_assert(noexcept(f(std::declval<S>())), "!"); 
} 

Bitte beachte, dass ich muss S nichts passieren zu bauen, auch wenn es keinen Default-Konstruktor hat.

Dies ist in der Regel genug, um die Anforderung von zu umgehen keine Argumente übergeben.