assert

#define assert(condition) ((void)0)

#define assert(...)       ((void)0)

#define assert(condition) /* unspecified */

#define assert(...)       /* unspecified */

La definición de la macro assert depende de otra macro, NDEBUG, que no está definida por la biblioteca estándar.

La información de diagnóstico tiene un formato definido por la implementación, pero siempre incluye la siguiente información:

• el nombre del archivo fuente (es decir, __FILE__)
• el número de línea del archivo fuente (es decir, __LINE__)
• el nombre de la función contenedora (es decir, __func__)

Parámetros

Notas

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

No existe una interfaz estandarizada para agregar un mensaje adicional a los errores de assert . Una forma portable de incluir uno es utilizar el operador coma siempre que no haya sido sobrecargado , o usar && con un literal de cadena:

assert(("There are five lights", 2 + 2 == 5));
assert(2 + 2 == 5 && "There are five lights");

La implementación de assert en Microsoft CRT no se ajusta a C++11 y revisiones posteriores, porque su función subyacente ( _wassert ) no toma ni __func__ ni un reemplazo equivalente.

Desde C++20, los valores necesarios para el mensaje de diagnóstico también pueden obtenerse de std::source_location::current() .

Aunque el cambio de assert en C23/C++26 no es formalmente un informe de defectos, el comité de C recomienda a las implementaciones que retroporten el cambio a modos anteriores.

Ejemplo

#include <iostream>
// descomentar para deshabilitar assert()
// #define NDEBUG
#include <cassert>
// Usar (void) para silenciar advertencias de no uso.
#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"); // la aserción falla
    std::cout << "Execution continues past the last assert\n"; // Sin salida
}

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

Informes de defectos

Los siguientes informes de defectos que modifican el comportamiento se aplicaron retroactivamente a los estándares de C++ publicados anteriormente.

Véase también