Day 5 — auto and Type Deduction

1. Problem It Solves

auto asks the compiler to deduce a variable type from its initializer, removing repeated type names without making C++ dynamically typed. It makes an important constraint visible instead of leaving readers to guess. This lesson keeps only the C++11 core that fits one focused day.

2. Prerequisites

The ideas from Day 4, plus basic variables, functions, and output already introduced.

3. Core Idea

Mental model: auto asks the compiler to deduce a variable type from its initializer, removing repeated type names without making C++ dynamically typed. Identify the relevant value or state, who owns it, and whether the rule acts during compilation or execution.

4. Minimal Syntax

auto count = 3; auto& alias = count;

5. How It Works

The example creates a tiny fixed state with no keyboard input.
C++11 or the standard-library contract applies today's rule.
The program prints the important result so it can be checked against the source.

6. Common Mistakes

Plain auto usually drops top-level const and references, so forgetting & can create a copy instead of an alias.

7. When to Use It

Use it when the initializer makes the type obvious or the written type is long.
Avoid it when it hides ownership, lifetime, type, ordering, or cost.

8. Simple Example

A plain auto variable copies a source value, while auto& aliases it; changing the alias changes the original but not the copy. The .cpp keeps the data fixed and avoids unrelated abstraction.

Complete sample code

Source file

cpp11/05_auto_type_deduction/main.cpp

C++

#include <iostream>

int main() {
    const int source = 10;

    auto copy = source;   // int: top-level const is dropped
    auto& alias = source; // const int&: this is not a copy
    auto price = 2.5;     // double

    copy = 20;

    std::cout << "source=" << source << '\n';
    std::cout << "copy=" << copy << '\n';
    std::cout << "alias=" << alias << '\n';
    std::cout << "price=" << price << '\n';
}

9. Key Takeaways

The feature is part of the C++11 scope used in this course.
Understand its lifetime, ownership, type, and ordering consequences.
Compile with warnings and prefer the smallest form that makes the rule obvious.

10. Self-Check Questions

Easy — Where does C++11 auto get a variable's type? What types do auto count = 3 and auto& alias = count declare?
Medium — Read the small example described above. What value or state should it print, and which rule produces that result?
Hard — Find and explain the subtle bug in this situation: Plain auto usually drops top-level const and references, so forgetting & can create a copy instead of an alias. What is the smallest C++11-safe correction?

Practice this lesson's cards

#include <iostream> int main() { const int source = 10; auto copy = source; // int: top-level const is dropped auto& alias = source; // const int&: this is not a copy auto price = 2.5; // double copy = 20; std::cout << "source=" << source << '\n'; std::cout << "copy=" << copy << '\n'; std::cout << "alias=" << alias << '\n'; std::cout << "price=" << price << '\n'; }

10. Self-Check Questions

Easy — Where does C++11 auto get a variable's type? What types do auto count = 3 and auto& alias = count declare?
Medium — Read the small example described above. What value or state should it print, and which rule produces that result?
Hard — Find and explain the subtle bug in this situation: Plain auto usually drops top-level const and references, so forgetting & can create a copy instead of an alias. What is the smallest C++11-safe correction?