static_assert

 

C

コンパイラサポート

言語

ヘッダー

型サポート

プログラムユーティリティ

可変長引数関数のサポート

エラーハンドリング

動的メモリ管理

文字列ライブラリ

アルゴリズム

数値

日付と時刻のユーティリティ

入出力サポート

ローカライゼーションサポート

並行処理サポート (C11)

技術仕様

シンボルインデックス

 

エラーハンドリング

エラーコード

エラーコード

errno

アサーション

assert

static_assert (C11)(C23で削除)

境界検査

set_constraint_handler_s (C11)

abort_handler_s (C11)

ignore_handler_s (C11)

 

ヘッダー <assert.h> で定義
#define static_assert _Static_assert		(C11 以降) (C23 で削除済み)

この便利なマクロは、キーワード _Static_assert に展開されます。

例

このコードを実行

#include <assert.h>
 
int main(void)
{
    static_assert(2 + 2 == 4, "2+2 isn't 4");   // well-formed
 
    static_assert(sizeof(int) < sizeof(char),   // compile-time error
                  "this program requires that int is less than char");
}

注

C23 以降、static_assert 自体がキーワードとなり、プリディファインドマクロにもなり得るため、<assert.h> はこれをもう提供しません。

参考文献

• C23標準 (ISO/IEC 9899:2024)

• 7.2/3 Diagnostics <assert.h> (p: TBD)

• C17標準 (ISO/IEC 9899:2018)

• 7.2/3 Diagnostics <assert.h> (p: 135)

• C11標準 (ISO/IEC 9899:2011)

• 7.2/3 Diagnostics <assert.h> (p: 186)

関連項目

C++ ドキュメント (静的アサーション)