Search results
- DictionaryTem·plate/ˈtemplət/
noun
- 1. a shaped piece of metal, wood, card, plastic, or other material used as a pattern for processes such as painting, cutting out, shaping, or drilling.
- 2. a timber or plate used to distribute the weight in a wall or under a support.
Definition of template noun in Oxford Advanced Learner's Dictionary. Meaning, pronunciation, picture, example sentences, grammar, usage notes, synonyms and more.
noun. a pattern, mold, or the like, usually consisting of a thin plate of wood or metal, serving as a gauge or guide in mechanical work. anything that determines or serves as a pattern; a model: You can use my notes as a template for employee evaluations.
- Overview
- Defining and using templates
- Type parameters
- Non-type parameters
- Templates as template parameters
- Default template arguments
- Template specialization
Templates are the basis for generic programming in C++. As a strongly-typed language, C++ requires all variables to have a specific type, either explicitly declared by the programmer or deduced by the compiler. However, many data structures and algorithms look the same no matter what type they are operating on. Templates enable you to define the op...
A template is a construct that generates an ordinary type or function at compile time based on arguments the user supplies for the template parameters. For example, you can define a function template like this:
The above code describes a template for a generic function with a single type parameter T, whose return value and call parameters (lhs and rhs) are all of this type. You can name a type parameter anything you like, but by convention single upper case letters are most commonly used. T is a template parameter; the typename keyword says that this parameter is a placeholder for a type. When the function is called, the compiler will replace every instance of T with the concrete type argument that is either specified by the user or deduced by the compiler. The process in which the compiler generates a class or function from a template is referred to as template instantiation; minimum is an instantiation of the template minimum .
Elsewhere, a user can declare an instance of the template that is specialized for int. Assume that get_a() and get_b() are functions that return an int:
However, because this is a function template and the compiler can deduce the type of T from the arguments a and b, you can call it just like an ordinary function:
When the compiler encounters that last statement, it generates a new function in which every occurrence of T in the template is replaced with int:
The rules for how the compiler performs type deduction in function templates are based on the rules for ordinary functions. For more information, see Overload Resolution of Function Template Calls.
In the minimum template above, note that the type parameter T is not qualified in any way until it is used in the function call parameters, where the const and reference qualifiers are added.
There is no practical limit to the number of type parameters. Separate multiple parameters by commas:
The keyword class is equivalent to typename in this context. You can express the previous example as:
You can use the ellipsis operator (...) to define a template that takes an arbitrary number of zero or more type parameters:
Any built-in or user-defined type can be used as a type argument. For example, you can use std::vector in the Standard Library to store variables of type int, double, std::string, MyClass, const MyClass*, MyClass&, and so on. The primary restriction when using templates is that a type argument must support any operations that are applied to the type parameters. For example, if we call minimum using MyClass as in this example:
A compiler error will be generated because MyClass does not provide an overload for the < operator.
Unlike generic types in other languages such as C# and Java, C++ templates support non-type parameters, also called value parameters. For example, you can provide a constant integral value to specify the length of an array, as with this example that is similar to the std::array class in the Standard Library:
Note the syntax in the template declaration. The size_t value is passed in as a template argument at compile time and must be const or a constexpr expression. You use it like this:
A template can be a template parameter. In this example, MyClass2 has two template parameters: a typename parameter T and a template parameter Arr:
Because the Arr parameter itself has no body, its parameter names are not needed. In fact, it is an error to refer to Arr's typename or class parameter names from within the body of MyClass2. For this reason, Arr's type parameter names can be omitted, as shown in this example:
Class and function templates can have default arguments. When a template has a default argument you can leave it unspecified when you use it. For example, the std::vector template has a default argument for the allocator:
In most cases the default std::allocator class is acceptable, so you use a vector like this:
But if necessary you can specify a custom allocator like this:
For multiple template arguments, all arguments after the first default argument must have default arguments.
In some cases, it isn't possible or desirable for a template to define exactly the same code for any type. For example, you might wish to define a code path to be executed only if the type argument is a pointer, or a std::wstring, or a type derived from a particular base class. In such cases you can define a specialization of the template for that particular type. When a user instantiates the template with that type, the compiler uses the specialization to generate the class, and for all other types, the compiler chooses the more general template. Specializations in which all parameters are specialized are complete specializations. If only some of the parameters are specialized, it is called a partial specialization.
A template can have any number of specializations as long as each specialized type parameter is unique. Only class templates may be partially specialized. All complete and partial specializations of a template must be declared in the same namespace as the original template.
template meaning: 1. a metal, plastic, etc pattern that is used for making many copies of a shape 2. a system that…. Learn more.
TEMPLATE definition: 1. a metal, plastic, etc pattern that is used for making many copies of a shape 2. a system that…. Learn more.
Apr 26, 2024 · A template is a simple yet very powerful tool in C++. The simple idea is to pass the data type as a parameter so that we don’t need to write the same code for different data types. For example, a software company may need to sort () for different data types.
May 22, 2024 · A template is a C++ entity that defines one of the following: a family of classes ( class template ), which may be nested classes. a family of functions ( function template ), which may be member functions. an alias to a family of types ( alias template ) (since C++11) a family of variables ( variable template ) (since C++14)
