исключения из boost :: iostreams :: copy () - PullRequest
1 голос
/ 02 июля 2010

В приведенном ниже коде у меня есть испорченный файл "hello.bz2", в котором за пределами EOF имеются случайные символы.

Есть ли способ сделать вызов boost :: iostreams :: copy () для throw?

#include <fstream>
#include <iostream>
#include <boost/iostreams/filtering_streambuf.hpp>
#include <boost/iostreams/copy.hpp>
#include <boost/iostreams/filter/bzip2.hpp>

int main() 
{
    using namespace std;
    using namespace boost::iostreams;

    ifstream file("hello.bz2", ios_base::in | ios_base::binary);
    filtering_streambuf<input> in;
    in.push(bzip2_decompressor());
    in.push(file);
    boost::iostreams::copy(in, cout);
}

EDIT: Пожалуйста, игнорируйте линию, которая до сих пор привлекает наибольшее внимание; EOF. Пожалуйста, примите во внимание работу с поврежденным файлом bzip2. Я использовал «EOF», предлагая ошибку, которую я получил при запуске bzcat для файла

bzcat hello.bz2
hello world

bzcat: hello.bz2: trailing garbage after EOF ignored

Ответы [ 2 ]

2 голосов
/ 03 июля 2010

Research

std :: ios_base :: fault - это «базовый класс для типов всех объектов, выдаваемых в качестве исключений функциями из библиотеки Iostreams, для сообщения об обнаруженных ошибкахво время операций потокового буфера. "

Просмотр в буст-документах:

class bzip2_error : public std::ios_base::failure {
public:
    bzip2_error(int error);
    int error() const;
};

bzip2_error - это конкретное исключение, которое выдается при использовании фильтра bzip2, который наследуется от std :: ios_base :: fail .Как вы можете видеть, он создается путем передачи целого числа, представляющего код ошибки.Он также имеет метод error () , который возвращает код ошибки, с которым он был построен.
Список кодов ошибок bzip2 в списке документов выглядит следующим образом:

  • data_error - указывает, что сжатый поток данных поврежден.Равно BZ_DATA_ERROR.
  • data_error_magic - Указывает, что сжатый поток данных не начинается с «магической» последовательности «B» «Z» «h».Равно BZ_DATA_ERROR_MAGIC.
  • config_error - Указывает, что libbzip2 был неправильно настроен для текущей платформы.Равно BZ_CONFIG_ERROR.

Код

РЕДАКТИРОВАТЬ Я также хочу уточнить, что boost :: iostreams :: copy () не будет тем, который выдает исключениездесь, но фильтр bzip2.Только iostream или фильтры будут генерировать исключения, просто скопируйте , используя iostream / фильтр, что может привести к тому, что iostream / фильтр сгенерирует исключение.

** EDIT 2 ** Похоже, проблемас bzip2_decompressor_impl, как вы и ожидали.Я повторил бесконечный цикл вращения, когда файл bz2 пуст.Мне потребовалось немного времени, чтобы понять, как создать boost и связать с библиотеками bzip2, zlib и iostreams, чтобы посмотреть, смогу ли я воспроизвести ваши результаты.

g++ test.cpp -lz -lbz2 boostinstall/boost/bin.v2/libs/iostreams/build/darwin-4.2.1/release/link-static/threading-multi/libboost_iostreams.a -Lboostinstall/boost/bin.v2/libs/ -Iboost/include/boost-1_42 -g

test.cpp:

#include <fstream>
#include <iostream>
#include <boost/iostreams/filtering_streambuf.hpp>
#include <boost/iostreams/copy.hpp>
#include <boost/iostreams/filter/bzip2.hpp>

int main()
{
    using namespace std;
    using namespace boost::iostreams;

    try {
        ifstream file("hello.bz2", ios_base::in | ios_base::binary);
        filtering_streambuf<input> in;
        in.push(bzip2_decompressor());
        in.push(file);
        boost::iostreams::copy(in, cout);
    }
    catch(const bzip2_error& exception) {
        int error = exception.error();

        if(error == boost::iostreams::bzip2::data_error) {
            // compressed data stream is corrupted
            cout << "compressed data stream is corrupted";
        }
        else if(error == boost::iostreams::bzip2::data_error_magic)
        {
            // compressed data stream does not begin with the 'magic' sequence 'B' 'Z' 'h'
            cout << "compressed data stream does not begin with the 'magic' sequence 'B' 'Z' 'h'";
        }
        else if(boost::iostreams::bzip2::config_error) {
            // libbzip2 has been improperly configured for the current platform
            cout << "libbzip2 has been improperly configured for the current platform";
        }
    }
}

отладка:

gdb a.out
(gdb) b bzip2.hpp:344

Существует цикл, который управляет распаковкой bzip2 в симметричном .hpp: 109:

        while (true)
        {
            // Invoke filter if there are unconsumed characters in buffer or if
            // filter must be flushed.
            bool flush = status == f_eof;
            if (buf.ptr() != buf.eptr() || flush) {
                const char_type* next = buf.ptr();
                bool done =
                    !filter().filter(next, buf.eptr(), next_s, end_s, flush);
                buf.ptr() = buf.data() + (next - buf.data());
                if (done)
                    return detail::check_eof(
                               static_cast<std::streamsize>(next_s - s)
                           );
            }

            // If no more characters are available without blocking, or
            // if read request has been satisfied, return.
            if ( (status == f_would_block && buf.ptr() == buf.eptr()) ||
                 next_s == end_s )
            {
                return static_cast<std::streamsize>(next_s - s);
            }

            // Fill buffer.
            if (status == f_good)
                status = fill(src);
        }

Метод фильтра bzip2_decompressor_impl bzip2.hpp: 344 вызывается наmmetric.hpp: 117:

template<typename Alloc>
bool bzip2_decompressor_impl<Alloc>::filter
    ( const char*& src_begin, const char* src_end,
      char*& dest_begin, char* dest_end, bool /* flush */ )
{
    if (!ready())
        init();
    if (eof_)
        return false;
    before(src_begin, src_end, dest_begin, dest_end);
    int result = decompress();
    after(src_begin, dest_begin);
    bzip2_error::check BOOST_PREVENT_MACRO_SUBSTITUTION(result);
    return !(eof_ = result == bzip2::stream_end);
}

Я думаю, что проблема проста, флаг eof_ bzip2_decompressor_impl никогда не устанавливается.Если это не произойдет каким-то волшебным способом, который я не понимаю, он принадлежит классу bzip2_decompressor_impl, и ему всегда присваивается значение false.Поэтому, когда мы делаем это:

cat /dev/null > hello.bz2

Мы получаем вращающийся цикл, который никогда не заканчивается, мы не разрываемся при нажатии EOF.Это, безусловно, ошибка, потому что другие программы (например, vim) не будут иметь проблем с открытием текстового файла, созданного подобным образом.Однако я могу заставить фильтр работать, когда файл bz2 «поврежден»:

echo "other corrupt" > hello.bz2
./a.out
compressed data stream does not begin with the 'magic' sequence 'B' 'Z' 'h'

Иногда вам нужно взять открытый исходный код с частичкой соли.Скорее всего, ваши bz2 будут испорчены и правильно выброшены.Однако случай / dev / null - серьезная ошибка.Мы должны отправить его в Boost Dev, чтобы они могли это исправить.

0 голосов
/ 02 июля 2010

Откуда у вас случайные символы за концом файла?

Если вы имеете в виду, что файл содержит данные для мусора, как алгоритм декомпрессии сможет определить, являются ли данные мусором, чтобы принять решение о throw?

...