assert

マクロ assert の定義は、別のマクロ NDEBUG に依存しており、このマクロは標準ライブラリによって定義されていません。

診断情報は実装定義の形式を持ちますが、常に以下の情報を含みます：

• ソースファイル名（すなわち、 __FILE__ ）
• ソース行番号（すなわち、 __LINE__ ）
• 包含関数名（すなわち、 __func__ ）

パラメータ

注記

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
std::complex<double> c;
assert(c == std::complex<double>{0, 0});   // error
assert((c == std::complex<double>{0, 0})); // OK

assert エラーに追加のメッセージを付加する標準化されたインターフェースは存在しません。ポータブルな方法としては、 コンマ演算子 が オーバーロード されていない場合にそれを使用するか、文字列リテラルと共に && を使用する方法があります：

assert(("ライトは5つあります", 2 + 2 == 5));
assert(2 + 2 == 5 && "ライトは5つあります");

Microsoft CRT における assert の実装は、その基盤となる関数（ _wassert ）が __func__ または同等の代替を受け取らないため、C++11以降の規格に準拠していません。

C++20以降、診断メッセージに必要な値は std::source_location::current() からも取得できるようになりました。

C23/C++26における assert の変更は正式には欠陥報告書ではありませんが、C委員会は 推奨しています 実装がこの変更を旧モードにバックポートすることを。

例

#include <iostream>
// uncomment to disable assert()
// #define NDEBUG
#include <cassert>
// Use (void) to silence unused warnings.
#define assertm(exp, msg) assert((void(msg), exp))
int main()
{
    assert(2 + 2 == 4);
    std::cout << "Checkpoint #1\n";
    assert((void("void helps to avoid 'unused value' warning"), 2 * 2 == 4));
    std::cout << "Checkpoint #2\n";
    assert((010 + 010 == 16) && "Yet another way to add an assert message");
    std::cout << "Checkpoint #3\n";
    assertm((2 + 2) % 3 == 1, "Success");
    std::cout << "Checkpoint #4\n";
    assertm(2 + 2 == 5, "Failed"); // assertion fails
    std::cout << "Execution continues past the last assert\n"; // No output
}

Checkpoint #1
Checkpoint #2
Checkpoint #3
Checkpoint #4
main.cpp:23: int main(): Assertion `((void)"Failed", 2 + 2 == 5)' failed.
Aborted

不具合報告

以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

関連項目