✅ How the Compiler Handles Templates (C++ focus)

Templates are not like normal functions or classes—the compiler doesn’t generate code for them immediately. Instead, templates act like blueprints. Actual code gets produced only when the compiler needs a concrete type.

🔵 1. Parsing the Template

When the compiler first sees a template, it parses the structure but does not generate machine code.

Example:

template <typename T>
T add(T a, T b) {
    return a + b;
}

The compiler:

• Stores this template in memory
• Checks syntax only (not semantics yet!)
• Does not check if T supports + yet

This “syntax-only” checking is why invalid templates may compile until they are instantiated.

🔵 2. Template Instantiation (when needed)

The compiler generates actual code only when the template is used with a specific type:

int x = add(1, 2);        // Instantiates add<int>
double y = add(1.5, 2.0); // Instantiates add<double>

Now it checks:

• Does int + int make sense? ✔
• Does double + double make sense? ✔

If you try something invalid: