Добавить пользовательские сообщения в assert?

130

Есть ли способ добавить или отредактировать сообщение, созданное assert? Я бы хотел использовать что-то вроде

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

Затем компилятор добавляет строку , время и так далее ...

Является ли это возможным?

c++ assert Killrazor
источник

Вы можете определить макрос вот так .

HelloGoodbye

241

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

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

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

zneak
источник

27

Другой вариант - перевернуть операнды и использовать оператор запятой. Вам нужны дополнительные круглые скобки, чтобы запятая не рассматривалась как разделитель между аргументами:assert(("A must be equal to B", a == b));

Кейт Томпсон,

3

Однако было бы неплохо иметь возможность печатать значения переменных, например:assert(a == b && "A (" << A << ") is not equal to B (" << B << ")");

Фрэнк

7

@Frank printfвозвращает ненулевое значение, если он что-то напечатал, поэтому вы могли бы сделать что-то подобное assert(a == b && printf("a (%i) is not equal to b (%i)", a, b)), хотя в этот момент вам, вероятно, следует написать свою собственную оболочку assert.

zneak 04

1

Плохой код! Я этого не понимаю! Если a == b ложно, выражение and также должно быть ложным, и, следовательно, строка не должна оцениваться.

ragnarius 07

1

@TUIlover, строковые литералы C работают не так; они являются константами времени компиляции, и их использование в этом контексте тривиально оптимизируется. Нет затрат на время выполнения.

zneak 09

46

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

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

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

Андрей Бозантан
источник

3

Это отличный подход, с одной крошечной проблемой, он будет отображать «предупреждение: левый операнд оператора запятой не действует» при компиляции в g ++ с помощью `-Wunused-value

v010dya

1

или с помощью макроса: #ifndef m_assert #define m_assert (expr, msg) assert ((msg, expr)) #endif

Szymon Marczak 03

Использование оболочки макроса позволяет избежать предупреждения gcc:#define m_assert(expr, msg) assert(( (void)(msg), (expr) ))

Jander

25

Вот моя версия макроса 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

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

Евгений Магдалиц
источник

Хороший. Очень полезно

Killrazor

Я немного запутался. Считается ли #Expr строкой для прямой подстановки? В чем разница между #Expr и Expr?

Минь Тран,

@MinhTran Предположим, что ваше условие утверждения - x == y. Затем Expr будет расширяться, if( !(x == y))и здесь проверяется условие, а #Expr расширяется в строковый литерал "x == y", который мы затем помещаем в сообщение об ошибке.

Евгений Магдалиц

К сожалению, это решение вызывает неопределенное поведение из-за использования зарезервированных идентификаторов.

Помните Монику

19

BOOST_ASSERT_MSG(expre, msg)

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

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

Нуль
источник

@Jichao, что вы имеете в виду, говоря о реализации интерфейса assert?

Tarc

8

Поскольку ответ 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");

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

метаморфоза
источник

1

«Поскольку читатель сообщения об ошибке assert все равно будет искать файл и строку в сообщении об ошибке», - только если они прилежны.

Джейсон С.

Только если они хотят исправить ошибку, вы имеете в виду ... какой глупый комментарий

метаморфоза

1

Нет. Чем проще вы сделаете так, чтобы люди увидели проблему, тем больше вероятность, что они примут меры.

Джейсон С.

пожимать плечами Не согласен.

метаморфоза

2

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

Мерлин Морган-Грэм
источник

-6

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

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

Jichao
источник

11

Изменение заголовков вашего компилятора - плохая идея.

Росс Ридж

Добавить пользовательские сообщения в assert?

Ответы: