¿Agregar mensajes personalizados en assert?

Otra opción es invertir los operandos y usar el operador coma. Necesita paréntesis adicionales para que la coma no se trate como un delimitador entre los argumentos:

assert(("A must be equal to B", a == b));

(esto fue copiado de los comentarios anteriores, para una mejor visibilidad)

BOOST_ASSERT_MSG(expre, msg)

Http://www.boost.org/doc/libs/1_51_0/libs/utility/assert.html

Puedes usar eso directamente o copiar el código de Boost. También tenga en cuenta que Boost Assert es solo encabezado, por lo que solo podría tomar ese archivo único si no desea instalar todo Boost.

Aquí está mi versión de assert macro, que acepta el mensaje e imprime todo de una manera clara:

#include <iostream>

#ifndef NDEBUG
#   define M_Assert(Expr, Msg) \
    __M_Assert(#Expr, Expr, __FILE__, __LINE__, Msg)
#else
#   define M_Assert(Expr, Msg) ;
#endif

void __M_Assert(const char* expr_str, bool expr, const char* file, int line, const char* msg)
{
    if (!expr)
    {
        std::cerr << "Assert failed:\t" << msg << "\n"
            << "Expected:\t" << expr_str << "\n"
            << "Source:\t\t" << file << ", line " << line << "\n";
        abort();
    }
}

Ahora, puedes usar esto

M_Assert(ptr != nullptr, "MyFunction: requires non-null argument");

Y en caso de fallo recibirá un mensaje como este:

Assert failed: myFunction: requiere argumento no nulo

Esperado: ptr != nullptr

Fuente: C:\MyProject\src.cpp, línea 22

Agradable y limpio, siéntase libre de usarlo en su código=)

Como la respuesta de zneak enrolla un poco el código, un mejor enfoque es simplemente comentar el texto de la cadena del que estás hablando. IE.:

assert(a == b); // A must be equal to B

Dado que el lector del error assert buscará el archivo y la línea de todos modos desde el mensaje de error, verá la explicación completa aquí.

Porque, al final del día, esto:

assert(number_of_frames != 0); // Has frames to update

Lee mejor que esto:

assert(number_of_frames != 0 && "Has frames to update");

En términos de análisis humano de código ie. legibilidad. Tampoco es un truco de lenguaje.

Assert es una combinación de macro/función. usted puede definir su propia macro/función, utilizando __FILE__, __BASE_FILE__, __LINE__ etc, con su propia función que toma un mensaje personalizado

¿Por qué nadie mencionó la solución más limpia?

bool AMustBeEqualToB = (a == b);
assert(AMustBeEqualToB);

Para vc, agregue el siguiente código en assert.h,

#define assert2(_Expression, _Msg) (void)( (!!(_Expression)) || (_wassert(_CRT_WIDE(#_Msg), _CRT_WIDE(__FILE__), __LINE__), 0) )