Самый перспективный язык программирования - [34] :: Прикладное программирование

Цитата:

имеется, могу только заметить, что они лишь сокращают написание требуемого количества кода, а не выполняют оптимизацию — запись требуемого конечного алгоритма в ручную может дать больший эффект, к тому же наличие «лишних» операций шаблоны убрать никак не способны. Поэтому я говорю, что в узких местах не надо надеятся на то, что ваши шаблоны с компилятором создатут вам идеальный код, а попробовать улучшить алгоритм.
«"строить" наиболее эффективный цикл независимо от сложности выражения» — сейчас это невозможно для произвольного выражения, тут требуется сложный анализатор кода, способный «понять», разобрать на части и оптимизировать выражение.

Вот как раз это я и имею в виду. И с самого начала утверждаю, что всё это возможно. Выполняют оптимизацию до уровня написанного вручную цикла; исключают "лишние" операции полностью; не требуют специального сложного анализатора кода, т.к. такой уже встроен в компилятор, и нужно только грамотно им воспользоваться.
Цитата:

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

Вот только это, пожалуй, имеет некоторое отношение к их ограничениям. Однако ровно столько же, сколько вообще имеет отношение перегрузка операторов к пользовательским типам. Если потребуется новый перегруженный оператор, то придётся и дополнить шаблон выражений новым классом. Однако по трудоёмкости этот новый класс создаётся куда как легче, чем новый перегруженный оператор. Я сюда включаю также и потенциальную вероятность ошибиться при кодинге с дальнейшей отладкой.
Цитата:

Цитата:

А назначение классов тогда в реализации принципов ООП?

Класс скрывает разделяемый код, а шаблон — копируемый. Или я не прав?

М-м-м... крайне сжато выразился, поясню, что я имел в виду. Обе фразы - моя вот эта и твоя "...вот только назначение их (шаблонов [Q]) не в рассчёте чего-либо при компиляции, а в автоматической генерации кода" - в общем не неверны. Они "всего лишь" неполны. И то (шаблоны), и другое (классы) - это не технологии программирования, а инструменты, которыми пользоваться можно для достижения очень разных целей. То же метапрограммирование стало сюрпризом для самого комитета стандартизации, когда в 1994 году Эрвин Анрух продемонстривал свою метапрограмму поиск простых чисел.

Модерирует : ShIvADeSt
Версия для печати • Подписаться • Добавить в закладки
Страницы: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35