resolver, Исключения. Опции Подписка на тему Сообщить другу Версия для печати Скачать тему Подписка на этот форум Режимы отображения Переключить на: Древовидный Переключить на: Стандартный Линейный

[spumer]

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

udp::resolver resolver(io_service_);
udp::resolver::query query(udp::v4(), "bad_host", "33222");
try{
    endpoint_ = new udp::endpoint( *resolver.resolve(query) );
    /*...*/
}
catch(boost::system::system_error &e){
    lastError = resolve_error;
    io_service_.stop();
}
catch(...){
    lastError = unknown_error;
}

[Iron Bug]

скорее всего, у тебя resolver.resolve(query) возвращает пустой итератор, а ты его не проверяешь, да ещё и пытаешься использовать. по вполне понятным причинам программа падает.
попробуй сделать что-то типа

udp::resolver::iterator endpoint_iter = resolver.resolve(query);
udp::resolver::iterator end;
if(endpoint_iter != end)
{
 endpoint = new udp::endpoint(*endpoint_iter);
....
}

Сообщение отредактировал Iron Bug - 13.7.2011, 22:41

[spumer]

скорее всего, у тебя resolver.resolve(query) возвращает пустой итератор, а ты его не проверяешь, да ещё и пытаешься использовать. по вполне понятным причинам программа падает.
попробуй сделать что-то типа

udp::resolver::iterator endpoint_iter = resolver.resolve(query);
udp::resolver::iterator end;
if(endpoint_iter != end)
{
 endpoint = new udp::endpoint(*endpoint_iter);
....
}

К сожалению не помогло, попробовал даже через стандартную фишку записи ошибки:

boost::system::error_code error_code;
udp::resolver::iterator resolv_iter = resolver.resolve(query, error_code);
if( !error_code.value() ){ // 0 is success
/*...*/
}

Результат тот же. Когда идет запись ошибки в переменную, крит. вылета нет, все как при try/catch.
При нормальном хосте все отлично работает

[Iron Bug]

в примерах везде ловится std::exception.
(например, http://www.gamedev.net/blog/950/entry-2249...boostasio)
может, у тебя просто не установлены флаги для отлова эксепшнов? под какую систему собираешь и чем?

Сообщение отредактировал Iron Bug - 13.7.2011, 23:14

[spumer]

в примерах везде ловится std::exception.
(например, http://www.gamedev.net/blog/950/entry-2249...boostasio)
может, у тебя просто не установлены флаги для отлова эксепшнов? под какую систему собираешь и чем?

Windows 7.
VS 2008 Express.

[Iron Bug]

попробуй поставить флаг /EHsc и ловить std::exception, как в ссылке, которую я привела последней. либо /EHa и тогда заработает catch(...). в венде если флаги не стоят, она тупо ничего не делает при стандартных эксепшнах. можно поэкспериментировать с флагами эксепшнов.
прочитать про всё это барахло можно тут, например:
http://msdn.microsoft.com/en-us/library/1d...5(v=vs.80).aspx

Сообщение отредактировал Iron Bug - 14.7.2011, 7:40

[spumer]

Iron Bug, Спасибо. Буду читать материал по ссылкам. Как разберусь, отпишусь либо сюда, либо в новый топик, если этот умрет.

[Litkevich Yuriy]

если этот умрет

а с чего он умрёт?

[spumer]

попробуй поставить флаг /EHsc и ловить std::exception

Не помогло. Т.к. он до этого и стоял.

[Iron Bug]

у меня под линюксом вот такой код

#include <iostream>

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

using namespace boost::asio::ip;

int main()
{
    boost::asio::io_service io_service;
    udp::resolver resolver(io_service);
    udp::resolver::query query(udp::v4(), "bad_host", "33222");
    try
    {
        udp::resolver::iterator endpoint_iter = resolver.resolve(query);
        udp::resolver::iterator end;
        if(endpoint_iter != end)
        {
            udp::endpoint *endpoint = new udp::endpoint( *endpoint_iter );
        }
    }
    catch(boost::system::system_error &e)
    {
        cout << e.what() << endl;
    }
    cout << "connected" << endl;
    return 0;
}

работает нормально. то есть, буст выбрасывает эксепшн типа boost::system::system_error и всё отрабатывает в catch.
линкуется это всё с библиотекой boost_system и обязательно с многопоточностью (в венде это флаг компилера).
ещё можешь проверить, что у тебя не завалялись где-нибудь разные версии библиотек, если они называются одинаково. в венде конфликты библиотек - обычное дело. но в бусте вроде библиотеки содержат версию и это не должно быть проблемой.

Сообщение отредактировал Iron Bug - 17.7.2011, 0:18

[spumer]

у меня под линюксом вот такой код

Отдельно он и у меня работает. Пробовал баловаться с флагами -MD, -MT.
Исключение происходит в конструкторе класса.

Создается объект класса, внутри себя он подключается куда я ему сказал.
[Перед вызовом методов хочу поместить проверку на наличие ошибок в экземпляре класса, метод getLastError() const возвращает мне номер ошибки]
Затем я вызываю его методы и они запрашивают определенную инфу с сервера.
Удаляю объект.

P.S: В качестве граф. оболочки для приложения использую QT4. Все статически линкуется.

[spumer]

Проделал след. опыт: в конце функции, в которой создается экземпляр моего класса, я добавил:

    boost::asio::io_service io_service;
    boost::system::error_code ec;
    udp::resolver resolver(io_service);
    udp::resolver::query query(udp::v4(), "bad_hostname", "27015");
    udp::resolver::iterator resolve_iter = resolver.resolve(query, ec);

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

Однако это не вызвало вылет программы, ошибка записалась и приложение продолжило работу.
Я не могу понять почему все именно так.

[spumer]

Все решилось довольно просто.
Как я понял, проблема возникала из-за использования моего недопиленного костыля:

ADDRESS* get_addr(char *address){
    
    ADDRESS *ptr = new ADDRESS;
    ptr->host = address;
    // Require optimization!
    char *p;
    if( !(p = strrchr(address, ':')) )
        ptr->port = p = 0;
    else{
        ptr->port = p + 1;
        *p = '\0';
    }
    return ptr;
}

Видимо внутри себя он(resolver.resolve) что-то делал такое с этими указателями, что вызывало исключительную ситуацию.
Я посмотрел на конструкторы udp::resolver::query, и обнаружил:

basic_resolver_query(
const protocol_type & protocol,
const std::string & host,
const std::string & service,
resolver_query_base::flags resolve_flags = address_configured);

Внес исправления:

udp::resolver::query query(udp::v4(), 
            boost::lexical_cast<std::string>(host),
            boost::lexical_cast<std::string>( !port ? "27015" : port ) );
        udp::resolver::iterator resolve_iter = resolver.resolve(query, error_code);
        
        if( !(lastError = error_code.value()) ){/*...*/}

А в функции запроса, я сделал соответствующую проверку:

SE_Query *ptr = new SE_Query(addr->host, addr->port, 600);
    if(ptr->getLastError()){
        ui->label_3->setText(QString::fromLocal8Bit("Сервер не ответил"));
        return;
    }

Возник еще вопрос. Если я пытаюсь перед выходом из функции удалить объект ptr - ошибка. Если я пытаюсь использовать boost::scoped_ptr - ошибка.
Не получается освободить ресурсы. У меня конечно есть идея: создать boost::shared_ptr объект, поместить его в класс MainWindow, а в этой функции лишь .. ну вы поняли. Вобщем переложить работу с памятью для класса SE_Query на умный указатель и вынести его за пределы функции.

Ну а если в целом, то все работает. Осталось лишь утечки памяти отловить.

Забыл:

перед выходом из функции удалить объект ptr

Если пытаюсь удалить в блоке if(ptr->getLastError()), в конце самой функции конечно идет удаление этого объекта.

[Iron Bug]

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

[spumer]

Класс - http://paste.org.ru/?fp5vdp
Функция запроса - http://paste.org.ru/?govnp0

[Iron Bug]

а на входе что подаёшь?
host может оказаться нулевым. это не учтено, я не знаю, что выдаст lexical_cast на нулевой указатель. но это мелочи.
в деструкторе SE_Query делается попытка удалить указатели:

delete endpoint_;
    delete socket_;
    delete deadline_;

а они запросто могут быть нулевыми, ибо в конструкторе не все пути их инициализируют.

[spumer]

а они запросто могут быть нулевыми,

Тоже сначала так подумал, сделал все с if'ами, однако крах программы все равно происходил. Именно это меня и смутило.

а на входе что подаёшь?

Эту проблему полностью решил lexical_cast.

[spumer]

UPD:
Реакция венды на delete ptr перед return; .

http://ompldr.org/vOWo3Mg/crashh.png

[Iron Bug]

lexical_cast

по-моему, он там вообще не требуется. стандартный конструктор std::string жрёт char* на входе без проблем. если бы дело было в скорости, было бы ещё понятно, но тут она явно не приоритетна, ибо операции разовые. а lexical_cast как раз имеет свойство кидать эксепшны и в норме его всегда нужно оборачивать в try-catch.

Реакция венды на delete ptr перед return; .

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

Сообщение отредактировал Iron Bug - 18.7.2011, 22:50

[spumer]

дык, оно вообще не информативно

Я в подтверждение моих слов, что даже не критикал эррор.
А lexical_cast использовал, тк он первым на ум пришел. Какие данные не подставлял ему, все корректно было.

[Iron Bug]

Тоже сначала так подумал, сделал все с if'ами,

без них там вообще нельзя. ибо грубая ошибка и потенциальная дыра в программе.

[spumer]

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

[Iron Bug]

да, в деструкторе socket_ тоже нулевой.
в общем, всю программу шерстить и вставлять проверки на NULL. иначе там сплошные дыры.

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

лучше сначала разобраться с работой с указателями и только потом - всё остальное. тут базовые вещи нарушены, самые основы программирования на С, без понимания основ дальше продвигаться смысла нет. разбирать на куски и тестировать, если что-то не понятно. а не форсировать и не забуряться в дебри. потом эти ошибки будет сложнее выковыривать, а они никуда не денутся.