| Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | c-smile | ||
| Дата: | 26.05.08 20:01 | ||
| Оценка: | 243 (25) ![]() | ||
| По следам плодотворной дискусии про итераторы... Используя идею "coroutines in C" Simon Tatham вот родилось следующее решение для C++. Прежде всего пример генератора:
При вызове оного "оператор" yield выдает следуещее число последовательности. Используется например так: Пока есть следующее число печатаем его:
Вот весь исходник generator.h:
Вот другой пример: сканируем последовательность:
Вот такие вот пироги. |
| Re: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | remark | ||
| Дата: | 26.05.08 22:49 |
| Здравствуйте, c-smile, Вы писали: CS>Используя идею "coroutines in C" Simon Tatham вот родилось следующее решение для C++. Очень занятно. Сам не так давно думал над подобным, но почему-то опрометчиво раньше времени подумал, что в С++ с таким подходом ничего хорошего не выйдет. Тем не менее пока все попытки "сломать" этот код успехом не увенчались. Как минимум выдается варнинг. Пробовал вставлять определение локальной переменной с инициализацией, без инициализации, break. Кстати, если есть цикл и внутри него ветка case и стоит break, это определено, что break будет относиться к циклу, а не к case? Кто-нибудь может это сломать??? Что бы не было даже варнинга на самом высоком уровне предупреждений. Собственно а подумал я, что ничего хорошего не выйдет, т.к. 3 известные мне реализации yield() в С/С++ все страдают серьезными проблемами. Первая — это в Cilk. Но там используется специальный препроцессор, который генерирует код для запоминания/восстановления стековых переменных. Работает соотв. только для С. http://supertech.csail.mit.edu/papers/cilk5.pdf На Figure 3 видно, какой код генерирует препроцессор. Помимо запоминая PC (_line), так же запоминаются все локальные переменные. Вторая — это в библиотеке Сapriccio. Но там они пытаются делать нереальный анализ потребления стека функциями и в итоге делают честную подмену/восстановление стека. http://capriccio.cs.berkeley.edu/pubs/capriccio-sosp-2003.pdf Третья — это в библиотеке Protothreads. Там они честно говорят, что потоки бесстековые, т.е. если хотите локальные переменные — перерассчитывайте их заново после каждого yield(). Реализация, кстати, по-ходу практически один в один с этой. http://www.sics.se/~adam/pt/ |
| Re[2]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | c-smile | ||
| Дата: | 27.05.08 00:51 |
| Здравствуйте, remark, Вы писали: R>Здравствуйте, c-smile, Вы писали: CS>>Используя идею "coroutines in C" Simon Tatham вот родилось следующее решение для C++. R>Очень занятно. Сам не так давно думал над подобным, но почему-то опрометчиво раньше времени подумал, что в С++ с таким подходом ничего хорошего не выйдет. "Imagination is more important than knowledge" (C) Альберт. В том смысле что иногда полезно отвлечься на tiscript какой от голого C++. R>Тем не менее пока все попытки "сломать" этот код успехом не увенчались. Как минимум выдается варнинг. Пробовал вставлять определение локальной переменной с инициализацией, без инициализации, break. Да, в c++ в этом смысле даже удачнее получилось чем в C. R>Кстати, если есть цикл и внутри него ветка case и стоит break, это определено, что break будет относиться к циклу, а не к case? break относится к ближайшему циклу или switch. R>Собственно а подумал я, что ничего хорошего не выйдет, т.к. 3 известные мне реализации yield() в С/С++ все страдают серьезными проблемами. Да, protothreads выглядят симпатично. Но мой вариант с классом/структурой позволяет не заморачиваться с аллокациями. Да и переменные контекст естественнее выглядят. |
| Re: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | Кодт модератор | ||
| Дата: | 27.05.08 07:34 |
| Здравствуйте, c-smile, Вы писали: CS>По следам плодотворной дискусии про итераторы... Не этим ли кодом навеяно? Качество кода open-source Автор: Lonely Dog Дата: 22.05.08 Решено: щас всё брошу, пойду изучать, как делаются континюэйшены в лиспе. ... << RSDN@Home 1.2.0 alpha rev. 655>> Перекуём баги на фичи! |
| Re: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | Gluk_Kazan | ||
| Дата: | 27.05.08 11:17 |
| Здравствуйте, c-smile, Вы писали: CS>По следам плодотворной дискусии про итераторы... Пошел посыпать голову пеплом Как этот case в середину цикла вообще работает ??? |
| Re[2]: switch vs goto | |
| От: | Erop | ||
| Дата: | 27.05.08 11:32 | ||
| Оценка: | 1 (1) +4 ![]() | ||
| Здравствуйте, Gluk_Kazan, Вы писали: G_K>Пошел посыпать голову пеплом G_K>Как этот case в середину цикла вообще работает ??? switch в С и С++ -- это такой род goto. Работает тогда же, когда и goto, кстати... Меня забавляет другое. Люди, которые против использования goto, даже если и по делу, как дети рады использованию его аналога, да ещё и хитрых довольно макросов Все эмоциональные формулировки не соотвествуют действительному положению вещей и приведены мной исключительно "ради красного словца". За корректными формулировками и неискажённым изложением идей, следует обращаться к их автором или воспользоваться поиском |
| Re[3]: switch vs goto | |
| От: | Gluk_Kazan | ||
| Дата: | 27.05.08 11:56 |
| Здравствуйте, Erop, Вы писали: E>switch в С и С++ -- это такой род goto. Работает тогда же, когда и goto, кстати... Уже посмотрел во что ассемблируется. Получил порцию культурного шока E>Меня забавляет другое. Люди, которые против использования goto, даже если и по делу, как дети рады использованию его аналога, да ещё и хитрых довольно макросов Собственно некоторое время назад была на работе тема посмотреть PuTTY на предмет криптографии Ага, чую во что бы это вылилось |
| Re: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | Vain | ||
| Дата: | 27.05.08 13:30 | ||
| Оценка: | 1 (1) +2 | ||
| Здравствуйте, c-smile, Вы писали: CS>По следам плодотворной дискусии про итераторы... У меня такое ощущение что этому коду дальше идеи не уйти и что в нормальном проекте за его использование будут отрубать пальцы по самые уши In theory there is no difference between theory and practice. In practice there is. ![]() |
| Re[2]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | gear nuke | ||
| Дата: | 27.05.08 13:51 |
| Здравствуйте, remark, Вы писали: R>Но там используется специальный препроцессор, который генерирует код для запоминания/восстановления стековых переменных. SwitchToFiber решает именно эту задачу в виндовсе. Решения здесь пробегали... People who are more than casually interested in computers should have at least some idea of what the underlying hardware is like. Otherwise the programs they write will be pretty weird (c) D.Knuth |
| Re[2]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | c-smile | ||
| Дата: | 27.05.08 14:57 |
| Здравствуйте, Vain, Вы писали: V>Здравствуйте, c-smile, Вы писали: CS>>По следам плодотворной дискусии про итераторы... V>У меня такое ощущение что этому коду дальше идеи не уйти и что в нормальном проекте за его использование будут отрубать пальцы по самые уши А нормальный проект это какой? Эта абстракиция позваляет сократить количество вызовов и размер кода. Иногда значительно. Скажем сложные FSM (finite state machine) парсеры (push/pull). Или вот чего далеко ходить: есть дерево DOM элементов, достаточно хитрое местами. Нужно написать функцию (хотя бы тот же итератор), который принимает на вход фильтр и позволяет обходить это дерево. Количество разных FSM состояний из которых возможен выход по yield() — примерно десяток. |
| Re[3]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | Vain | ||
| Дата: | 27.05.08 15:06 |
| Здравствуйте, c-smile, Вы писали: CS>А нормальный проект это какой? Это который простой до такой степени, что большенству программеров разобраться в нём не составляет особого труда. CS>Эта абстракиция позваляет сократить количество вызовов и размер кода. Иногда значительно. Это абстракция добавляет ещё один способ зашифровать исходники CS>Или вот чего далеко ходить: есть дерево DOM элементов, достаточно хитрое местами. CS>Нужно написать функцию (хотя бы тот же итератор), который принимает на вход фильтр и позволяет обходить это дерево. CS>Количество разных FSM состояний из которых возможен выход по yield() — примерно десяток. Скажите сначало почему вам так хочется прикрутить yield к C++? In theory there is no difference between theory and practice. In practice there is. ![]() |
| Re: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | Erop | ||
| Дата: | 27.05.08 15:45 |
| Здравствуйте, c-smile, Вы писали: CS>Вот такие вот пироги. Очень хорошо. Как написать что-нибудь рекурсивное? Например обход дерева в глубину? Все эмоциональные формулировки не соотвествуют действительному положению вещей и приведены мной исключительно "ради красного словца". За корректными формулировками и неискажённым изложением идей, следует обращаться к их автором или воспользоваться поиском |
| Re[2]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | c-smile | ||
| Дата: | 27.05.08 17:52 |
| Здравствуйте, Erop, Вы писали: E>Здравствуйте, c-smile, Вы писали: CS>>Вот такие вот пироги. E>Очень хорошо. Как написать что-нибудь рекурсивное? Например обход дерева в глубину? Если дерево состоит из
То generator выглядит так:
(я переименовал макросы $generator, $emit, $yield и $stop во избежание конфликтов) В реале у меня такй генератор несколько сложнее ибо используется еще два фильтра skip_node и accept_node. |
| Re[3]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | Erop | ||
| Дата: | 27.05.08 18:22 |
| Здравствуйте, c-smile, Вы писали: CS>Здравствуйте, Erop, Вы писали: E>>Здравствуйте, c-smile, Вы писали: CS>>>Вот такие вот пироги. E>>Очень хорошо. Как написать что-нибудь рекурсивное? Например обход дерева в глубину? CS>Если дерево состоит из CS>
CS>В реале у меня такй генератор несколько сложнее ибо используется еще два фильтра skip_node и accept_node. Так не интересно. Для этого нет нужды городить генератор. У тебя и так состояние явно выписано, да ещё и в узле индекс хранить надо Нет уж. Узел выглядит так:
Все эмоциональные формулировки не соотвествуют действительному положению вещей и приведены мной исключительно "ради красного словца". За корректными формулировками и неискажённым изложением идей, следует обращаться к их автором или воспользоваться поиском |
| Re: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | siv | ||
| Дата: | 27.05.08 18:31 |
| Изврат, конечно, но мне лично дико понравилось! Если в пример использования добавить такой вот "бред", например, то зациклится:
Посему предлагаю чуток закрутить гайки, а именно вот такое лобовое и тривиальное дополнение:
|
| Re[4]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | c-smile | ||
| Дата: | 27.05.08 18:57 | ||
| Оценка: | ![]() | ||
| Здравствуйте, Erop, Вы писали: E>Так не интересно. Для этого нет нужды городить генератор. У тебя и так состояние явно выписано, да ещё и в узле индекс хранить надо Если нет нужды держать index (мне лично он нужен ибе есть селекторы типа li:nth-child(n)) то дерево наверное надо делать как двухсвязный список:
В этом случае последовательность можно тоже линеаризовать достаточно тривиально. E>Нет уж. Узел выглядит так:
Это challenge, надо думать. |
| Re[5]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | Erop | ||
| Дата: | 27.05.08 19:02 |
| Здравствуйте, c-smile, Вы писали: CS>В этом случае последовательность можно тоже линеаризовать достаточно тривиально. Это понятно, задача давно решена и обсосона. Но тогда и генератор никакой не нужен E>>Нет уж. Узел выглядит так:
CS>Это challenge, надо думать. Дык я сразу спросил, как рекурсивный алгорим позвать... Все эмоциональные формулировки не соотвествуют действительному положению вещей и приведены мной исключительно "ради красного словца". За корректными формулировками и неискажённым изложением идей, следует обращаться к их автором или воспользоваться поиском |
| Re[6]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | c-smile | ||
| Дата: | 28.05.08 00:56 |
| Здравствуйте, Erop, Вы писали: E>Здравствуйте, c-smile, Вы писали: CS>>В этом случае последовательность можно тоже линеаризовать достаточно тривиально. E>Это понятно, задача давно решена и обсосона. Но тогда и генератор никакой не нужен E>>>Нет уж. Узел выглядит так:
CS>>Это challenge, надо думать. E>Дык я сразу спросил, как рекурсивный алгорим позвать... Тебе как? красиво или эффективно? Думаю про решение которое и красивое и эффективное. |
| Re[2]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | c-smile | ||
| Дата: | 28.05.08 02:24 |
| Здравствуйте, siv, Вы писали: siv>Изврат, конечно, но мне лично дико понравилось! Это из тех в общем-то редких извратов которые помогают. Делать всякого рода FSA удобнее и нагляднее(==надежнее) с этим чем бе оного. siv>Если в пример использования добавить такой вот "бред", например, то зациклится: А не надо бред добавлять. Когда понимаешь что делаешь то возможность руками переменные менять полезна. Редко но тем не менее. |
| Re[7]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | Erop | ||
| Дата: | 28.05.08 04:29 |
| Здравствуйте, c-smile, Вы писали: CS>Тебе как? красиво или эффективно? Первый критерий зело субъективен CS>Думаю про решение которое и красивое и эффективное. Мне эффективно и поддерживаемо... Все эмоциональные формулировки не соотвествуют действительному положению вещей и приведены мной исключительно "ради красного словца". За корректными формулировками и неискажённым изложением идей, следует обращаться к их автором или воспользоваться поиском |
| Re[8]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | remark | ||
| Дата: | 28.05.08 08:33 |
| Здравствуйте, Erop, Вы писали: CS>>Думаю про решение которое и красивое и эффективное. E>Мне эффективно и поддерживаемо...
Переделать на массив дочерних узлов, я надеюсь, особого труда не составит... |
| Re[9]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | remark | ||
| Дата: | 28.05.08 08:40 | ||
| Оценка: | 1 (1) +1 | ||
| Здравствуйте, remark, Вы писали: R>Здравствуйте, Erop, Вы писали: CS>>>Думаю про решение которое и красивое и эффективное. E>>Мне эффективно и поддерживаемо... R>Переделать на массив дочерних узлов, я надеюсь, особого труда не составит... Кстати, в результате попытки использовать эту штуку в реальной ситуации вскрылось несколько проблем. 1. Почему "do {...} while (gen);", а не "while (gen) {...};"? А если последовательность пустая?! 2. Попытка вызвать в теле цикла gen() несколько раз приводит в очень неинтуитивному результату. Хотелось бы что бы новый элемент получался только после прохождения итерации, т.е. после вызова gen.operator bool(). 3. Необходимость передавать в макрос stop() реальный элемент. Очень не удобно. Очень. Выход из функции должен означать конец последовательности, никаких элементов уже не должно быть. R> |
| Re[3]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | remark | ||
| Дата: | 28.05.08 08:43 |
| Здравствуйте, gear nuke, Вы писали: GN>Здравствуйте, remark, Вы писали: R>>Но там используется специальный препроцессор, который генерирует код для запоминания/восстановления стековых переменных. GN>SwitchToFiber решает именно эту задачу в виндовсе. Решения здесь пробегали... Можно ли создать несколько десятков миллионов фиберов? Что бы каждый фибер занимал не более 32 байт? Что-то я сомневаюсь. Всё-таки на роль очень легковесных потоков фиберы не тянут. |
| Re[9]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | Erop | ||
| Дата: | 28.05.08 09:00 |
| Здравствуйте, remark, Вы писали: R>Переделать на массив дочерних узлов, я надеюсь, особого труда не составит... R> И где тут рекурсия?.. Все эмоциональные формулировки не соотвествуют действительному положению вещей и приведены мной исключительно "ради красного словца". За корректными формулировками и неискажённым изложением идей, следует обращаться к их автором или воспользоваться поиском |
| Re[10]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | dotidot | ||
| Дата: | 28.05.08 09:17 |
| Здравствуйте, remark, Вы писали: R>2. Попытка вызвать в теле цикла gen() несколько раз приводит в очень неинтуитивному результату. Хотелось бы что бы новый элемент получался только после прохождения итерации, т.е. после вызова gen.operator bool(). как это не интуитивный? генератор на каждый вызов должен новый элемент выдавать. R>3. Необходимость передавать в макрос stop() реальный элемент. Очень не удобно. Очень. Выход из функции должен означать конец последовательности, никаких элементов уже не должно быть. Ну я вижу только один достаточно простой выход — кидать эксепшн в конце. как итераторы в питоне. |
| Re[10]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | remark | ||
| Дата: | 28.05.08 09:22 |
| Здравствуйте, Erop, Вы писали: R>>Переделать на массив дочерних узлов, я надеюсь, особого труда не составит... E>И где тут рекурсия?.. С рекурсией ещё проще:
Это на основе немного пропатченой версии — сейчас я её запосчу. |
| Re[11]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | Erop | ||
| Дата: | 28.05.08 09:34 |
| Здравствуйте, dotidot, Вы писали: D> Ну я вижу только один достаточно простой выход — кидать эксепшн в конце. как итераторы в питоне. Для С++ это слишком жёстко Все эмоциональные формулировки не соотвествуют действительному положению вещей и приведены мной исключительно "ради красного словца". За корректными формулировками и неискажённым изложением идей, следует обращаться к их автором или воспользоваться поиском |
| Re[11]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | Erop | ||
| Дата: | 28.05.08 09:39 |
| Здравствуйте, remark, Вы писали: R>С рекурсией ещё проще: А разве так
Все эмоциональные формулировки не соотвествуют действительному положению вещей и приведены мной исключительно "ради красного словца". За корректными формулировками и неискажённым изложением идей, следует обращаться к их автором или воспользоваться поиском |
| Re[11]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | remark | ||
| Дата: | 28.05.08 09:40 |
| Здравствуйте, dotidot, Вы писали: D>Здравствуйте, remark, Вы писали: R>>2. Попытка вызвать в теле цикла gen() несколько раз приводит в очень неинтуитивному результату. Хотелось бы что бы новый элемент получался только после прохождения итерации, т.е. после вызова gen.operator bool(). D> как это не интуитивный? генератор на каждый вызов должен новый элемент выдавать. Я, честно говоря, не очень знаком с концепцией генераторов. Зато я, как и любой другой С++ программист, знаком с концепцией итераторов (на которую, кстати, генераторы очень похожи). У С++ итератор функция получения текущего элемента не сдвигает итератор. Поэтому для меня такое поведение генератора *ОЧЕНЬ* не интуитивно. R>>3. Необходимость передавать в макрос stop() реальный элемент. Очень не удобно. Очень. Выход из функции должен означать конец последовательности, никаких элементов уже не должно быть. D> Ну я вижу только один достаточно простой выход — кидать эксепшн в конце. как итераторы в питоне. http://gzip.rsdn.ru/forum/message/2967473.1.aspx Автор: remark Дата: 28.05.08 Там можно так же писать просто return посередине функции генерации — это будет означать конец последовательности. |
| Re[11]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | remark | ||
| Дата: | 28.05.08 09:41 |
| Здравствуйте, remark, Вы писали: E>>И где тут рекурсия?.. R>С рекурсией ещё проще: R>Это на основе немного пропатченой версии — сейчас я её запосчу. http://gzip.rsdn.ru/forum/message/2967473.1.aspx Автор: remark Дата: 28.05.08 R> |
| Re[12]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | remark | ||
| Дата: | 28.05.08 09:42 | ||
| Оценка: | 3 (1) +1 ![]() | ||
| Здравствуйте, Erop, Вы писали: E>Здравствуйте, remark, Вы писали: R>>С рекурсией ещё проще: E>А разве так
Тебе какие-то религиозные убеждения запрещают так делать? Или что-то более материальное? |
| Re[13]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | Erop | ||
| Дата: | 28.05.08 09:57 |
| Здравствуйте, remark, Вы писали: E>>А разве так
R>Тебе какие-то религиозные убеждения запрещают так делать? Или что-то более материальное? Кажется, по стандарту, std::vector требует, чтобы его первый параметр был уже полностью определён? Например, он имеет вроде бы имеет право иметь в себе поле этого типа, скажем, или буффер размера sizeof(тот самый тип) Соответсвенно такая конструкция, кажется, может быть совместима не со всеми версиями STL... Все эмоциональные формулировки не соотвествуют действительному положению вещей и приведены мной исключительно "ради красного словца". За корректными формулировками и неискажённым изложением идей, следует обращаться к их автором или воспользоваться поиском |
| Re[4]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | gear nuke | ||
| Дата: | 28.05.08 10:44 |
| Здравствуйте, remark, Вы писали: R>Можно ли создать несколько десятков миллионов фиберов? Что бы каждый фибер занимал не более 32 байт? Количество создаваемых системой фиберов ограничивается из-за выделения отдельных стеков (менее 8-12KB резервировать не удастся, да еще думать о требованиях к стеку у вызываемых API...) Всегда можно найти неприемлимые условия, так что это не аргумент. Вот на что тянет ручное копирование стековых переменных? Минимум — оверхед в рантайме Fiber — архитектурно правильное решение. Если локальные переменные аллоцируются в стеке, то они там и хранятся. Плюс сохраняется состояние переменных аллоцированных в регистрах. Время переключения контекстов пренебрежительно мало. R> Всё-таки на роль очень легковесных потоков фиберы не тянут. Дык не надо стрелять из пушки по воробьям. Для 32х байт состояния нужны не фиберы, а функторы — и вперёд, синтаксический подсластив генератором c-smile People who are more than casually interested in computers should have at least some idea of what the underlying hardware is like. Otherwise the programs they write will be pretty weird (c) D.Knuth |
| Re[14]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | remark | ||
| Дата: | 28.05.08 10:55 |
| Здравствуйте, Erop, Вы писали: E>Здравствуйте, remark, Вы писали: E>>>А разве так
R>>Тебе какие-то религиозные убеждения запрещают так делать? Или что-то более материальное? E>Кажется, по стандарту, std::vector требует, чтобы его первый параметр был уже полностью определён? E>Например, он имеет вроде бы имеет право иметь в себе поле этого типа, скажем, или буффер размера sizeof(тот самый тип) E>Соответсвенно такая конструкция, кажется, может быть совместима не со всеми версиями STL... Да... я думаю, что ты прав... хотя вопрос занятный. Вроде как требования Assignable и CopyConstructible можно удовлетворить и для "не полного" типа — достаточно поместить объявления соотв. функций перед определением переменной vector. А то, что sizeof от типа можно брать — так такого требования к элементам не предъявляется В любом случае — ну замени ты std::vector<iterate_tree_rec_t> на std::vector<iterate_tree_rec_t*>, чего ты придираешься — рекурсия на лицо. |
| Re[5]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | remark | ||
| Дата: | 28.05.08 10:58 |
| Здравствуйте, gear nuke, Вы писали: R>> Всё-таки на роль очень легковесных потоков фиберы не тянут. GN>Дык не надо стрелять из пушки по воробьям. Для 32х байт состояния нужны не фиберы, а функторы — и вперёд, синтаксический подсластив генератором c-smile Ну так там именно "воробьи" и есть. Поэтому и препроцессор. |
| Re[15]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | Erop | ||
| Дата: | 28.05.08 11:29 | ||
| Оценка: | 18 (1) | ||
| Здравствуйте, remark, Вы писали: R>В любом случае — ну замени ты std::vector<iterate_tree_rec_t> на std::vector<iterate_tree_rec_t*>, чего ты придираешься — рекурсия на лицо. Просто интересно зачем там массив. IMHO и auto_ptr<iterate_tree_rec_t> хватит Все эмоциональные формулировки не соотвествуют действительному положению вещей и приведены мной исключительно "ради красного словца". За корректными формулировками и неискажённым изложением идей, следует обращаться к их автором или воспользоваться поиском |
| Re[16]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | remark | ||
| Дата: | 28.05.08 11:41 | ||
| Оценка: | -1 | ||
| Здравствуйте, Erop, Вы писали: E>Здравствуйте, remark, Вы писали: R>>В любом случае — ну замени ты std::vector<iterate_tree_rec_t> на std::vector<iterate_tree_rec_t*>, чего ты придираешься — рекурсия на лицо. E>Просто интересно зачем там массив. IMHO и auto_ptr<iterate_tree_rec_t> хватит Если подумать, то должно прокатить прямо так:
По-моему вполне читаемо и поддерживаемо... |
| Re[17]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | Erop | ||
| Дата: | 28.05.08 11:58 |
| Здравствуйте, remark, Вы писали: R>
А во что это, по твоему, должно развернуться? Все эмоциональные формулировки не соотвествуют действительному положению вещей и приведены мной исключительно "ради красного словца". За корректными формулировками и неискажённым изложением идей, следует обращаться к их автором или воспользоваться поиском |
| Re[18]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | remark | ||
| Дата: | 28.05.08 12:02 |
| Здравствуйте, Erop, Вы писали: E>Здравствуйте, remark, Вы писали: R>>
E>А во что это, по твоему, должно развернуться? А ну да. i и inner надо вынести в переменные класса |
| Re[19]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | Erop | ||
| Дата: | 28.05.08 12:13 |
| Здравствуйте, remark, Вы писали: R>А ну да. i и inner надо вынести в переменные класса Ну вот это-то мне тут и не нравится.. Но дальше миссер, дальше...
Все эмоциональные формулировки не соотвествуют действительному положению вещей и приведены мной исключительно "ради красного словца". За корректными формулировками и неискажённым изложением идей, следует обращаться к их автором или воспользоваться поиском |
| Re[20]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | remark | ||
| Дата: | 28.05.08 12:30 | ||
| Оценка: | +2 ![]() | ||
| Здравствуйте, Erop, Вы писали: E>Здравствуйте, remark, Вы писали: R>>А ну да. i и inner надо вынести в переменные класса E>Ну вот это-то мне тут и не нравится.. E>Но дальше миссер, дальше... E>
Ну ладно-ладно, туплю. Нужен auto_ptr, как ты сказал. |
| Re[6]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | gear nuke | ||
| Дата: | 28.05.08 14:31 |
| Здравствуйте, remark, Вы писали: R>Ну так там именно "воробьи" и есть. Поэтому и препроцессор. Для воробъев слишком жирные, постоянное копирование контекста даром не обходится, да и кеши всякие... Файбер же выделяет стек страницами, и даже если он 1Mb то коммитится пара страниц... Если очень нужно, можно попробовать сделать заточенную под задачу реализацию (SwitchToFiber — 32 команды x86) с малым стеком... например вызывать жрущие стек АПИ подменяя стек на большой (тут подойдёт Call wrapper People who are more than casually interested in computers should have at least some idea of what the underlying hardware is like. Otherwise the programs they write will be pretty weird (c) D.Knuth |
| Re[12]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | c-smile | ||
| Дата: | 28.05.08 14:53 | ||
| Оценка: | 18 (1) | ||
| Здравствуйте, remark, Вы писали: R>>Это на основе немного пропатченой версии — сейчас я её запосчу. R>http://gzip.rsdn.ru/forum/message/2967473.1.aspx Автор: remark Дата: 28.05.08 А вот моя обновлённая версия. Решает проблему stop значения.
Генератор описывается как:
Использование такое же как и в JS — for(var i in seq)
|
| Re[21]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | c-smile | ||
| Дата: | 28.05.08 15:20 |
| Здравствуйте, remark, Вы писали: R>Ну ладно-ладно, туплю. Нужен auto_ptr, как ты сказал. В общем случае нужен stack on the heap. Для C++ по всей видимости вполне себе будет достаточно объявления _generator как CRTP структуры/шаблона плюс поле _generatror<NAME>* _stack. Это точно будет работать — т.е. можно и рекурсивные вызовы делать (но только себя самого)
|
| Re[22]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | remark | ||
| Дата: | 28.05.08 15:31 |
| Здравствуйте, c-smile, Вы писали: CS>Здравствуйте, remark, Вы писали: R>>Ну ладно-ладно, туплю. Нужен auto_ptr, как ты сказал. CS>В общем случае нужен stack on the heap. CS>Для C++ по всей видимости вполне себе будет достаточно объявления _generator как CRTP CS>структуры/шаблона плюс поле _generatror<NAME>* _stack. CS>Это точно будет работать — т.е. можно и рекурсивные вызовы делать (но только себя самого) А можешь привести полную реализацию с примером использования. А то пока это всё не складывается в единое целое... |
| Re[7]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | remark | ||
| Дата: | 28.05.08 15:37 |
| Здравствуйте, gear nuke, Вы писали: GN>Здравствуйте, remark, Вы писали: R>>Ну так там именно "воробьи" и есть. Поэтому и препроцессор. GN>Для воробъев слишком жирные, постоянное копирование контекста даром не обходится, да и кеши всякие... GN>Файбер же выделяет стек страницами, и даже если он 1Mb то коммитится пара страниц... Если очень нужно, можно попробовать сделать заточенную под задачу реализацию (SwitchToFiber — 32 команды x86) с малым стеком... например вызывать жрущие стек АПИ подменяя стек на большой (тут подойдёт Call wrapper Это уже Сapriccio Thread, это тупиковый вариант http://gzip.rsdn.ru/forum/message/2965307.1.aspx Автор: remark Дата: 27.05.08 |
| Re[13]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | remark | ||
| Дата: | 28.05.08 15:43 |
| Здравствуйте, c-smile, Вы писали: CS>А вот моя обновлённая версия. CS>Решает проблему stop значения. ... но return в середине писать всё равно нельзя. Без него сложные генераторы становятся... ещё сложнее CS>Использование такое же как и в JS — for(var i in seq) CS>
Раз уж тут и так всё из макросов, можно накрутить, что бы вот так писать:
|
| Re[23]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | c-smile | ||
| Дата: | 28.05.08 22:08 |
| Здравствуйте, remark, Вы писали: CS>>В общем случае нужен stack on the heap. CS>>Для C++ по всей видимости вполне себе будет достаточно объявления _generator как CRTP CS>>структуры/шаблона плюс поле _generatror<NAME>* _stack. CS>>Это точно будет работать — т.е. можно и рекурсивные вызовы делать (но только себя самого) R>А можешь привести полную реализацию с примером использования. А то пока это всё не складывается в единое целое... Постараюсь на неделе соорудить. Сейчас со временем — швах. |
| Re[14]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | c-smile | ||
| Дата: | 28.05.08 22:12 |
| Здравствуйте, remark, Вы писали: R>Здравствуйте, c-smile, Вы писали: CS>>А вот моя обновлённая версия. CS>>Решает проблему stop значения. R>... но return в середине писать всё равно нельзя. R>Без него сложные генераторы становятся... ещё сложнее break по смыслу я понимаю. А return-то зачем? R>Раз уж тут и так всё из макросов, можно накрутить, что бы вот так писать: R>
Да вроде и с for(v;gen(v) |
| Re[13]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | siv | ||
| Дата: | 29.05.08 08:22 |
| CS>А вот моя обновлённая версия. CS>Решает проблему stop значения. Теперь ещё изящнее. Жаль, что в теле генератора нельзя yield во внутреннем switch использовать. Увы, не хватает "динамического goto" какого-нибудь:
Думаю, что _asm тут бы помого, но было бы непортабельно и еще более извращеннее. |
| Re[14]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | Erop | ||
| Дата: | 29.05.08 09:07 |
| Здравствуйте, siv, Вы писали: siv>
siv>Думаю, что _asm тут бы помого, но было бы непортабельно и еще более извращеннее. А думаешь нельзя? Все эмоциональные формулировки не соотвествуют действительному положению вещей и приведены мной исключительно "ради красного словца". За корректными формулировками и неискажённым изложением идей, следует обращаться к их автором или воспользоваться поиском |
| Re[15]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | siv | ||
| Дата: | 29.05.08 09:19 |
| Здравствуйте, Erop, Вы писали: E>Здравствуйте, siv, Вы писали: siv>>
siv>>Думаю, что _asm тут бы помог, но было бы непортабельно и еще более извращеннее. E>А думаешь нельзя? Что нельзя? Реализовать? На asm — думаю вполне можно. Извращаться? Зависит от политики... Забить на портабильность? Сделать под каждую платфорсу вариант? Можно, но зависит от... |
| Re[2]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | yumi | ||
| Дата: | 29.05.08 13:04 |
| Здравствуйте, Кодт, Вы писали: К>Решено: щас всё брошу, пойду изучать, как делаются континюэйшены в лиспе. Если не шутишь, то можешь посмотреть как это делает Слава здесь. Lisp is not dead. It’s just the URL that has changed: http://clojure.org |
| Re[8]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | gear nuke | ||
| Дата: | 29.05.08 13:09 |
| Здравствуйте, remark, Вы писали: R>Это уже Сapriccio Thread, это тупиковый вариант Не смотрел даже
People who are more than casually interested in computers should have at least some idea of what the underlying hardware is like. Otherwise the programs they write will be pretty weird (c) D.Knuth |
| Re[9]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | remark | ||
| Дата: | 29.05.08 13:32 | ||
| Оценка: | 7 (1) ![]() | ||
| Здравствуйте, gear nuke, Вы писали: GN>Здравствуйте, remark, Вы писали: R>>Это уже Сapriccio Thread, это тупиковый вариант GN>Не смотрел даже Там что-то типа такого, что пользовательский код анализируется специальным компилятором на потребление стека. На стандартные библиотечные функции они рассчитывают, что будут специальные аннотации по поводу максимального потребления стека. А для известного кода используются специальные большие стеки, которые динамически подцепляются и отцепляются. Ну и плюс с рекурсией там своё веселье. Ну и общий подход такой, что в рантайме на специальных сгенерированных чекпоинтах проверяется, дотянет ли поток до следующего чекпоинта на текущем стеке. Если нет — то подцепляется новый кусочек. Ну в общем, ты понял. Если ты не академик, и есть хоть какие-то мысли чем заняться полезным, то не стОит смотреть в эту сторону GN>ИМХО не надо искать серебрянную пулю (некоторые автоматы вообще руками писать не стоит) а под конкретные задачи размер стека можно прикинуть... Я лишь хотел сказать что контекст копировать — это всё равно что GN>
|
| Re[12]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | anonim_44ax | ||
| Дата: | 29.05.08 13:52 |
К сожалению даже так можно:
При этом, сей код под MS VS 7.1.3 не только компиллируется, но и успешно работает. |
| Re[13]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | remark | ||
| Дата: | 29.05.08 14:00 | ||
| Оценка: | +2 | ||
| Здравствуйте, anonim_44ax, Вы писали: _>К сожалению даже так можно: _> _>При этом, сей код под MS VS 7.1.3 не только компиллируется, но и успешно работает. То, что это работает, это я проверил. Вопрос — насколько это соотв. стандарту. Ну или хотя бы будет работать на других компиляторах? Т.к. достаточно, что бы в определении vector было что-то типа такого, что бы это перестало компилироваться:
|
| Re[13]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | Erop | ||
| Дата: | 29.05.08 14:04 |
| Здравствуйте, anonim_44ax, Вы писали: _>К сожалению даже так можно: Почему "к сожалению"? _> _>При этом, сей код под MS VS 7.1.3 не только компиллируется, но и успешно работает. Вопрос не в том, "может ли это скомпилироваться", а несколько в обратном "может ли это НЕ скомпилироваться" Все эмоциональные формулировки не соотвествуют действительному положению вещей и приведены мной исключительно "ради красного словца". За корректными формулировками и неискажённым изложением идей, следует обращаться к их автором или воспользоваться поиском |
| Re[15]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | siv | ||
| Дата: | 29.05.08 15:30 |
| siv>>Думаю, что _asm тут бы помого, но было бы непортабельно и еще более извращеннее. E>А думаешь нельзя? Вот, на скорую руку сваял ещё одно "извращение" just for fun. Можно внутри генераторов обойтись без Duff's device извращений и заработает switch. VC8. Под g++ такое не осилю в данный момент.
Пришлось выкрутасы делать из-за странностей VC, например
|
| Re[14]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | c-smile | ||
| Дата: | 29.05.08 15:34 | ||
| Оценка: | 1 (1) | ||
| Здравствуйте, siv, Вы писали: siv>Увы, не хватает "динамического goto" какого-нибудь: В GCC кстати такой goto есть. И там можно все это построить без наворотов со switch. Там можно взять адрес label и по нему перейти — goto *label. |
| Re[15]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | siv | ||
| Дата: | 29.05.08 15:37 |
| siv>>Увы, не хватает "динамического goto" какого-нибудь: CS>В GCC кстати такой goto есть. И там можно все это построить без наворотов со switch. CS>Там можно взять адрес label и по нему перейти — goto *label. Вах, не знал! Супер, может быть таки поюзаю тогда в реальном проекте под Вынь\Линукс... |
| Re[14]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | anonim_44ax | ||
| Дата: | 30.05.08 06:20 |
| Согласен, потому и говорю, что к сожалению сие компиллится под MS VS 7.1.3, хотя и не должно. |
| Re[23]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | c-smile | ||
| Дата: | 30.05.08 14:38 | ||
| Оценка: | 34 (1) | ||
| Здравствуйте, remark, Вы писали: CS>>В общем случае нужен stack on the heap. CS>>Для C++ по всей видимости вполне себе будет достаточно объявления _generator как CRTP CS>>структуры/шаблона плюс поле _generatror<NAME>* _stack. CS>>Это точно будет работать — т.е. можно и рекурсивные вызовы делать (но только себя самого) R>А можешь привести полную реализацию с примером использования. А то пока это всё не складывается в единое целое... Вот generator с поддержкой restart — рекурсивный рестарт себя самого.
Используется так (обход дерева):
Усовершенствования возможны. |
| Re[24]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | remark | ||
| Дата: | 30.05.08 14:48 |
| Здравствуйте, c-smile, Вы писали: CS>
Выглядит интересно... Надо помедитировать... |
| Re[15]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | siv | ||
| Дата: | 30.05.08 19:02 | ||
| Оценка: | 36 (1) | ||
| siv>>Увы, не хватает "динамического goto" какого-нибудь: CS>В GCC кстати такой goto есть. И там можно все это построить без наворотов со switch. CS>Там можно взять адрес label и по нему перейти — goto *label. Да, с ним всё просто и красиво. Вот, чуточку доработал один из твоих вариантов на предмет VC/G++ и поддержки switch/case :
|
| Re[10]: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | remark | ||
| Дата: | 01.06.08 16:24 |
| Здравствуйте, remark, Вы писали: R>Там что-то типа такого, что пользовательский код анализируется специальным компилятором на потребление стека. R>На стандартные библиотечные функции они рассчитывают, что будут специальные аннотации по поводу максимального потребления стека. R>А для известного кода используются специальные большие стеки, которые динамически подцепляются и отцепляются. ------/\/\ ---для неизвестного |
| Re: Generators in C++, (a.k.a. foreach & iteartors) | |
| От: | c-smile | ||
| Дата: | 21.09.08 22:21 |
| Здравствуйте, c-smile, Вы писали: Добавил статью на codeproject: http://www.codeproject.com/KB/cpp/cpp_generators.aspx |