Easy to Understand Examples of C++ Class Templates Codes

Templates in C++ with Examples

View Discussion

Improve Article

Save Article

Like Article

A template is a simple yet very powerful tool in C++. The simple idea is to pass 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. Rather than writing and maintaining multiple codes, we can write one sort() and pass data type as a parameter.
C++ adds two new keywords to support templates: 'template' and 'typename'. The second keyword can always be replaced by the keyword 'class'.

How Do Templates Work?

 Templates are expanded at compiler time. This is like macros. The difference is, that the compiler does type checking before template expansion. The idea is simple, source code contains only function/class, but compiled code may contain multiple copies of the same function/class.

templates-cpp


Function Templates We write a generic function that can be used for different data types. Examples of function templates are sort(), max(), min(), printArray().

Know more about Generics in C++ .

CPP

#include <iostream>

using namespace std;

template < typename T> T myMax(T x, T y)

{

return (x > y) ? x : y;

}

int main()

{

cout << myMax< int >(3, 7) << endl;

cout << myMax< double >(3.0, 7.0)

<< endl;

cout << myMax< char >( 'g' , 'e' )

<< endl;

return 0;

}

Below is the program to implement Bubble Sort using templates in C++:

CPP

#include <iostream>

using namespace std;

template < class T> void bubbleSort(T a[], int n)

{

for ( int i = 0; i < n - 1; i++)

for ( int j = n - 1; i < j; j--)

if (a[j] < a[j - 1])

swap(a[j], a[j - 1]);

}

int main()

{

int a[5] = { 10, 50, 30, 40, 20 };

int n = sizeof (a) / sizeof (a[0]);

bubbleSort< int >(a, n);

cout << " Sorted array : " ;

for ( int i = 0; i < n; i++)

cout << a[i] << " " ;

cout << endl;

return 0;

}

Output

              Sorted array : 10 20 30 40 50            

Class Templates like function templates, class templates are useful when a class defines something that is independent of the data type. Can be useful for classes like LinkedList, BinaryTree, Stack, Queue, Array, etc.

Following is a simple example of a template Array class.

CPP

#include <iostream>

using namespace std;

template < typename T> class Array {

private :

T* ptr;

int size;

public :

Array(T arr[], int s);

void print();

};

template < typename T> Array<T>::Array(T arr[], int s)

{

ptr = new T[s];

size = s;

for ( int i = 0; i < size; i++)

ptr[i] = arr[i];

}

template < typename T> void Array<T>::print()

{

for ( int i = 0; i < size; i++)

cout << " " << *(ptr + i);

cout << endl;

}

int main()

{

int arr[5] = { 1, 2, 3, 4, 5 };

Array< int > a(arr, 5);

a.print();

return 0;

}

Can there be more than one argument to templates?

Yes, like normal parameters, we can pass more than one data type as arguments to templates. The following example demonstrates the same.

CPP

#include <iostream>

using namespace std;

template < class T, class U> class A {

T x;

U y;

public :

A() { cout << "Constructor Called" << endl; }

};

int main()

{

A< char , char > a;

A< int , double > b;

return 0;

}

Output

Constructor Called Constructor Called

Can we specify a default value for template arguments?

Yes, like normal parameters, we can specify default arguments to templates. The following example demonstrates the same.

CPP

#include <iostream>

using namespace std;

template < class T, class U = char > class A {

public :

T x;

U y;

A() { cout << "Constructor Called" << endl; }

};

int main()

{

A< char > a;

return 0;

}

What is the difference between function overloading and templates?

Both function overloading and templates are examples of polymorphism features of OOP. Function overloading is used when multiple functions do quite similar (not identical) operations, templates are used when multiple functions do identical operations.

What happens when there is a static member in a template class/function?

Each instance of a template contains its own static variable. See Templates and Static variables for more details.

What is template specialization?

Template specialization allows us to have different codes for a particular data type. See Template Specialization for more details.

Can we pass non type parameters to templates?

We can pass non-type arguments to templates. Non-type parameters are mainly used for specifying max or min values or any other constant value for a particular instance of a template. The important thing to note about non-type parameters is, that they must be const. The compiler must know the value of non-type parameters at compile time. Because the compiler needs to create functions/classes for a specified non-type value at compile time. In the below program, if we replace 10000 or 25 with a variable, we get a compiler error.  Refer to the following link.

CPP

#include <iostream>

using namespace std;

template < class T, int max> int arrMin(T arr[], int n)

{

int m = max;

for ( int i = 0; i < n; i++)

if (arr[i] < m)

m = arr[i];

return m;

}

int main()

{

int arr1[] = { 10, 20, 15, 12 };

int n1 = sizeof (arr1) / sizeof (arr1[0]);

char arr2[] = { 1, 2, 3 };

int n2 = sizeof (arr2) / sizeof (arr2[0]);

cout << arrMin< int , 10000>(arr1, n1) << endl;

cout << arrMin< char , 256>(arr2, n2);

return 0;

}

Here is an example of a C++ program to show different data types using a constructor and template. We will perform a few actions

  • passing character value by creating an object in the main() function.
  • passing integer value by creating an object in the main() function.
  • passing float value by creating an object in the main() function.

C++

#include <iostream>

using namespace std;

template < class T> class info {

public :

info(T A)

{

cout << "\n"

<< "A = " << A

<< " size of data in bytes:" << sizeof (A);

}

};

int main()

{

info< char > p( 'x' );

info< int > q(22);

info< float > r(2.25);

return 0;

}

Output

A = x size of data in bytes:1 A = 22 size of data in bytes:4 A = 2.25 size of data in bytes:4

What is template metaprogramming?

Refer to the following article – Template Metaprogramming

Take a Quiz on Templates. Java also supports these features. Java calls it generics.


freamenere1958.blogspot.com

Source: https://www.geeksforgeeks.org/templates-cpp/

0 Response to "Easy to Understand Examples of C++ Class Templates Codes"

Post a Comment

Iklan Atas Artikel

Iklan Tengah Artikel 1

Iklan Tengah Artikel 2

Iklan Bawah Artikel