Function template

 

C++

Язык

Понятия (концепции)

Утилиты

Строки

Контейнеры

Алгоритмы

Итераторы

Работа с числами

Ввод / вывод

Локализация

Регулярные выражения (C++11)

Атомарные примитивы (C++11)

Потоки (C++11)

 

Язык С++

Общие темы
Препроцессор Комментарии Ключевые слова	Таблица ASCII Escape-последовательности История C++
Управление программой
Операторы условного выполнения
оператор if	оператор switch
Операторы повторения
цикл for цикл for по интервалу (C++11)	цикл while цикл do-while
Операторы перехода
оператор continue оператор break	оператор goto оператор return
Функции
объявление функции
объявление лямбда-функции
шаблон функции
спецификатор inline
спецификаторы исключений (устарело)
спецификатор noexcept (C++11)
Исключения
throw-выражение	блок try-catch
Пространства имён
объявление пространства имён
псевдонимы пространства имён
Типы
фундаментальные типы составные типы перечисляемые типы	типы-объединения функциональные типы
спецификатор decltype (C++11)
Спецификаторы
cv-спецификаторы
спецификаторы продолжительности хранения
спецификатор constexpr (C++11)
спецификатор auto (C++11)
спецификатор alignas (C++11)
Инициализация

Литералы
целочисленные литералы символьные литералы вещественночисленные литералы строковые литералы	логические литералы nullptr (C++11) пользовательские (C++11)
Выражения
категории значений порядок вычисления альтернативные представления	операторы приоритет операторов
Утилиты
Типы
typedef-объявление
объявление псевдонима типа (C++11)
атрибуты (C++11)
Приведения типов
неявные преобразования
const_cast-преобразование
static_cast-преобразование
dynamic_cast-преобразование
reinterpret_cast-преобразование
C-подобное и функциональное приведение типов
Выделение памяти
new-выражение	delete-выражение
Классы
объявление класса указатель this спецификаторы доступа	спецификатор friend списки-инициализаторы
Особые свойства классовых функций
виртуальная функция спецификатор override (C++11) спецификатор final (C++11)	explicit (C++11) static
Специальные функции-члены
конструктор по умолчанию копирующий конструктор перемещающий конструктор (C++11)	копирующее присваивание перемещающее присваивание (C++11) деструктор
Шаблоны
шаблон класса
шаблон функции
специализация шаблона
упакованные параметры (C++11)
Разное
Ассемблерные вставки

 

Описание

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

Original:

Templates allow generic function design that work on various types, without the need of rewriting it multiple times

The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

Синтаксис

Декларацию

template < template_arguments > function_declaration	(1)
export template < template_arguments > function_declaration	(2)	(до C++11)

Шаблон # объявление функции

Original:

{{{2}}}

The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

# Экспортируемых декларации шаблон функции. Тело функции может быть определен в отдельном файле

Original:

{{{2}}}

The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

Аргументы

class identifier	(1)
typename identifier	(2)
integral_type identifier	(3)
class identifier = type_name	(4)	(начиная с C++11)
typename identifier = type_name	(5)	(начиная с C++11)
integral_type identifier = const_expr	(6)	(начиная с C++11)

1-2)

Внутри функции identifier может быть использован в качестве типа

Original:

Inside the function identifier can be used as a type

The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

3)

Внутри функции identifier может быть использован в качестве постоянной

Original:

Inside the function identifier can be used as a constant

The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

4-6)

По умолчанию аргументы

Original:

Default arguments

The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

Специализация

template <> ret function_name < template_args > ( func_args ) body

Специализация меняет реализации шаблона функции для конкретных параметров шаблона

Original:

Specialization changes the implementation of the template function for specific template parameters

The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

Вызов

function_name < template_args > ( func_args )	(1)
function_name ( unambiguous_func_args )	(2)

# Явных аргументов шаблона, если func_args не совпадают совершенно с типами, как в шаблон декларации (с заданной template_args) обычное литье произойдет

Original:

# Explicit template arguments, if func_args don't match perfectly with the types as in the template declaration (with the given template_args) the usual casting will occur

The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

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

Original:

# Implicit template arguments, deduced from the function arguments. No ambiguity can be present

The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

Пример

template<typename T>
struct S {
    template<typename U> void foo(){}
};
 
template<typename T>
void bar()
{
    S<T>s;
    s.foo<T>(); // error: < parsed as less than operator
    s.template foo<T>(); // OK
}

См. также

• Шаблон класса
• Объявление функции
• шаблон
• TypeName

Notes

Original:

The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.