Können wir in C Kompilierzeitwarnungen wie „static_assert' ausgeben?

Kann ich eine „statische Warnung“ implementieren, um Warnungen zur Kompilierungszeit auszugeben?

Static_assert in C 11 ist ein wertvolles Tool zur Fehlererkennung zur Kompilierungszeit. Es generiert jedoch nur Kompilierungsfehler, keine Warnungen. Diese Frage untersucht die Möglichkeit, eine „static_warning“ zu implementieren, die Warnungen ausgibt, anstatt die Kompilierung abzubrechen.

Mögliche Implementierung mithilfe von Makros

Inspiriert durch Michael E's Kommentar, ein anspruchsvoller Lösung wird mit Makros vorgeschlagen:

<code class="cpp">#define DEPRECATE(foo, msg) foo __attribute__((deprecated(msg)))  // GCC
#define DEPRECATE(foo, msg) __declspec(deprecated(msg)) foo  // MSVC</code>

Zusätzliche Makros werden eingeführt, um die Erstellung statischer Warnungen zu erleichtern:

<code class="cpp">#define STATIC_WARNING(cond, msg) ...
#define STATIC_WARNING_TEMPLATE(token, cond, msg) ...</code>

Verwendungsbeispiele

Die Makros können in verschiedenen Bereichen eingesetzt werden:

<code class="cpp">STATIC_WARNING(1==2, "Failed with 1 and 2");
STATIC_WARNING(..., "2 and 3 worked");

struct Foo {
  STATIC_WARNING(..., "2 and 3: oops");
};

void func() {
  STATIC_WARNING(..., "Not so good on 3 and 4");
}

template <typename T> struct wrap {
  STATIC_WARNING_TEMPLATE(WRAP_WARNING1, ..., "A template warning");
};</code>

Ausgabe in verschiedenen Compilern

Das Kompilieren des Beispielcodes mit verschiedenen Compilern erzeugt erwartungsgemäß Warnungen:

• GCC 4.6:

  warning: ‘void static_warning1::_(const detail::false_type&)’ is deprecated ...

  Nach dem Login kopieren

• Visual C 2010:

  warning C4996: 'static_warning1::_': Failed with 1 and 2

  Nach dem Login kopieren

• Clang 3.1:

  warning: '_' is deprecated: Failed with 1 and 2 ...

  Nach dem Login kopieren

Fazit

Die vorgestellten Makros bieten eine anspruchsvolle Ansatz zur Implementierung einer static_warning-Funktion, die Warnungen ausgibt, anstatt Kompilierungsfehler zu verursachen. Es ist ein nützliches Tool zum Debuggen und Verfolgen komplexer Vorlagenspezialisierungen während der Kompilierung.

Das obige ist der detaillierte Inhalt vonKönnen wir in C Kompilierzeitwarnungen wie „static_assert' ausgeben?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!