Re: Как бросить const char * exception? - C/C++

При возникновении нештатной ситуации хочу сформировать строку с описанием ошибки и передать ее как аргумент в исключение. Как правильно это сделать?

void foo()
{
   char exMsg[100];   

   // ... 
   sprintf( exMsg, "error: %s", err_descr );
   throw exMsg;
}

Вопросы.
1. Mожно ли так делать (передавать указатель на локальный буфер)?
2. Не нравится необходимость иметь массив на стеке, тем более заранее неизвестен размер. Как сделать кошерно?

Здравствуйте, Аноним, Вы писали:

А>Как сделать кошерно?

char exMsg[100];   
// ... 
sprintf( exMsg, "error: %s", err_descr );
throw std::exception(exMsg);

Здравствуйте, uzhas, Вы писали:

U>Здравствуйте, Аноним, Вы писали:

А>>Как сделать кошерно?

U>

U>char exMsg[100];   
U>// ... 
U>sprintf( exMsg, "error: %s", err_descr );
U>throw std::exception(exMsg);
U>

А разве объявленный автоматический char exMsg[100] не перестанет существовать после разматывания стека в ходе проброса исключения? Конечно, стек будет только разматываться, в него уже ничего не будет записано и лежащая в нём строка останется скорее всего невредимой, но выгдядит это по-хакерски.

Здравствуйте, uzhas, Вы писали:

U>Здравствуйте, Аноним, Вы писали:

А>>Как сделать кошерно?

U>

U>char exMsg[100];   
U>// ... 
U>sprintf( exMsg, "error: %s", err_descr );
U>throw std::exception(exMsg);
U>

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

Поэтому тут выход только один хранит строку в объекте исключения, например использую std::runtime_error.

Здравствуйте, pkl, Вы писали:

char exMsg[100];   
// ... 
sprintf( exMsg, "error: %s", err_descr );
throw std::exception(exMsg);

pkl>А разве объявленный автоматический char exMsg[100] не перестанет существовать после разматывания стека

Перестанет. Но до того, как это произойдет, строка будет скопирована в экземпляр std::exception.
Поэтому такой код в этом плане полностью безопасен.

Здравствуйте, Аноним, Вы писали:

А>При возникновении нештатной ситуации хочу сформировать строку с описанием ошибки и передать ее как аргумент в исключение. Как правильно это сделать?

А>

А>void foo()
А>{
А>   char exMsg[100];   

А>   // ... 
А>   sprintf( exMsg, "error: %s", err_descr );
А>   throw exMsg;
А>}
А>

А>Вопросы.
А>1. Mожно ли так делать (передавать указатель на локальный буфер)?
А>2. Не нравится необходимость иметь массив на стеке, тем более заранее неизвестен размер. Как сделать кошерно?

0. В отличие от других языков, С++ позволят бросаться любым типом исключений, но практичнее использовать традиционный подход — бросать исключения, унаследованные из иерархии std::exception.

1. Как уже ответили, бросать в исключении указатель на локальный буфер нельзя. Общее правило таково, что из функции не надо возвращать каким-либо образом указатели на локальные переменные.

2. Если использовать массив фиксированного размера и sprintf("%s"), то рано или поздно получишь переполнение буфера (повезет, если рано и получишь ты, а не взломщик сервера). Для форматирования использовать std::stringstream, boost::format и т.п. В простейшем случае может хватить std::string:

void foo()
{
   if ( some_failure )
   {
       std::string err_msg = std::string("error: ") + err_descr;
       throw std::runtime_error(err_msg); // или еще какой-нибудь потомок std::exception
   }
}

Здравствуйте, uzhas, Вы писали:

U>Здравствуйте, Аноним, Вы писали:

А>>Как сделать кошерно?

U>

U>char exMsg[100];   
U>// ... 
U>sprintf( exMsg, "error: %s", err_descr );
U>throw std::exception(exMsg);
U>

так вроде безопаснее... хотя если не хватит памяти...

U>

U>throw ( boost::format( "error: %s" ) % err_descr ) .str().c_str();
U>

Здравствуйте, okman, Вы писали:

u>>throw std::exception(exMsg);
O>Перестанет. Но до того, как это произойдет, строка будет скопирована в экземпляр std::exception.
O>Поэтому такой код в этом плане полностью безопасен.

MSVC — не единственный компилятор

C++03, 18.6.1
namespace std {
    class exception {
    public:
        exception() throw();
        exception(const exception&) throw();
        exception& operator=(const exception&) throw();
        virtual ~exception() throw();
        virtual const char* what() const throw();
    };
}

Здравствуйте, okman, Вы писали:

O>Здравствуйте, pkl, Вы писали:

O>

O>char exMsg[100];   
O>// ... 
O>sprintf( exMsg, "error: %s", err_descr );
O>throw std::exception(exMsg);
O>

pkl>>А разве объявленный автоматический char exMsg[100] не перестанет существовать после разматывания стека

O>Перестанет. Но до того, как это произойдет, строка будет скопирована в экземпляр std::exception.
O>Поэтому такой код в этом плане полностью безопасен.

Вообще-то у std::exception нет конструктора, принимающего char* или std::string.

Код с использованием sprintf("%s") не может считаться безопасным.

Здравствуйте, Evgeny.Panasyuk, Вы писали:

EP>MSVC — не единственный компилятор

Ок, заменим std::exception на std::runtime_error.

Здравствуйте, PM, Вы писали:

PM>Код с использованием sprintf("%s") не может считаться безопасным.

pkl>>А разве объявленный автоматический char exMsg[100] не перестанет существовать после разматывания стека

O>Перестанет. Но до того, как это произойдет, строка будет скопирована в экземпляр std::exception.
O>Поэтому такой код в этом плане полностью безопасен.

Здравствуйте, Evgeny.Panasyuk, Вы писали:

EP>MSVC — не единственный компилятор
студия схавала мой мозг

А>2. Не нравится необходимость иметь массив на стеке, тем более заранее неизвестен размер. Как сделать кошерно?

Если без помощи асфальтоукладочного катка, то где-то так:

#include <stdarg.h>
#include <stdio.h>
#include <vector>
#include <string>
#include <sstream>
#include <iomanip>

std::string sformat(char *fmt, ...) {
    va_list va;
    va_start(va,fmt);
    std::vector<char> buf(_vscprintf(fmt,va)+1);
    vsprintf(&buf[0],fmt,va);
    va_end(va);    
    return std::string(&buf[0]);
}

int fa() {
    throw std::runtime_error( sformat("fa adderss %p",fa) );
}

int fb() {
    throw sformat("fb adderss %p",fb);
}

int fc() {
    std::stringstream ss; 
    ss << "fc adderss " << std::hex << fc;
    throw /*std::runtime_error(*/ ss.str() /*)*/;
}

int main()
{
    try { 
        fc();
    }catch(std::string &e) { 
        printf("error:%s",e.c_str());
    }catch(std::exception &e) { 
        printf("error:%s",e.what());
    } 
}

Выбирай что больше нравится.

Здравствуйте, saf_e, Вы писали:

_>Поэтому тут выход только один хранит строку в объекте исключения, например использую std::runtime_error.

Ещё можно в статический std::string, например, сложить...

Здравствуйте, jyuyjiyuijyu, Вы писали:

U>>

U>>throw ( boost::format( "error: %s" ) % err_descr ) .str().c_str();
U>>

Временный объект std::string, c_str() у него, потом разрушение std::string — бамс!, в catch прилетает невалидный пойнтер.
Знал бы ты сколько такой херни мне пришлось видеть и исправлять. Не делайте так. Пожалуйста.

Здравствуйте, Erop, Вы писали:

E>Здравствуйте, saf_e, Вы писали:

_>>Поэтому тут выход только один хранит строку в объекте исключения, например использую std::runtime_error.

E>Ещё можно в статический std::string, например, сложить...

Ну статический не подойдет, а вот per-thread уже вполне

Здравствуйте, Alexéy Sudachén, Вы писали:

AS>


AS>std::string sformat(char *fmt, ...) {
AS>    va_list va;
AS>    va_start(va,fmt);
AS>    std::vector<char> buf(_vscprintf(fmt,va)+1);
AS>    vsprintf(&buf[0],fmt,va);
AS>    va_end(va);    
AS>    return std::string(&buf[0]);
AS>}

AS>

А зачем этот изврат с форматированием?
Взять boost::format или stringstream. Исключения кидаются редко, экономить на форматировании смысла нет

E>А зачем этот изврат с форматированием?
E>Взять boost::format или stringstream. Исключения кидаются редко, экономить на форматировании смысла нет

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

Здравствуйте, Alexéy Sudachén, Вы писали:

E>>А зачем этот изврат с форматированием?
E>>Взять boost::format или stringstream. Исключения кидаются редко, экономить на форматировании смысла нет

AS>stringstream в примере есть, но он патологически неудобен, а что до сисек ... не все знаете ли любят тяжёлые наркотики, некоторые предпочитают лёгкие )))

что такое сиськи? Новое название буста?

Просто ошибешься ты в форматной строке или передашь в твою функцию не POD — будет не здорово...

stringstream кстати для исключений довольно удобен, ИМХО. Неудобен он, когда нужно что-то форматировать (манипуляторы — ужас). А когда надо просто загнать какую-то инфу в строку и на форматирование плевать (эксепшены, логирование) — поудобнее принтфа. А если использовать свой stringstream, отвязанный от локали — еще и быстрее

AS>>stringstream в примере есть, но он патологически неудобен, а что до сисек ... не все знаете ли любят тяжёлые наркотики, некоторые предпочитают лёгкие )))
E>что такое сиськи? Новое название буста?

Очень даже старое )))

E>Просто ошибешься ты в форматной строке или передашь в твою функцию не POD — будет не здорово...

То мне об этом скажет компилятор ))) И в весьма читабельном виде.

#include <stdio.h>

struct A {
   char S[10];
};

struct A a = { "hello" };

int main() {
    printf("%s world\n",a);
}

cl: warning C6284: Object passed as parameter '2' when string is required in call to 'printf'
gcc: warning: format '%s' expects argument of type 'char *', but argument 2 has type 'struct A'

а чего там скажет форматтер сисек после чайной паузы на время компиляции?

#include <boost/format.hpp>
using namespace std;

struct A { 
   char a[10]; 
};

A a = { "hello" };

int main() {
   cout << boost::format("%s world") % a << endl;
}

Скрытый текст

boost/format/feed_args.hpp(100) : error C2679: binary '<<' : no operator found which takes a right-hand operand of type 'const A' (or there is no acceptable conversion)
        include\ostream(679): could be 'std::basic_ostream<_Elem,_Traits> &std::operator <<<char,std::char_traits<char>>(std::basic_ostream<_Elem,_Traits> &,const char *)' [found using argument-dependent lookup]
        with
        [
            _Elem=char,
            _Traits=std::char_traits<char>
        ]
        include\ostream(726): or       'std::basic_ostream<_Elem,_Traits> &std::operator <<<char,std::char_traits<char>>(std::basic_ostream<_Elem,_Traits> &,char)' [found using argument-dependent lookup]
        with
        [
            _Elem=char,
            _Traits=std::char_traits<char>
        ]
        include\ostream(764): or       'std::basic_ostream<_Elem,_Traits> &std::operator <<<std::char_traits<char>>(std::basic_ostream<_Elem,_Traits> &,const char *)' [found using argument-dependent lookup]
        with
        [
            _Elem=char,
            _Traits=std::char_traits<char>
        ]
        include\ostream(811): or       'std::basic_ostream<_Elem,_Traits> &std::operator <<<std::char_traits<char>>(std::basic_ostream<_Elem,_Traits> &,char)' [found using argument-dependent lookup]
        with
        [
            _Elem=char,
            _Traits=std::char_traits<char>
        ]
        include\ostream(937): or       'std::basic_ostream<_Elem,_Traits> &std::operator <<<std::char_traits<char>>(std::basic_ostream<_Elem,_Traits> &,const signed char *)' [found using argument-dependent lookup]
        with
        [
            _Elem=char,
            _Traits=std::char_traits<char>
        ]
        include\ostream(944): or       'std::basic_ostream<_Elem,_Traits> &std::operator <<<std::char_traits<char>>(std::basic_ostream<_Elem,_Traits> &,signed char)' [found using argument-dependent lookup]
        with
        [
            _Elem=char,
            _Traits=std::char_traits<char>
        ]
        include\ostream(951): or       'std::basic_ostream<_Elem,_Traits> &std::operator <<<std::char_traits<char>>(std::basic_ostream<_Elem,_Traits> &,const unsigned char *)' [found using argument-dependent lookup]
        with
        [
            _Elem=char,
            _Traits=std::char_traits<char>
        ]
        include\ostream(958): or       'std::basic_ostream<_Elem,_Traits> &std::operator <<<std::char_traits<char>>(std::basic_ostream<_Elem,_Traits> &,unsigned char)' [found using argument-dependent lookup]
        with
        [
            _Elem=char,
            _Traits=std::char_traits<char>
        ]
        include\ostream(968): or       'std::basic_ostream<_Elem,_Traits> &std::operator <<<char,std::char_traits<char>,T>(std::basic_ostream<_Elem,_Traits> &&,_Ty)' [found using argument-dependent lookup]
        with
        [
            _Elem=char,
            _Traits=std::char_traits<char>,
            T=A,
            _Ty=A
        ]
        include\ostream(1085): or       'std::basic_ostream<_Elem,_Traits> &std::operator <<<char,std::char_traits<char>>(std::basic_ostream<_Elem,_Traits> &,const std::error_code &)' [found using argument-dependent lookup]
        with
        [
            _Elem=char,
            _Traits=std::char_traits<char>
        ]
        boost/format/group.hpp(45): or       'std::basic_ostream<_Elem,_Traits> &boost::io::detail::operator <<<char,std::char_traits<char>>(std::basic_ostream<_Elem,_Traits> &,const boost::io::detail::group0 &)'
        with
        [
            _Elem=char,
            _Traits=std::char_traits<char>
        ]
        include\ostream(186): or       'std::basic_ostream<_Elem,_Traits> &std::basic_ostream<_Elem,_Traits>::operator <<(std::basic_ostream<_Elem,_Traits> &(__cdecl *)(std::basic_ostream<_Elem,_Traits> &))'
        with
        [
            _Elem=char,
            _Traits=std::char_traits<char>
        ]
        include\ostream(192): or       'std::basic_ostream<_Elem,_Traits> &std::basic_ostream<_Elem,_Traits>::operator <<(std::basic_ios<_Elem,_Traits> &(__cdecl *)(std::basic_ios<_Elem,_Traits> &))'
        with
        [
            _Elem=char,
            _Traits=std::char_traits<char>
        ]
        include\ostream(199): or       'std::basic_ostream<_Elem,_Traits> &std::basic_ostream<_Elem,_Traits>::operator <<(std::ios_base &(__cdecl *)(std::ios_base &))'
        with
        [
            _Elem=char,
            _Traits=std::char_traits<char>
        ]
        include\ostream(206): or       'std::basic_ostream<_Elem,_Traits> &std::basic_ostream<_Elem,_Traits>::operator <<(std::_Bool)'
        with
        [
            _Elem=char,
            _Traits=std::char_traits<char>
        ]
        include\ostream(226): or       'std::basic_ostream<_Elem,_Traits> &std::basic_ostream<_Elem,_Traits>::operator <<(short)'
        with
        [
            _Elem=char,
            _Traits=std::char_traits<char>
        ]
        include\ostream(260): or       'std::basic_ostream<_Elem,_Traits> &std::basic_ostream<_Elem,_Traits>::operator <<(unsigned short)'
        with
        [
            _Elem=char,
            _Traits=std::char_traits<char>
        ]
        include\ostream(280): or       'std::basic_ostream<_Elem,_Traits> &std::basic_ostream<_Elem,_Traits>::operator <<(int)'
        with
        [
            _Elem=char,
            _Traits=std::char_traits<char>
        ]
        include\ostream(305): or       'std::basic_ostream<_Elem,_Traits> &std::basic_ostream<_Elem,_Traits>::operator <<(unsigned int)'
        with
        [
            _Elem=char,
            _Traits=std::char_traits<char>
        ]
        include\ostream(325): or       'std::basic_ostream<_Elem,_Traits> &std::basic_ostream<_Elem,_Traits>::operator <<(long)'
        with
        [
            _Elem=char,
            _Traits=std::char_traits<char>
        ]
        include\ostream(345): or       'std::basic_ostream<_Elem,_Traits> &std::basic_ostream<_Elem,_Traits>::operator <<(unsigned long)'
        with
        [
            _Elem=char,
            _Traits=std::char_traits<char>
        ]
        include\ostream(366): or       'std::basic_ostream<_Elem,_Traits> &std::basic_ostream<_Elem,_Traits>::operator <<(__int64)'
        with
        [
            _Elem=char,
            _Traits=std::char_traits<char>
        ]
        include\ostream(386): or       'std::basic_ostream<_Elem,_Traits> &std::basic_ostream<_Elem,_Traits>::operator <<(unsigned __int64)'
        with
        [
            _Elem=char,
            _Traits=std::char_traits<char>
        ]
        include\ostream(407): or       'std::basic_ostream<_Elem,_Traits> &std::basic_ostream<_Elem,_Traits>::operator <<(float)'
        with
        [
            _Elem=char,
            _Traits=std::char_traits<char>
        ]
        include\ostream(427): or       'std::basic_ostream<_Elem,_Traits> &std::basic_ostream<_Elem,_Traits>::operator <<(double)'
        with
        [
            _Elem=char,
            _Traits=std::char_traits<char>
        ]
        include\ostream(447): or       'std::basic_ostream<_Elem,_Traits> &std::basic_ostream<_Elem,_Traits>::operator <<(long double)'
        with
        [
            _Elem=char,
            _Traits=std::char_traits<char>
        ]
        include\ostream(467): or       'std::basic_ostream<_Elem,_Traits> &std::basic_ostream<_Elem,_Traits>::operator <<(const void *)'
        with
        [
            _Elem=char,
            _Traits=std::char_traits<char>
        ]
        include\ostream(487): or       'std::basic_ostream<_Elem,_Traits> &std::basic_ostream<_Elem,_Traits>::operator <<(std::basic_streambuf<_Elem,_Traits> *)'
        with
        [
            _Elem=char,
            _Traits=std::char_traits<char>
        ]
        while trying to match the argument list '(std::basic_ostream<_Elem,_Traits>, const A)'
        with
        [
            _Elem=char,
            _Traits=std::char_traits<char>
        ]
        boost/format/feed_args.hpp(159) : see reference to function template instantiation 'void boost::io::detail::put_last<char,std::char_traits<char>,T>(std::basic_ostream<_Elem,_Traits> &,const T &)' being compiled
        with
        [
            T=A,
            _Elem=char,
            _Traits=std::char_traits<char>
        ]
        boost/format/feed_args.hpp(254) : see reference to function template instantiation 'void boost::io::detail::put<Ch,Tr,Alloc,T>(T,const boost::io::detail::format_item<Ch,Tr,Alloc> &,std::basic_string<_Elem,_Traits,_Ax> &,boost::io::basic_altstringbuf<Ch,Tr,Alloc> &,boost::io::detail::locale_t *)' being compiled
        with
        [
            Ch=char,
            Tr=std::char_traits<char>,
            Alloc=std::allocator<char>,
            T=const A &,
            _Elem=char,
            _Traits=std::char_traits<char>,
            _Ax=std::allocator<char>
        ]
        boost/format/feed_args.hpp(263) : see reference to function template instantiation 'void boost::io::detail::distribute<Ch,Tr,Alloc,T>(boost::basic_format<Ch> &,T)' being compiled
        with
        [
            Ch=char,
            Tr=std::char_traits<char>,
            Alloc=std::allocator<char>,
            T=const A &
        ]
        boost/format/format_class.hpp(64) : see reference to function template instantiation 'boost::basic_format<Ch> &boost::io::detail::feed<char,Tr,Alloc,const T&>(boost::basic_format<Ch> &,const A)' being compiled
        with
        [
            Ch=char,
            Tr=std::char_traits<char>,
            Alloc=std::allocator<char>,
            T=A
        ]
        3.cpp(9) : see reference to function template instantiation 'boost::basic_format<Ch> &boost::basic_format<Ch>::operator %<A>(const T &)' being compiled
        with
        [
            Ch=char,
            T=A
        ]

Типа такая вот демонстрация KISS в жизни.

	От:	Аноним
	Дата:	13.03.13 09:49
	Оценка:	-1

	От:	uzhas
	Дата:	13.03.13 09:50
	Оценка:	4 (1) +2 -3

	От:	pkl
	Дата:	13.03.13 10:11
	Оценка:	+1

	От:	saf_e
	Дата:	13.03.13 10:47
	Оценка:

От:	okman	https://searchinform.ru/
Дата:	13.03.13 11:03
Оценка:	+2 -3

	От:	Evgeny.Panasyuk
	Дата:	13.03.13 11:29
	Оценка:	+2

	От:	Alexéy Sudachén
	Дата:	13.03.13 12:44
	Оценка:

	От:	Erop
	Дата:	14.03.13 13:03
	Оценка:

	От:	wander
	Дата:	14.03.13 17:19
	Оценка:

	От:	enji
	Дата:	16.03.13 07:18
	Оценка:

	От:	enji
	Дата:	16.03.13 19:03
	Оценка: