C の `static_assert` のようなコンパイル時警告を発行できますか?

コンパイル時に警告を発行する「静的警告」を実装できますか?

C 11 の static_assert はエラーを識別するための貴重なツールですコンパイル時に。ただし、生成されるのはコンパイル エラーのみであり、警告は生成されません。この質問では、コンパイルを中止する代わりに警告を発する "static_warning" を実装する可能性を検討します。

マクロを使用した実装の可能性

Michael E のコメントからインスピレーションを得た、洗練された解決策はマクロを使用して提案されます:

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

静的警告の作成を容易にするために追加のマクロが導入されています:

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

使用例

マクロはさまざまなスコープで使用できます:

<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>

異なるコンパイラでの出力

さまざまなコンパイラでサンプル コードをコンパイルすると、予想どおり警告が生成されます:

• GCC 4.6:

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

• Visual C 2010:

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

• Clang 3.1:

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

結論

提示されたマクロは、洗練されたコンパイル エラーを引き起こすのではなく、警告を発する static_warning 機能を実装するアプローチです。これは、コンパイル中に複雑なテンプレートの特殊化をデバッグおよびトレースするのに便利なツールです。

以上がC の `static_assert` のようなコンパイル時警告を発行できますか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。