Как я могу утверждать () без использования abort ()?
https://stackoverflow.com/questions/37473
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
RussianВопрос
Если я использую assert () и утверждение не выполняется, тогда assert () вызовет abort () , что приведет к внезапному завершению работы программы. Я не могу позволить себе это в моем производственном коде. Есть ли способ утверждать во время выполнения, но иметь возможность отлавливать ошибочные утверждения, поэтому у меня есть возможность обработать их изящно?
Решение
Да, на самом деле есть. Вам нужно будет написать собственную функцию assert самостоятельно, так как assert () в C ++ - это в точности assert () в C, с abort () " ; функция & Quot; в комплекте. К счастью, это удивительно просто.
Assert.hh
template <typename X, typename A>
inline void Assert(A assertion)
{
if( !assertion ) throw X();
}
Вышеприведенная функция выдает исключение, если предикат не выполняется. Тогда у вас будет шанс поймать исключение. Если вы не поймаете исключение, будет вызвано terminate () , что завершит программу аналогично abort () .
Вы можете спросить насчет оптимизации утверждения, когда мы создаем для производства. В этом случае вы можете определить константы, которые будут означать, что вы создаете для производства, а затем ссылаться на константу, когда вы Assert () .
debug.hh
#ifdef NDEBUG
const bool CHECK_WRONG = false;
#else
const bool CHECK_WRONG = true;
#endif
main.cc
#include<iostream>
struct Wrong { };
int main()
{
try {
Assert<Wrong>(!CHECK_WRONG || 2 + 2 == 5);
std::cout << "I can go to sleep now.\n";
}
catch( Wrong e ) {
std::cerr << "Someone is wrong on the internet!\n";
}
return 0;
}
Если CHECK_WRONG является константой, то вызов Assert () будет скомпилирован в производственном процессе, даже если утверждение не является константным выражением. Есть небольшой недостаток в том, что, ссылаясь на CHECK_WRONG , мы набираем немного больше. Но взамен мы получаем преимущество в том, что мы можем классифицировать различные группы утверждений и включать и отключать каждое из них по своему усмотрению. Так, например, мы можем определить группу утверждений, которые мы хотим включить даже в производственном коде, а затем определить группу утверждений, которые мы хотим видеть только в сборках разработки.
Функция Assert () эквивалентна вводу
if( !assertion ) throw X();
но это ясно указывает на намерение программиста: сделать утверждение. Утверждения также легче найти с помощью этого подхода, как и обычные assert () s.
Для получения более подробной информации об этой технике см. Bjarne Stroustrup «Язык программирования C ++ 3e», раздел 24.3.7.2.
Другие советы
> Функции отчетов об ошибках в glib используют метод продолжения после подтверждения. glib - это базовая библиотека независимости платформ, которую использует Gnome (через GTK). Вот макрос, который проверяет предусловие и печатает трассировку стека в случае сбоя предусловия.
#define RETURN_IF_FAIL(expr) do { \
if (!(expr)) \
{ \
fprintf(stderr, \
"file %s: line %d (%s): precondition `%s' failed.", \
__FILE__, \
__LINE__, \
__PRETTY_FUNCTION__, \
#expr); \
print_stack_trace(2); \
return; \
}; } while(0)
#define RETURN_VAL_IF_FAIL(expr, val) do { \
if (!(expr)) \
{ \
fprintf(stderr, \
"file %s: line %d (%s): precondition `%s' failed.", \
__FILE__, \
__LINE__, \
__PRETTY_FUNCTION__, \
#expr); \
print_stack_trace(2); \
return val; \
}; } while(0)
Вот функция, которая печатает трассировку стека, написанная для среды, которая использует набор инструментов gnu (gcc):
void print_stack_trace(int fd)
{
void *array[256];
size_t size;
size = backtrace (array, 256);
backtrace_symbols_fd(array, size, fd);
}
Вот как бы вы использовали макросы:
char *doSomething(char *ptr)
{
RETURN_VAL_IF_FAIL(ptr != NULL, NULL); // same as assert(ptr != NULL), but returns NULL if it fails.
if( ptr != NULL ) // Necessary if you want to define the macro only for debug builds
{
...
}
return ptr;
}
void doSomethingElse(char *ptr)
{
RETURN_IF_FAIL(ptr != NULL);
}
Утверждения в C / C ++ выполняются только в отладочных сборках. Так что это не произойдет во время выполнения. В общем, утверждения должны помечать вещи, которые в случае их возникновения указывают на ошибку, и, как правило, отображать предположения в вашем коде и т. Д.
Если вы хотите иметь код, который проверяет ошибки во время выполнения (в выпуске), вам, вероятно, следует использовать исключения, а не утверждения, поскольку они предназначены именно для этого. Ваш ответ в основном заключает исключение в синтаксис assert. Хотя это сработает, в этом нет особого преимущества, которое я могу увидеть, если просто выбросить исключение.
Вот что у меня есть в " assert.h " (Mac OS 10.4):
#define assert(e) ((void) ((e) ? 0 : __assert (#e, __FILE__, __LINE__)))
#define __assert(e, file, line) ((void)printf ("%s:%u: failed assertion `%s'\n", file, line, e), abort(), 0)
Исходя из этого, замените вызов abort () на throw (исключение). И вместо printf вы можете отформатировать строку в сообщение об ошибке исключения. В итоге вы получите что-то вроде этого:
#define assert(e) ((void) ((e) ? 0 : my_assert (#e, __FILE__, __LINE__)))
#define my_assert( e, file, line ) ( throw std::runtime_error(\
std::string(file:)+boost::lexical_cast<std::string>(line)+": failed assertion "+e))
Я не пытался его скомпилировать, но вы поняли смысл.
Примечание. Вам нужно убедиться, что " исключение " заголовок всегда включен, как и буст (если вы решите использовать его для форматирования сообщения об ошибке). Но вы также можете сделать " my_assert " функция и только объявить ее прототип. Что-то вроде:
void my_assert( const char* e, const char* file, int line);
И реализуйте это где-нибудь, где вы можете свободно включать все заголовки, которые вам нужны.
Оберните его в #ifdef DEBUG, если вам это нужно, или нет, если вы всегда хотите запускать эти проверки.
Если вы хотите добавить символьную строку с информацией об утверждении: http://xll8.codeplex.com/SourceControl/latest#xll/ensure.h
_set_error_mode(_OUT_TO_MSGBOX);
Поверьте мне, эта функция может помочь вам.
