Павел Кузнецов
Симуляция частичной специализации
Введение
Время от времени при работе с шаблонами возникает необходимость специализировать шаблон класса по одному из аргументов. В качестве примера можно рассмотреть шаблон классов матриц, параметризованный типом элемента и размерами матрицы.
template‹class T, int Rows, int Columns›
class Matrix {
//…
};
Предположим, в процессе разработки выяснилось, что производительность программы неудовлетворительна, и узким местом является функция умножения матриц с элементами типа float, и что эту проблему можно решить путем использования intrinsic-функций процессора. При наличии соответствующей поддержки компилятора это легко можно сделать при помощи так называемой частичной специализации шаблонов классов:
template‹int Rows, int Columns›
class Matrix‹float, Rows, Columns› {
//…
};
Однако некоторые компиляторы не поддерживают частичную специализацию, и, как следствие, «не понимают» подобные конструкции. Желание получить эквивалентную функциональность при работе с такими компиляторами приводит к технике, описанной ниже.
Техника симуляции
Естественным первым шагом будет вынести различающуюся функциональность Matrix‹› в два базовых класса: Matrix_‹›, реализующий общий случай, и Matrix_float_‹› для специфики Matrix‹float,…›.
template‹class T, int Rows, int Columns›
class Matrix_ {
//…
};
template‹int Rows, int Columns› class Matrix_float_ {
//…
};
Комментарии к книге «Симуляция частичной специализации», П. Кузнецов
Всего 0 комментариев