#if !defined(NDEBUG)
  #define assert(expr) implementation-defined // (1) C++98
  #define assert(...) implementation-defined  // (1) C++26
#else
  #define assert(ignore) ((void)0)            // (2) C++98
  #define assert(...) ((void)0)               // (2) C++26
#endif

概要

式が真であることを表明する。

このマクロは、開発時に除去できるバグを見つけるために使用できる。「関数の引数がある範囲内の値でなければならない」「ある状態でこの関数を呼び出してはならない」といったことを表明することで、その関数を呼び出すユーザーに対する要件として設定できる。

このマクロは、直前の<cassert>（または<assert.h>）のインクルード時点でマクロNDEBUGが定義されていなかった場合に有効となり、NDEBUGが定義されていた場合は無効となる。

要件

• C++14まで : パラメータの式の型はスカラ型でなければならない
  • C言語への参照として定義されていた仕様では、assertはvoid assert(scalar expression);のような関数として定義されていた

効果

• 有効な場合:
  • C++98 : パラメータの式を評価し、
  • C++26 : 可変引数パラメータ__VA_ARGS__をboolに変換し、
  • 真に評価された場合は、なにもしない
  • そうでない場合（0と等しい場合）、式をテキスト化したもの、（std::source_location::current()で取得できるような）ソースファイル名、行番号、関数名を標準エラー出力に処理系定義の書式で書き込み、abort()関数を呼び出してプログラムを異常終了させる
• 無効な場合:
  • パラメータの式は評価はされず、なにもしない

このマクロは、定数式内で使用できる。(C++17)

備考

• 有効・無効に関わらずvoid型の式となる（文などにはならない）ので、カンマ演算子と組み合わせるなどして、式が書けるところならどこにでも記述することができる。
• マクロNDEBUGは、標準C++の言語およびライブラリでは定義しない。開発環境やユーザーが定義することとなる。NDEBUGを定義せずassertを有効にした設定を「デバッグビルド」、NDEBUGを定義してassertを無効にした設定を「リリースビルド」などとして複数のビルド設定を持つ開発環境がある。
• マクロNDEBUGの定義の状態を変えて<cassert>をインクルードしなおすことで翻訳単位中で有効・無効を切り替えることも可能である。
• 実行環境や入力によって起こりえるエラーに対するエラー処理としてこのマクロを使用すると無効化された場合に意図しない動作となることがあるので、別な手段として、例外、bool型の返却値などを検討すること。
• C++26 : __VA_ARGS__が適格な代入式に展開されない場合、プログラムは不適格となる。カンマ演算子を使った式は代入式ではないため、static_assertのように条件とメッセージをカンマで並べて書くことはできない。メッセージを併記したい場合は、&&で連結する。
  

  assert(i < v.size(), "index is out of range"); // コンパイルエラー
  assert(i < v.size() && "index is out of range"); // OK
  

• C++26 : 引数の式を未評価オペランドとして扱ったときに不適格となる場合、プログラムは不適格となる（診断不要）。たとえばco_awaitやco_yieldは未評価オペランド内で使用できないため、assertの引数に書くことはできない。

例

assertマクロの基本的な使い方

#include <cassert>

void f(int x)
{
  // パラメータxは、正数でなければならない
  assert(x >= 0);

  // …xを使った処理…
}

int main()
{
  f(3);  // OK
  f(-1); // プログラムが異常終了する
}

出力例

prog.exe: prog.cc:6: void f(int): Assertion `x >= 0' failed.

定数式としてassertマクロを使用する (C++17)

#include <cassert>

constexpr int f(int x)
{
  assert(x >= 0); // constexpr関数内に式としてassertマクロを使用する
  return x + 1;
}

int main()
{
  constexpr int a = f(1);
//constexpr int b = f(-1); // コンパイルエラー！
}

出力

カンマを含む条件式をassertマクロで使用する (C++26)

C++26ではassertが可変引数マクロとなったため、テンプレート実引数の区切りや波カッコ初期化に含まれるカンマを、そのまま条件式に書ける。

#include <cassert>
#include <vector>
#include <type_traits>

template <class T>
void f(const std::vector<T>& v)
{
  // C++26 : カンマを含む式をそのまま書ける
  assert(v == std::vector<T>{1, 2, 3});
  assert(std::is_same_v<int, T>);

  // C++23まで : 式全体を丸カッコで囲む必要がある
  assert((v == std::vector<T>{1, 2, 3}));
  assert((std::is_same_v<int, T>));
}

int main()
{
  f(std::vector<int>{1, 2, 3});
}

出力

参照

• C++14 - 19.3 [assertions] ただしC++としての規定はほとんど無く、ほぼ参照規格であるISO C 7.2の規定によるものとなっている。
• What does it mean for C++ that assert takes a scalar argument? パラメータの式の型についての要件は参照規格であるCの規定によるものであり、「スカラ型」がC++におけるスカラ型となるのか、あるいはCにおけるスカラ型の範囲に限定されるのか、少なくともC++14時点でははっきりしていない。
• LWG Issue 2234. assert() should allow usage in constant expressions
• LWG Issue 2559. Error in LWG 2234's resolution
  • C++17で、assert(E)が定数部分式となる条件を、assertが最後に定義／再定義された時点のNDEBUGの状態で判定するよう修正された
• P2264R7 Make assert() macro user friendly for C and C++
  • C++26から、カンマを含む式を条件式として使用できるようになった
• LWG Issue 4454. assert should forbid co_await and co_yield
  • C++26で、引数の式を未評価オペランドとして扱ったときに不適格となる場合（co_await／co_yieldを含む場合など）はプログラムが不適格となることが規定された