Нарушение прав доступа при чтении

@mytilus · Регистрация: 04.10.2012

Студворк — интернет-сервис помощи студентам

Приветствую!
Есть файл, для которого пишу парсер. Структура файла такова: какое-то количество каталогов, каждый из которых хранит какое-то количество записей.
Каждый каталог содержит такие сведения: имя (unsigned long), суммарный размер записей каталога (unsigned long), флаги (unsigned long[4]), записи. Каждая запись выглядит так: имя (unsigned long), длина данных (unsigned short), данные.
Объявил структуру для каталога и записи:

C++

struct Catalog {
  unsigned long Name, RecordSize, Flags[4];
  void *Records;};
 
struct Record {
  unsigned long Name;
  unsigned short DataSize;
  void *Data;};
 
typedef Catalog *PCatalog;
typedef Record *PRecord;

Так как файл достаточно объемный, парсер читает только инфу о каталогах, а записи парсерятся только при обращении к ним. Класс парсера:

C++

class Parser {
  char *Buffer;
  unsigned long Count;
  public:
    PCatalog *Items;
    Parser(const TCHAR *FileName);
    virtual ~Parser() {if (Count) {delete[] Buffer; delete[] Items;}}
    virtual unsigned long GetCount() const {return Count;}};

Реализация конструктора:

C++

Parser::Parser(const TCHAR *FileName) {
  LARGE_INTEGER fileSize;
  // Открываем файл FileName.
  void *handle = CreateFile(FileName, GENERIC_READ, FILE_SHARE_READ, 0, OPEN_EXISTING, 0, 0);
  if (handle == INVALID_HANDLE_VALUE) throw GetLastError();
  try {
    // Получаем размер файла.
    if (!GetFileSizeEx(handle, &fileSize)) throw GetLastError();
    if (fileSize.HighPart) throw (unsigned long)ERROR_FILE_TOO_LARGE;
    if (fileSize.LowPart) {
      unsigned long size;
      // Заполняем Buffer данными из файла.
      Buffer = new char[fileSize.LowPart];
      if (!readFile(handle, Buffer, fileSize.LowPart, &size, 0)) throw GetLastError();
      if (size != fileSize.LowPart) throw (unsigned long)ERROR_FILE_CORRUPT;
      // Считаем количество каталогов.
      Count = 0;
      for (unsigned long offset = 0; offset < size; offset += *(unsigned long *)&Buffer[offset + 4] + 24) Count++;
      // Заполняем Items указателями на начало каждого каталога в Buffer.
      Items = new PCatalog[Count];
      for (unsigned long index = 0, offset = 0; offset < size; offset += *(unsigned long *)&Buffer[offset + 4] + 24) Items[index++] = (Catalog *)&Buffer[offset];}
    else Count = 0;}
  catch (...) {
    СloseHandle(handle);
    throw;}
  if (!СloseHandle(handle)) throw GetLastError();}

Указатели на каталоги расставляются корректно, могу получить имя любого каталога (Parser->Items[...]->Name).
Теперь класс парсинга записей каталога:

C++

class RecordParser {
  unsigned long Count;
  public:
    PRecord *Items;
    RecordParser(const Catalog *Parent);
    virtual ~RecordParser {if (Count) delete[] Items;}
    virtual unsigned long GetCount() const {return Count;}};

Реализация конструктора:

C++

RecordParser::RecordParser (const Catalog *Parent) {
  const char *data = (char *)Parent->Records;
  const unsigned long size = Parent->RecordSize;
  // Считаем количество записей.
  Count = 0;
  if (size) {
    for (unsigned long offset = 0; offset < size; offset += *(unsigned short *)&data[offset + 4] + 6) Count++;
    // Заполняем Items указателями на начало каждой записи в data.
    Items = new PRecord[Count];
    for (unsigned long index = 0, offset = 0; offset < size; offset += *(unsigned short *)&data[offset + 4] + 6) Items[index++] = (Record *)&data[offset];}}

Собственно, весь код.
Ошибка всплывает во время работы конструктора RecordParser (строка 7). Происходит "нарушение прав доступа при чтении" data[offset + 4] на первом же витке цикла (точнее, по завершении витка, при обновлении значения offset).
Проверял следующее:
- Файл не поврежден, а его структура корректна.
- Структуры объявлены верно.
- data в конструкторе RecordParser действительно ссылается на начало записей каталога. Следовательно, &data[4] ссылается на размер первой записи (unsigned short).
В чем же дело?

Добавлено через 7 часов 21 минуту
Немного продвинулся в решении проблемы. Понял, что строка

C++

1	const char data = (char )Parent->Records;

воспринимается компилятором как

C++

1	const char data = (char )(unsigned long)Parent->Records;

То есть data указывает не туда же, куда и Parent->Records, а на адрес, который можно прочесть в (unsigned long)Parent->Records.
Вообще без идей, отчего так.

@gund · 23.10.2013, 01:30

Ну если в data храниться адрес, тогда достаточно просто разименовать его перед использованием:

C++

(*data)

@mytilus · 23.10.2013, 15:47 **[ТС]**

Нет, в Data хранятся данные. С этой проблемой я уже разобрался. Просто еще раз убедился, что по ночам надо спать, а не работать, и тогда не будут возникать подобные проблемы.

@kychka · 10.11.2013, 02:22

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

@Faragor · 27.03.2016, 16:46

Поддерживаю вопрос выше.

@mytilus · 04.04.2016, 14:55 **[ТС]**

Ошибка была здесь:

C++

1
2
3

struct Catalog {
  unsigned long Name, RecordSize, Flags[4];
  void *Records;};

По задумке, Records должен был указывать на начало записи. На деле же Records был первыми четырьмя байтами записи (на x86), которые воспринимались как указатель, ссылающийся неизвестно куда.

@mytilus 87 / 86 / 27 Регистрация: 04.10.2012 Сообщений: 350
	23.10.2013, 15:47 [ТС]	3
	Нет, в Data хранятся данные. С этой проблемой я уже разобрался. Просто еще раз убедился, что по ночам надо спать, а не работать, и тогда не будут возникать подобные проблемы. 0

@kychka 1 / 1 / 1 Регистрация: 22.10.2013 Сообщений: 42
	10.11.2013, 02:22	4
	не могли бы вы рассказать как справились? у меня такая же ошибка, забрёл сюда из гугла=) 0

@Faragor 0 / 0 / 0 Регистрация: 28.11.2015 Сообщений: 10
	27.03.2016, 16:46	5
	Поддерживаю вопрос выше. 0

	04.04.2016, 14:55

Опции темы