Учебные пособия и введение в C++ Expression Templates

Question

Что представляют собой хорошие представления о создании систем шаблонов выражений на языке C++? Я хотел бы выразить арифметику по пользовательским типам, избегая при этом временных значений (которые могут быть большими) и узнать, как это сделать напрямую, а не применять существующую библиотеку.

Я нашел Todd Veldhuizen's original paper и пример из Josuttis C++ Templates book и статью Kreft & Langer. Он упоминается в лекции 6 курса по адресу Modern C++, ссылаясь на Josuttis. Библиотека POOMA background прекрасно представляет шаблоны экспрессии.

Я ищу простой, ясные экспозиции.

Answer 1

Вы должны получить копию C++ Templates: The Complete Guide.

Пример кода, на который вы ссылаетесь, не содержит сопроводительного текста, что весьма полезно (глава по шаблонам выражений составляет 22 страницы). Без текста все, что у вас есть, это код без каких-либо комментариев или объяснений относительно того, что он делает и как и почему он это делает.

Answer 2

У вас есть все источники, за исключением научной книги на С ++, которая на самом деле является только оригинальной бумагой (по крайней мере, по этой теме) и довольно устарела. Вы можете посмотреть на C++ Template Metaprogramming для более современных методов, построенных из идей шаблонов выражений, но что-то «простое» не будет легко доступно, пока оно не станет простым.

Answer 3

Я предлагаю рассмотреть операторы Boost по адресу Boost Operators - Arithmetic. Это шаблонные методы, которые расширяют основные операции арифметики и сравнения.

Answer 4

Я настоятельно рекомендую посмотреть библиотеку Eric Niebler Boost.Proto. Очень тонкие вводные материалы можно найти через C++ - следующий:

http://cpp-next.com/archive/2010/08/expressive-c-introduction/

и его разговор на boost'con 2010 тоже очень интересно

Answer 5

Я нашел Expression Templates Demystified быть довольно хорошо объяснено. Он начинается с демонстрации того, как реализовать математические выражения без шаблонов и отображает основные строительные блоки и концепции.

Во второй части статьи показано, как реорганизовать первоначальную реализацию для использования шаблонов вместо повышения производительности и сокращения кода.

IMO, статья является хорошей альтернативой главе шаблона выражения в «C++ Templates: The Complete Guide».

Answer 6

за то, что вы хотите сделать, вы должны посмотреть на код Boost.ublas, как это точно.

Начните с файла vector.hpp, а затем вернитесь в иерархию (родители vector<>). Матрицы немного сложнее, но механизм один и тот же.

Теперь я могу посоветовать не пытаться воспроизвести сложность библиотеки в первую очередь, например, ublas_expression и тому подобное. Вы можете сделать это проще, сделав свой тип базовым объектом, а затем реализовать двоичный оператор.

Посмотрите здесь: http://www.bnikolic.co.uk/blog/cpp-expression-minimal.html