C++ для начинающих

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

* Тип фактического аргумента функции не обязан точно соответствовать типу формального параметра. Для приведения типов могут быть применены следующие преобразования: трансформации l-значения

* преобразования спецификаторов

* приведение производного класса к базовому при условии, что формальный параметр функции имеет вид Targs или Targs*, где список аргументов args содержит хотя бы один параметр шаблона.

*

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

Упражнение 10.4

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

Упражнение 10.5

Пусть даны следующие определения шаблонов:

template class Type

Type min3( const Type* array, int size ) { /* ... */ }

template class Type

Type min5( Type p1, Type p2 ) { /* ... */ }

Какие из приведенных ниже вызовов ошибочны? Почему?

double dobj1, dobj2;

float fobj1, fobj2;

char cobj1, cobj2;

int ai[5] = { 511, 16, 8, 63, 34 };

(a) min5( cobj2, 'c' );

(b) min5( dobj1, fobj1 );

(c) min3( ai, cobj1 );

10.4. Явное задание аргументов шаблона A

В некоторых ситуациях автоматически вывести типы аргументов шаблона невозможно. Как мы видели на примере шаблона функции min5(), если процесс вывода дает два различных типа для одного и того же параметра шаблона, то компилятор сообщает об ошибке – неудачном выводе аргументов.

В таких ситуациях приходится подавлять механизм вывода и задавать аргументы явно, указывая их с помощью заключенного в угловые скобки списка разделенных запятыми значений, который следует после имени конкретизируемого шаблона функции. Например, если мы хотим задать тип unsigned int в качестве значения аргумента шаблона T в рассмотренном выше примере использования min5(), то нужно записать вызов конкретизируемого шаблона так:

// конкретизируется min5( unsigned int, unsigned int )

min5 unsigned int ( ui, 1024 );

В этом случае список аргументов шаблона unsigned int явно задает их типы. Поскольку аргумент шаблона теперь известен, вызов функции больше не приводит к ошибке.

Обратите внимание, что при вызове функции min5() второй аргумент равен 1024, т.е. имеет тип int. Так как тип второго формального параметра функции при явном задании аргумента шаблона установлен в unsigned int, то второй фактический параметр функции приводится к типу unsigned int с помощью стандартного преобразования целых типов.

В предыдущем разделе мы говорили, что в процессе вывода аргументов шаблона к фактическим аргументам функции разрешается применять только ограниченное множество преобразований типов. Трансформация int в unsigned int в это множество не входит. Но если аргументы шаблона задаются явно, выполнять вывод типов не нужно, поскольку они уже зафиксированы. Следовательно, при явном задании аргументов шаблона для приведения типов фактических аргументов функции к типам формальных параметров можно применять любые стандартные преобразования.

Помимо разрешения любых преобразований фактических аргументов функции, явное задание аргументов шаблона помогает избежать и других проблем, встающих перед программистом. Рассмотрим следующую задачу. Мы хотим определить шаблон функции с именем sum() так, чтобы его конкретизация возвращала значения типа, достаточно большого для представления суммы двух значений любых двух типов, переданных в любом порядке. Как это сделать? Какой тип возвращаемого значения следует задать?

// каким должен быть тип возвращаемого значения: T или U

template class T, class U

??? sum( T, U );

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

char ch; unsigned int ui;

// ни T, ни U нельзя использовать в качестве типа возвращаемого значения

sum( ch, ui ); // правильно: U sum( T, U );

sum( ui, ch ); // правильно: T sum( T, U );

Решение заключается в том, чтобы ввести в шаблон третий параметр для обозначения типа возвращаемого значения: