Template Specialization (Full and Partial Specialization)

Advanced13 min read•Updated: 2026-10-22

🎯 Template Specialization (Full and Partial)

Introduction

While generic templates provide universal behavior, certain data types require custom optimizations or unique formatting. Template Specialization allows you to override generic implementations for specific types.

🌟 Full Template Specialization

1#include <iostream>
2#include <string>
3 
4// Primary Generic Template
5template <typename T>
6struct Formatter {
7    static void print(const T& val) {
8        std::cout << "[Generic]: " << val << "\n";
9    }
10};
11 
12// Full Specialization for bool:
13template <>
14struct Formatter<bool> {
15    static void print(const bool& val) {
16        std::cout << "[Boolean]: " << (val ? "TRUE (Verified)" : "FALSE (Unverified)") << "\n";
17    }
18};
19 
20int main() {
21    Formatter<int>::print(42);
22    Formatter<double>::print(3.14159);
23    Formatter<bool>::print(true); // Routes to full specialization!
24    return 0;
25}

🧩 Partial Template Specialization (Classes Only)

Partial specialization refines templates when only some parameters match (e.g., specializing for pointers T*):

1#include <iostream>
2 
3// Primary template
4template <typename T>
5struct TypeInspector {
6    static void report() { std::cout << "Value Type\n"; }
7};
8 
9// Partial Specialization for any pointer type T*
10template <typename T>
11struct TypeInspector<T*> {
12    static void report() { std::cout << "Pointer Type (Deref target size: " << sizeof(T) << " bytes)\n"; }
13};
14 
15int main() {
16    TypeInspector<int>::report();    // Output: Value Type
17    TypeInspector<int*>::report();   // Output: Pointer Type
18    TypeInspector<double*>::report();// Output: Pointer Type
19    return 0;
20}

Next Lesson

Variadic Templates and Fold Expressions in Modern C++

Continue learning with hands-on practice, examples, and exercises in the upcoming topic.

Related Lessons

Previous Lesson	Next Lesson
Function Templates and Class Templates	Variadic Templates and Fold Expressions in Modern C++

Practice Quiz

Test your understanding of this lesson with 1 questions. Each question has one correct answer.

Previous Next

PreviousPrevNext

MSK Institute • Shikohabad

Loading Page Content...

Preparing courses, live labs, and learning resources.सामग्री लोड हो रही है, कृपया प्रतीक्षा करें...

Connecting serverPlease wait...

💻 Practical Labs🚀 Free Demo📜 Verified Certificates

Variadic Templates and Fold Expressions in Modern C++

Template Specialization (Full and Partial Specialization)

Advanced13 min read•Updated: 2026-10-22

Study Materials

🎯 Template Specialization (Full and Partial)

Introduction

🌟 Full Template Specialization

1#include <iostream>
2#include <string>
3 
4// Primary Generic Template
5template <typename T>
6struct Formatter {
7    static void print(const T& val) {
8        std::cout << "[Generic]: " << val << "\n";
9    }
10};
11 
12// Full Specialization for bool:
13template <>
14struct Formatter<bool> {
15    static void print(const bool& val) {
16        std::cout << "[Boolean]: " << (val ? "TRUE (Verified)" : "FALSE (Unverified)") << "\n";
17    }
18};
19 
20int main() {
21    Formatter<int>::print(42);
22    Formatter<double>::print(3.14159);
23    Formatter<bool>::print(true); // Routes to full specialization!
24    return 0;
25}

🧩 Partial Template Specialization (Classes Only)

Partial specialization refines templates when only some parameters match (e.g., specializing for pointers T*):

1#include <iostream>
2 
3// Primary template
4template <typename T>
5struct TypeInspector {
6    static void report() { std::cout << "Value Type\n"; }
7};
8 
9// Partial Specialization for any pointer type T*
10template <typename T>
11struct TypeInspector<T*> {
12    static void report() { std::cout << "Pointer Type (Deref target size: " << sizeof(T) << " bytes)\n"; }
13};
14 
15int main() {
16    TypeInspector<int>::report();    // Output: Value Type
17    TypeInspector<int*>::report();   // Output: Pointer Type
18    TypeInspector<double*>::report();// Output: Pointer Type
19    return 0;
20}

Next Lesson

Variadic Templates and Fold Expressions in Modern C++

Continue learning with hands-on practice, examples, and exercises in the upcoming topic.

Related Lessons

Previous Lesson	Next Lesson
Function Templates and Class Templates	Variadic Templates and Fold Expressions in Modern C++

Practice Quiz

Test your understanding of this lesson with 1 questions. Each question has one correct answer.

Previous Next