Добавить собственные сообщения в assert?

Хакер, который я видел, - это использование оператора &&. Поскольку указатель "истинен", если он не равен нулю, вы можете сделать следующее, не изменяя условия:

assert(a == b && "A is not equal to B");

Поскольку assert показывает невыполненное условие, оно также отобразит ваше сообщение. Если этого недостаточно, вы можете написать свою собственную myAssert функцию или макрос, который будет отображать все, что вы хотите.

Другой вариант - поменять местами операнды и использовать оператор запятой. Вам нужны дополнительные круглые скобки, чтобы запятая не рассматривалась как разделитель между аргументами:

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

(это было скопировано из приведенных выше комментариев для лучшей наглядности)

Вот моя версия макроса assert, который принимает сообщение и распечатывает все в понятной форме:

#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();
    }
}

Теперь вы можете использовать это

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

А в случае сбоя вы получите такое сообщение:

Ошибка утверждения: MyFunction: требуется ненулевой аргумент

Ожидается: ptr! = Nullptr

Источник: C: \ MyProject \ src.cpp, строка 22

Красиво и чисто, не стесняйтесь использовать это в своем коде =)

BOOST_ASSERT_MSG(expre, msg)

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

Вы можете использовать это напрямую или скопировать код Boost. Также обратите внимание, что утверждение Boost - это только заголовок, поэтому вы можете просто взять этот единственный файл, если не хотите устанавливать все Boost.

Поскольку ответ zneak несколько запутывает код, лучший подход - просто прокомментировать строковый текст, о котором вы говорите. т.е.:

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

Поскольку читатель ошибки assert все равно будет искать файл и строку из сообщения об ошибке, они увидят здесь полное объяснение.

Потому что, в конце концов, это:

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

читается лучше, чем это:

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

с точки зрения человеческого анализа кода, т.е. читаемость. Также не языковой взлом.

assert - это комбинация макроса / функции. вы можете определить свой собственный макрос / функцию, используя __FILE__, __BASE_FILE__, __LINE__ и т. д., с вашей собственной функцией, которая принимает настраиваемое сообщение

Если утверждение выполняется внутри класса, альтернативным подходом является вызов функции статического предиката с самоописывающимся именем. Если утверждение не выполняется, сообщение уже будет содержать красивое и самоописывающее имя предиката.

E.g.:

static bool arguments_must_be_ordered(int a, int b) {return a <= b;}

void foo(int a, int b)
{
    assert(arguments_must_be_ordered(a, b));
    // ...
}

Вы даже можете сделать эту функцию предиката общедоступной, чтобы пользователь класса мог сам проверить предварительное условие.

Даже если assert не отключен для сборок выпуска, компилятор, скорее всего, встроит предикат, если он довольно тривиален.

Тот же подход можно использовать для сложных if условий, требующих комментария. Вместо комментария просто вызовите функцию предиката с самоописанием.

Вы также можете просто написать свою собственную функцию утверждения. Очень простой пример:

bool print_if_false(const bool assertion, const char* msg) {
    if(!assertion) {
        // endl to flush
        std::cout << msg << std::endl;
    }
    return assertion;
}

int main()
{
    int i = 0;
    int j = 1;
    assert(print_if_false(i == j, "i and j should be equal"));
    return 0;
}

поиграйте с кодом.

Утверждение читается как Assertion print_if_false(i == j, "i and j should be equal").

Для vc добавьте следующий код в assert.h,

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