| Цитата(Dims @ 29.11.2007, 13:08) |
| Допустим, я читаю некоторый файл. Файл состоит из строк, причём, каждая строка может быть текстовым представлением одного из нескольких типов. |
Это автоматически означает, что прямое чтение из файла в переменные этих типов не пройдет - неизвестно куда надо читать. Т.е. надо предварительно считать данные, определить их тип, и только потом стримить в соотвествующую переменную.
| Цитата | ||
Один из типов -- это CDataPoint. Его текстовое представление являет собой перечень чисел через запятую. Я не могу написать для него тупой оператор
потому, что я не знаю, сколько элементов будет в строке (число чисел разное). Ладно, здесь я могу выкрутиться. Я могу считывать элементы поштучно в какой-то массив, анализировать не прочитан ли конец строки и, когда прочитан, зная число элементов, перекладывать их по членам класса. Некрасиво, но работать будет. |
Есть 2 класса данных: лексемы и грамматики. Лексема может быть описанна регулярным выражением, а для считывания такой лексемы достаточно иметь 1 lookahead символ, его потом можно вернуть в поток. В подавляющем большинстве случаев регулярное выражение, описывающее лексему, достаточно простое и ее чтение из потока кодируется элементарно (пример - целое число)
С грамматиками сложнее. Они описываются не регулярными выражениями, а конечными автоматами со стековой памятью, и в качестве входных элементов у них выступают лексемы. В принципе, для чтения грамматики также достаточно 1 lookahead символа (только на это раз это будет лексема), а чтение из потока по такой грамматике сложнее, чем чтение лексем. Для такого чтения нужно применять либо явный автомат, либо его воплощение в виде набора рекурсивных процедур (метод рекурсивного спуска)
| Цитата |
Однако, ситуация осложняется тем, что в строке может содержаться вообще что-то другое. Например, неправильно составленный CDataPoint или комментарий. Комментарий отличается тем, что в первой позиции находится символ комментария. Ладно, тут можно прочитать один символ, проверить его и вернуть назад в поток. А как быть со случаем, когда встретится что-то другое? Мне нужно, чтобы программа не прерывалась, а чтобы неудачный кусок потока просто был бы обработан иначе. Как правильно поступить? |
Классическая грамматика. Тебе нужен парсер на ВСЮ грамматику целиком.
| Цитата |
Единственное разумное решение, которое мне видится, это читать файл в виде текстовых строк и потом их разбирать. |
Если твоя грамматика допускает построчный разбор - то тебе очень сильно повезло, и надо именно так и делать.
| Цитата |
Но это получается, что система istream-ов не используется. Можно ли как-то ей воспользоваться тут? |
Можно, читай из istream'а в строку и разбирай
| Цитата |
Например, можно ли поставить в потоке какую-то закладку, а потом, при неудаче, откатить поток к этой закладке? |
Можно, tellg/seekg - но многократное позиционирование потока будет хуже, чем предварительное чтение в строку.
