CodeBlanks Logo Icon CodeBlanks
Login Register

Template specialization

Learn type-specific customization with template specialization.

Template specialization

Sometimes a template must behave differently for a specific type. Template specialization provides this. template <> struct Vector<bool> { ... }; is a specialized version for bool.

The empty angle brackets in template <> mean no type parameter remains; this is a full specialization. The general template template <typename T> struct Vector stays as is; the bool specialization overrides it. Vector<int> uses the general template, Vector<bool> uses the specialization.

Why specialize?

A bool vector can pack 8 bools into 1 byte. The general template cannot; it would allocate 1 byte per bool. Specialization provides an optimized version for specific types.

Full specialization is written with template <>. Partial specialization fixes some parameters: template <typename U> struct Vector<U*> is for pointer types. This lesson covers only full specialization. Specialization is used when performance or memory gains matter.

Practice Write the Vector<bool> specialization

First write the general template: template <typename T> struct Vector { T data; };. Then specialize for bool: template <> struct Vector<bool> { static const int bits = 8; };. In main write std::cout << Vector<bool>::bits << std::endl;.

Starter code

main.cpp
#include <iostream>

// write the general Vector<T> template
// write the Vector<bool> specialization: bits constant is 8

int main() {
    // print the bits constant
    return 0;
}

Sample solution

main.cpp
#include <iostream>

template <typename T>
struct Vector {
    T data;
};

template <>
struct Vector<bool> {
    static const int bits = 8;
};

int main() {
    std::cout << Vector<bool>::bits << std::endl;
    return 0;
}

Expected output

8

Questions and answers

Review the lesson questions together with their answers. To test yourself, solve the lesson interactively.

1 Match the concept

Term Meaning
template <> Full specialization
Vector<bool> Special for bool
template <typename T> General template
Vector<int> General use

2 Complete the specialization declaration

Question 
template <> struct Vector<____> { static const int bits = 8; };
Answer 
template <> struct Vector<bool> { static const int bits = 8; };

Explanation: The Vector<bool> specialization is written for bool.

3 When is template specialization used?

main.cpp
// Belirli tür için özel davranış
  • When custom behavior is needed for a specific type Correct answer
  • Never
  • Always
  • Only when debugging

Explanation: Specialization is used when a specific type needs custom behavior.

All lessons in Intermediate

1 Classes

  1. Defining classes
  2. Member variables
  3. Member functions
  4. The this pointer
  5. Access modifiers
  6. Summary - Classes

2 Constructor

  1. Constructor
  2. Parameterized constructor
  3. Member initializer list
  4. Constructor overloading
  5. Destructor
  6. Summary - Constructor

3 Inheritance

  1. Inheritance basics
  2. virtual
  3. override
  4. Base constructor
  5. final
  6. Summary - Inheritance

4 Project: Helper library

  1. Class design
  2. String helpers
  3. Number helpers
  4. Date helpers
  5. Putting it together

5 Encapsulation

  1. private members
  2. Getters and setters
  3. const methods
  4. mutable
  5. friend
  6. Summary - Encapsulation

6 Static members

  1. Static member variables
  2. Static methods
  3. static const
  4. inline static
  5. static_assert
  6. Summary - Static members

7 Polymorphism

  1. Polymorphism basics
  2. Virtual table
  3. Abstract classes
  4. dynamic_cast
  5. Virtual destructor
  6. Summary - Polymorphism

8 Project: Quiz app

  1. Quiz model
  2. Adding questions
  3. Running the quiz
  4. Score calculation
  5. Putting it together

9 Template basics

  1. template<typename T>
  2. Template functions
  3. Template classes
  4. Multiple type parameters
  5. Template specialization
  6. Summary - Template basics

10 STL containers

  1. std::vector
  2. std::list
  3. std::map
  4. std::unordered_map
  5. std::set
  6. Summary - STL containers

11 Iterators

  1. What are iterators?
  2. begin and end
  3. Iterator types
  4. Range-based for
  5. Iterator arithmetic
  6. Summary - Iterators

12 Project: Library app

  1. Model design
  2. Library class
  3. Checking out
  4. Search and filter
  5. Putting it together

13 STL algorithms

  1. std::sort
  2. std::find
  3. std::count
  4. std::transform
  5. std::accumulate
  6. Summary - STL algorithms

14 Lambda expressions

  1. What are lambdas?
  2. Lambda syntax
  3. Capture modes
  4. Lambdas with STL
  5. std::function
  6. Summary - Lambda

15 Smart pointers

  1. std::unique_ptr
  2. std::shared_ptr
  3. std::weak_ptr
  4. make_unique and make_shared
  5. RAII
  6. Summary - Smart pointers

16 File I/O

  1. std::ifstream
  2. std::ofstream
  3. std::fstream
  4. File open check
  5. Line reading
  6. Summary - File I/O

17 Stringstream

  1. istringstream
  2. ostringstream
  3. stringstream
  4. Type conversion
  5. Formatting
  6. Summary - Stringstream

18 Move semantics

  1. rvalue references
  2. std::move
  3. Move constructor
  4. Move assignment
  5. Rule of five
  6. Summary - Move semantics

19 Operator overloading

  1. Operator functions
  2. Arithmetic operators
  3. Comparison operators
  4. Stream operators
  5. Spaceship operator
  6. Summary - Operator overloading

20 Intermediate final

  1. Project design
  2. OOP model
  3. STL layer
  4. File I/O
  5. Putting it together