Лекция 22. Шаблоны (часть 2) презентация

T >
T Power ( T v )
{
T res = v;
for ( int i=1; i res *= v;
return res;
}
Функцию Power можно вызвать двумя способами:
int r = Power<5, int>(1);
int r = Power<5>(1); // Вот это и есть не полное инстанцирование. Компилятор самостоятельно выводит недостающие аргументы шаблона

less ( T v1, T v2 )
{
return v1 < v2;
}
Примеры использования:
bool l1 = less(1,2);
bool l2 = less(1.2,3.4);
bool l4 = less(“abcd”,”abcx”); // Будет ли это работать правильно?

char* v1, char * v2 )
{
return v1 < v2; // сравнение указателей, а не строк!!!
}
Итого:
Мы хотим иметь обобщенную форму less
Версию сравнения строк.

*s2)
{ return strcmp(s1, s2) < 0; }
2. Явная специализация шаблона:
template<>
bool less ( const char* s1, const char* s2 )
{ return strcmp(s1,s2)<0; }
Теперь наш пример работает правильно
Для функций перегрузка и полная явная специализация шаблона эквиваленты. Но для классов понятия перегрузки нет.

}; - динамический массив
Специализация
template<>
class vector { …}; - массив флагов, каждый флаг это один бит. Реализовано в целях оптимизации по памяти.

>
unsigned long Fact ( void )
{
if ( N<2 ) return 1;
return N*Fact();
}
Работать не будет!

3<2 ) return 1;
return 3*Fact<3-1>();
}
template<>
unsigned long Fact<2> ( void )
{
if ( 2<2 ) return 1;
return 2*Fact<2-1>();
}

template<>
unsigned long Fact<1> ( void )
{
if ( 1<2 ) return 1;
return 1*Fact<1-1>();
}
template<>
unsigned long Fact<0> ( void )
{
if ( 0<2 ) return 1;
return 0*Fact<0-1>();
}

Факториал на этапе компиляции (2)

Получаем бесконечную рекурсию!

unsigned N >
unsigned long Fact ( void )
{ return N*Fact(); }
2. Явная специализация для частных случаев:
template<>
unsigned long Fact<0> ( void )
{ return 1; }
template<>
unsigned long Fact<1> ( void )
{ return 1; }

3*Fact<3-1>(); }

template<>
unsigned long Fact<2> ( void )
{ return 2*Fact<2-1>(); }

template<>
unsigned long Fact<1> ( void )
{ return 1; }

Факториал на этапе компиляции (4)

Процесс остановился. Все работает.

T::SomeType *var; // будет ли это компилироваться?
}
Компилятор может это распознать или как объявление указателя на тип T::SomeType или как умножение T::SomeType на var. Следовательно, будет ошибка компиляции.

явно указывать, что из себя представляет этот член:
Если это тип, то перед ним надо указывать typename
typename T::SomeType *var;
Если это не тип, то typename указывать не нужно.

конструкции:

template
struct Fact
{
const static int value = . . .
};

решение задачи о Ханойских башнях.
Каждый стержень – это экземпляр класса Stack.
Параметр шаблона стека T – это класс Disk, имеющий поле diameter.
Программа должна уметь выдавать пользователю содержание всех трёх стержней в любой указанный пользователем момент времени (пример: через 50 перекладываний).