Type Deduction with auto and decltype0%

The const Qualifier, Const-Correctness, and constexpr Compile-Time Constants

Type Deduction with auto and decltype

Beginner12 min read•Updated: 2026-10-22

🔍 Type Deduction with auto and decltype

Introduction

Prior to C++11, C++ developers had to write verbose, repetitive type declarations. With the introduction of auto and decltype, the compiler automatically infers the exact type of an expression at compile time with zero runtime overhead.

🚗 Automatic Type Deduction with `auto`

1#include <iostream>
2#include <string>
3#include <vector>
4 
5int main() {
6    auto age = 25;               // Deduced as int
7    auto price = 19.99;          // Deduced as double
8    auto grade = 'A';            // Deduced as char
9    auto isEnrolled = true;      // Deduced as bool
10    auto message = "MSK";        // Deduced as const char*
11    auto title = std::string{"Modern C++"}; // Deduced as std::string
12 
13    std::cout << title << " | Price: ₹" << price << "\n";
14    return 0;
15}

Where `auto` Truly Shines: Complex Types

1#include <vector>
2#include <map>
3#include <string>
4 
5int main() {
6    std::map<std::string, std::vector<int>> studentScores;
7 
8    // ❌ Without auto: excruciating verbosity
9    // std::map<std::string, std::vector<int>>::const_iterator it = studentScores.cbegin();
10 
11    // ✅ With auto: clean, maintainable, refactor-friendly
12    auto it = studentScores.cbegin();
13    return 0;
14}

🔬 Type Querying with `decltype`

While auto declares a variable by deducing its type from an initializer, decltype(expr) extracts the exact declared type of an expression without evaluating it:

1#include <iostream>
2 
3int main() {
4    int score = 95;
5    decltype(score) bonusScore = 10; // Deduced as int
6 
7    const double taxRate = 0.18;
8    decltype(taxRate) stateTax = 0.05; // Deduced as const double
9 
10    std::cout << "Score + Bonus: " << (score + bonusScore) << "\n";
11    return 0;
12}

⚠️ Important Nuance: `auto` Drops References & Top-Level Const

1int x = 10;
2const int& ref = x;
3 
4auto a = ref;       // 'a' is a plain 'int' (copy), NOT const reference!
5const auto& b = ref;// 'b' is 'const int&' (explicitly preserves const reference)

Next Lesson

The const Qualifier, Const-Correctness, and constexpr Compile-Time Constants

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

Related Lessons

Previous Lesson	Next Lesson
Primitive Types (int, double, char, bool) & Fixed-Width Integers (cstdint)	The const Qualifier, Const-Correctness, and constexpr Compile-Time Constants

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

The const Qualifier, Const-Correctness, and constexpr Compile-Time Constants

Type Deduction with auto and decltype

Beginner12 min read•Updated: 2026-10-22

Study Materials

🔍 Type Deduction with auto and decltype

Introduction

🚗 Automatic Type Deduction with `auto`

1#include <iostream>
2#include <string>
3#include <vector>
4 
5int main() {
6    auto age = 25;               // Deduced as int
7    auto price = 19.99;          // Deduced as double
8    auto grade = 'A';            // Deduced as char
9    auto isEnrolled = true;      // Deduced as bool
10    auto message = "MSK";        // Deduced as const char*
11    auto title = std::string{"Modern C++"}; // Deduced as std::string
12 
13    std::cout << title << " | Price: ₹" << price << "\n";
14    return 0;
15}

Where `auto` Truly Shines: Complex Types

1#include <vector>
2#include <map>
3#include <string>
4 
5int main() {
6    std::map<std::string, std::vector<int>> studentScores;
7 
8    // ❌ Without auto: excruciating verbosity
9    // std::map<std::string, std::vector<int>>::const_iterator it = studentScores.cbegin();
10 
11    // ✅ With auto: clean, maintainable, refactor-friendly
12    auto it = studentScores.cbegin();
13    return 0;
14}

🔬 Type Querying with `decltype`

While auto declares a variable by deducing its type from an initializer, decltype(expr) extracts the exact declared type of an expression without evaluating it:

1#include <iostream>
2 
3int main() {
4    int score = 95;
5    decltype(score) bonusScore = 10; // Deduced as int
6 
7    const double taxRate = 0.18;
8    decltype(taxRate) stateTax = 0.05; // Deduced as const double
9 
10    std::cout << "Score + Bonus: " << (score + bonusScore) << "\n";
11    return 0;
12}

⚠️ Important Nuance: `auto` Drops References & Top-Level Const

1int x = 10;
2const int& ref = x;
3 
4auto a = ref;       // 'a' is a plain 'int' (copy), NOT const reference!
5const auto& b = ref;// 'b' is 'const int&' (explicitly preserves const reference)

Next Lesson

The const Qualifier, Const-Correctness, and constexpr Compile-Time Constants

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

Related Lessons

Previous Lesson	Next Lesson
Primitive Types (int, double, char, bool) & Fixed-Width Integers (cstdint)	The const Qualifier, Const-Correctness, and constexpr Compile-Time Constants

Practice Quiz

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

Previous Next

🔍 Type Deduction with auto and decltype

Introduction

🚗 Automatic Type Deduction with auto

Where auto Truly Shines: Complex Types

🔬 Type Querying with decltype

⚠️ Important Nuance: auto Drops References & Top-Level Const

The const Qualifier, Const-Correctness, and constexpr Compile-Time Constants

Related Lessons

Practice Quiz

Loading Page Content...

🔍 Type Deduction with auto and decltype

Introduction

🚗 Automatic Type Deduction with auto

Where auto Truly Shines: Complex Types

🔬 Type Querying with decltype

⚠️ Important Nuance: auto Drops References & Top-Level Const

The const Qualifier, Const-Correctness, and constexpr Compile-Time Constants

Related Lessons

Practice Quiz

🚗 Automatic Type Deduction with `auto`

Where `auto` Truly Shines: Complex Types

🔬 Type Querying with `decltype`

⚠️ Important Nuance: `auto` Drops References & Top-Level Const

🚗 Automatic Type Deduction with `auto`

Where `auto` Truly Shines: Complex Types

🔬 Type Querying with `decltype`

⚠️ Important Nuance: `auto` Drops References & Top-Level Const