assert

 

C++

言語

ヘッダ

コンセプト

言語サポートライブラリ

診断ライブラリ

ユーティリティライブラリ

文字列ライブラリ

コンテナライブラリ

アルゴリズムライブラリ

イテレータライブラリ

数値演算ライブラリ

入出力ライブラリ

ローカライゼーションライブラリ

正規表現ライブラリ (C++11)

アトミック操作ライブラリ (C++11)

スレッドサポートライブラリ (C++11)

ファイルシステムライブラリ (C++17)

技術仕様書

 

ユーティリティライブラリ

型サポート (基本型、RTTI、型特性)
動的メモリ管理
エラー処理
プログラムユーティリティ
可変長引数関数
日付と時間
関数オブジェクト
initializer_list (C++11)
bitset
hash (C++11)
integer_sequence (C++14)
関係演算子 (廃止予定)
rel_ops::operator!=rel_ops::operator>rel_ops::operator<=rel_ops::operator>=
比較 (C++20)
strong_order weak_order partial_order strong_equal weak_equal	strong_ordering weak_ordering partial_ordering strong_equality weak_equality	is_eqis_neqis_ltis_lteqis_gtis_gteq
common_comparison_category
一般的な語彙の型
pair tuple (C++11) apply (C++17) make_from_tuple (C++17)	optional (C++17) any (C++17) variant (C++17)
交換、転送、ムーブ
swap
exchange (C++14)
forward (C++11)
move (C++11)
move_if_noexcept (C++11)
基本的な文字列変換
to_chars (C++17)
from_chars (C++17)
chars_format (C++17)
型操作
declval (C++11)
as_const (C++17)

 

エラー処理

例外処理 exception uncaught_exceptionuncaught_exceptions (C++17) exception_ptr (C++11) make_exception_ptr (C++11) current_exception (C++11) rethrow_exception (C++11) nested_exception (C++11) throw_with_nested (C++11) rethrow_if_nested (C++11) 例外処理の失敗 terminate terminate_handler get_terminate (C++11) set_terminate bad_exception unexpected (C++17以前) unexpected_handler (C++17以前) get_unexpected (C++11)(C++17以前) set_unexpected (C++17以前)

例外のカテゴリ logic_error invalid_argument domain_error length_error out_of_range runtime_error range_error overflow_error underflow_error tx_exception (TM TS) エラーコード エラーコード errno アサーション assert system_error error_category (C++11) generic_category (C++11) system_category (C++11) error_condition (C++11) errc (C++11) error_code (C++11) system_error (C++11)

 

ヘッダ <cassert> で定義
#ifdef NDEBUG #define assert(condition) ((void)0) #else #define assert(condition) /*implementation defined*/ #endif

マクロ assert の定義は、標準ライブラリで定義されない別のマクロ NDEBUG に依存します。

ソースコード内の <cassert> がインクルードされた地点で NDEBUG がマクロ名として定義されている場合、 assert は何もしません。

NDEBUG が定義されていない場合、 assert は引数 (スカラー型を持たなければなりません) をゼロと等しいか比較します。 等しければ、 assert は処理系固有の診断情報を標準エラー出力に出力し、 std::abort を呼びます。 診断情報は expression のテキスト、標準のマクロ __FILE__、 __LINE__ および標準の変数 __func__ の値を含むことが要求されます。

以下のいずれかの場合、式 assert(E) は定数部分式であることが保証されます。 assert が最後に定義または最定義された場所 (つまり、ヘッダ <cassert> または <assert.h> が最後にインクルードされた場所) で NDEBUG が定義されている。 bool に文脈的に変換された E が true に評価される定数部分式である。

(C++17およびそれ以降)

引数

condition

-

スカラー型の式

戻り値

(なし)

ノート

assert は関数ライクなマクロであるため、 condition 内の括弧で保護されていないコンマはマクロ引数の区切りと解釈されます。 そのようなコンマはテンプレート引数リストでしばしば現れます。

assert(std::is_same_v<int, int>); // error: assert does not take two arguments
assert((std::is_same_v<int, int>)); // OK: one argument
static_assert(std::is_same_v<int, int>); // OK: not a macro

例

Run this code

#include <iostream>
// uncomment to disable assert()
// #define NDEBUG
#include <cassert>
 
int main()
{
    assert(2+2==4);
    std::cout << "Execution continues past the first assert\n";
    assert(2+2==5);
    std::cout << "Execution continues past the second assert\n";
}

出力例:

Execution continues past the first assert
test: test.cc:10: int main(): Assertion `2+2==5' failed.
Aborted

関連項目

static_assert	コンパイル時のアサーションチェックを行います (C++11およびそれ以降)
abort	(クリーンアップせずに) プログラムを異常終了させます (関数)
assert の C言語リファレンス