Шаблоны функций C++





шаблоны функций c++, шаблоны функций с++, template c++

Немного ранее была рассмотрена тема о перегрузке функций в C++. Вы узнали о возможности написать несколько функций с одинаковым именем, которые выполняют одинаковые задачи. Основное отличие между ними – сигнатура (типы параметров и/или количество параметров). При запуске программы, компилятор сам выберет, какую из перегруженных функций применить (исходя из того, что передано в функцию)

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

шаблоны функций c++, шаблоны функций с++, template c++

Определяя шаблон функции мы использовали зарезервированные слова C++: template и typename. template говорит о том, что сейчас будет определен шаблон. А в угловых скобках после typename дается условное имя типу данных. Тут, вместо имени T, можно присвоить любое (очень желательно корректное) имя.

Далее определяется сама функция. Тип возвращаемого значения указываем T. Параметры: число типа T, и число типа int. Эта функция считает процент от числа и возвращает значение в программу. И число, и процент передаются как параметры. Например первым параметром мы передадим в функцию целое число (100). Во время запуска, компилятор отметит себе что T это int и заменит в шаблоне функции все эти T на int. Таким образом для компилятора функция примет вид:

шаблоны функций c++, шаблоны функций с++, template c++

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

В итоге на экране увидим такой результат расчетов:шаблоны функций c++, шаблоны функций с++, template c++

Говоря об определении шаблона функции, хочется добавить, что в угловые скобки после ключевого слова template возможно записать несколько условных имен для типов данных. Зачем это может понадобиться? Рассмотрим такой пример:

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

Первый и второй параметры функции определены, как параметры типа T. С вызовами функции в строках 19-20 проблем не возникает, так как передаваемые параметры имеют одинаковый тип данных. Проблемы возникнут в строке 22 при компиляции. И это понятно. Компилятор запутается. Он не может преобразовать тип int в double.

шаблоны функций c++, шаблоны функций с++, template c++

Чтобы обойти эту проблему, надо написать другой шаблон.

Тут typename T_1 обозначает тип параметра, который передается в функцию первым. typename T_2 соответственно обозначает тип второго параметра. Такой вариант определения шаблона функции предупредит ошибки, возникающие при передаче параметров разных типов.

шаблоны функций c++, шаблоны функций с++, template c++

Важно запомнить,что если вы в угловых скобках вы даете несколько условных имен для типов параметров функции (как в нашем примере), все эти имена типов должны быть упомянуты в сигнатуре функции. Иначе не избежать ошибки при компиляции. Например такое определение шаблона

шаблоны функций c++, шаблоны функций с++, template c++

приводит к следующим ошибкам:

шаблоны функций c++, шаблоны функций с++, template c++

В шаблоне мы определили условные им типов T_1 и T_2, а в сигнатуре прописали только тип T_1 .

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

шаблоны функций c++, шаблоны функций с++, template c++

оно равнозначно тому определению, которое мы рассматривали

шаблоны функций c++, шаблоны функций с++, template c++

Ранее, до выхода стандарта C++98, в шаблонах всегда использовали слово class. Сейчас же лучше, когда появилось ключевое слово typename , лучше применять его. Так как оно более явно говорит о том, что имена T_1 и T_2 представляют тип.

Подведем итог. Шаблон функции предназначен для создания обобщенного описания функции. Такая функция сможет принять параметры любого типа. Шаблон позволит компилятору генерировать код функции для конкретного типа (или типов) данных, который был передан в неё при вызове.

Обязательно посмотрите видео. О шаблонах с 14-й минуты:

Рассылка новых уроков по программированию:

Шаблоны функций C++
5 (100%) 4 votes

Шаблоны функций C++: 15 комментариев

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *